runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand0695fb.cudf.impossible.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/impossible//rand0695fb.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand0695fb.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.23 1.16 0.97 1/106 17765 /proc/meminfo: memFree=997768/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=2376 CPUtime=0 /proc/17766/stat : 17766 (inesct-1.0) R 17765 17765 13759 34823 13904 4194368 56 0 0 0 0 0 0 0 20 0 1 0 415201811 2433024 81 1283457024 134512640 135191968 4293801840 18446744073709551615 4159644954 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17766/statm: 594 81 43 166 0 26 0 [startup+0.122754 s] /proc/loadavg: 1.23 1.16 0.97 1/106 17765 /proc/meminfo: memFree=997768/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.209065 s] /proc/loadavg: 1.23 1.16 0.97 1/106 17765 /proc/meminfo: memFree=997768/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.306037 s] /proc/loadavg: 1.23 1.16 0.97 1/106 17765 /proc/meminfo: memFree=997768/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.712254 s] /proc/loadavg: 1.23 1.16 0.97 1/106 17765 /proc/meminfo: memFree=997768/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+1.50682 s] /proc/loadavg: 1.23 1.16 0.97 2/120 17779 /proc/meminfo: memFree=919544/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17768] ppid=17766 vsize=869876 CPUtime=2.16 /proc/17768/stat : 17768 (java) S 17766 17765 13759 34823 13904 4202496 27163 0 0 0 205 11 0 0 17 0 12 0 415201812 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160140434 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17768/statm: 217469 23594 1744 10 0 214556 0 [pid=17768/tid=17769] ppid=17766 vsize=869876 CPUtime=0.99 /proc/17768/task/17769/stat : 17769 (java) R 17766 17765 13759 34823 13904 4202560 9292 0 0 0 95 4 0 0 17 0 12 0 415201814 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160165233 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17768/tid=17770] ppid=17766 vsize=869876 CPUtime=0.15 /proc/17768/task/17770/stat : 17770 (java) S 17766 17765 13759 34823 13904 4202560 5949 0 0 0 13 2 0 0 16 0 12 0 415201814 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17771] ppid=17766 vsize=869876 CPUtime=0.13 /proc/17768/task/17771/stat : 17771 (java) S 17766 17765 13759 34823 13904 4202560 5260 0 0 0 11 2 0 0 16 0 12 0 415201814 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17772] ppid=17766 vsize=869876 CPUtime=0.09 /proc/17768/task/17772/stat : 17772 (java) S 17766 17765 13759 34823 13904 4202560 73 0 0 0 8 1 0 0 16 0 12 0 415201816 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160154632 0 0 0 16800975 18446612134415960960 0 0 -1 1 0 0 0 [pid=17768/tid=17773] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17773/stat : 17773 (java) S 17766 17765 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 415201816 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17774] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17774/stat : 17774 (java) S 17766 17765 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415201816 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17775] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17775/stat : 17775 (java) S 17766 17765 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415201819 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160162128 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17776] ppid=17766 vsize=869876 CPUtime=0.54 /proc/17768/task/17776/stat : 17776 (java) S 17766 17765 13759 34823 13904 4202560 2641 0 0 0 54 0 0 0 15 0 12 0 415201819 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17777] ppid=17766 vsize=869876 CPUtime=0.22 /proc/17768/task/17777/stat : 17777 (java) S 17766 17765 13759 34823 13904 4202560 2543 0 0 0 22 0 0 0 16 0 12 0 415201819 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17778] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17778/stat : 17778 (java) S 17766 17765 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415201819 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17779] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17779/stat : 17779 (java) S 17766 17765 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415201819 890753024 23594 1283457024 134512640 134550932 4291738832 18446744073709551615 4160154632 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 876248 [startup+3.10739 s] /proc/loadavg: 1.23 1.16 0.97 5/120 17779 /proc/meminfo: memFree=826048/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17768] ppid=17766 vsize=869876 CPUtime=4.07 /proc/17768/stat : 17768 (java) S 17766 17765 13759 34823 13904 4202496 64442 0 0 0 379 28 0 0 17 0 12 0 415201812 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160140434 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17768/statm: 217469 58612 1745 10 0 214556 0 [pid=17768/tid=17769] ppid=17766 vsize=869876 CPUtime=1.79 /proc/17768/task/17769/stat : 17769 (java) S 17766 17765 13759 34823 13904 4202560 17690 0 0 0 172 7 0 0 16 0 12 0 415201814 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 1 0 0 0 [pid=17768/tid=17770] ppid=17766 vsize=869876 CPUtime=0.49 /proc/17768/task/17770/stat : 17770 (java) S 17766 17765 13759 34823 13904 4202560 18961 0 0 0 38 11 0 0 16 0 12 0 415201814 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17771] ppid=17766 vsize=869876 CPUtime=0.47 /proc/17768/task/17771/stat : 17771 (java) S 17766 17765 13759 34823 13904 4202560 19210 0 0 0 40 7 0 0 16 0 12 0 415201814 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 1 0 0 0 [pid=17768/tid=17772] ppid=17766 vsize=869876 CPUtime=0.53 /proc/17768/task/17772/stat : 17772 (java) R 17766 17765 13759 34823 13904 4202560 1992 0 0 0 52 1 0 0 16 0 12 0 415201816 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4152285960 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=17768/tid=17773] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17773/stat : 17773 (java) S 17766 17765 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 415201816 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17774] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17774/stat : 17774 (java) S 17766 17765 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415201816 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17775] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17775/stat : 17775 (java) S 17766 17765 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415201819 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160162128 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17776] ppid=17766 vsize=869876 CPUtime=0.54 /proc/17768/task/17776/stat : 17776 (java) S 17766 17765 13759 34823 13904 4202560 2641 0 0 0 54 0 0 0 15 0 12 0 415201819 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17777] ppid=17766 vsize=869876 CPUtime=0.22 /proc/17768/task/17777/stat : 17777 (java) S 17766 17765 13759 34823 13904 4202560 2543 0 0 0 22 0 0 0 15 0 12 0 415201819 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17778] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17778/stat : 17778 (java) S 17766 17765 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415201819 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17779] ppid=17766 vsize=869876 CPUtime=0 /proc/17768/task/17779/stat : 17779 (java) S 17766 17765 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415201819 890753024 58612 1283457024 134512640 134550932 4291738832 18446744073709551615 4160154632 0 4 0 16800975 18446612134415960960 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.07 Current children cumulated vsize (KiB) 876248 [startup+6.3218 s] /proc/loadavg: 1.53 1.22 0.99 2/120 17780 /proc/meminfo: memFree=647304/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=0 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17768] ppid=17766 vsize=882228 CPUtime=9.21 /proc/17768/stat : 17768 (java) S 17766 17765 13759 34823 13904 4202496 98484 0 0 0 885 36 0 0 17 0 12 0 415201812 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160140434 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17768/statm: 220557 88857 1770 10 0 217644 0 [pid=17768/tid=17769] ppid=17766 vsize=882228 CPUtime=3.59 /proc/17768/task/17769/stat : 17769 (java) R 17766 17765 13759 34823 13904 4202560 17847 0 0 0 352 7 0 0 16 0 12 0 415201814 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160164551 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17768/tid=17770] ppid=17766 vsize=882228 CPUtime=0.89 /proc/17768/task/17770/stat : 17770 (java) R 17766 17765 13759 34823 13904 4202560 33226 0 0 0 76 13 0 0 15 0 12 0 415201814 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4150278571 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17768/tid=17771] ppid=17766 vsize=882228 CPUtime=0.89 /proc/17768/task/17771/stat : 17771 (java) R 17766 17765 13759 34823 13904 4202560 31605 0 0 0 78 11 0 0 15 0 12 0 415201814 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4150278628 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17768/tid=17772] ppid=17766 vsize=882228 CPUtime=1.07 /proc/17768/task/17772/stat : 17772 (java) S 17766 17765 13759 34823 13904 4202560 3693 0 0 0 106 1 0 0 15 0 12 0 415201816 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 0 0 16800975 18446612134415960960 0 0 -1 1 0 0 0 [pid=17768/tid=17773] ppid=17766 vsize=882228 CPUtime=0 /proc/17768/task/17773/stat : 17773 (java) S 17766 17765 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 415201816 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 1 0 0 0 [pid=17768/tid=17774] ppid=17766 vsize=882228 CPUtime=0 /proc/17768/task/17774/stat : 17774 (java) S 17766 17765 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415201816 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17775] ppid=17766 vsize=882228 CPUtime=0 /proc/17768/task/17775/stat : 17775 (java) S 17766 17765 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415201819 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160162128 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17776] ppid=17766 vsize=882228 CPUtime=1.43 /proc/17768/task/17776/stat : 17776 (java) S 17766 17765 13759 34823 13904 4202560 5203 0 0 0 142 1 0 0 15 0 12 0 415201819 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17777] ppid=17766 vsize=882228 CPUtime=1.3 /proc/17768/task/17777/stat : 17777 (java) R 17766 17765 13759 34823 13904 4202560 5505 0 0 0 129 1 0 0 15 0 12 0 415201819 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4147943661 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17768/tid=17778] ppid=17766 vsize=882228 CPUtime=0 /proc/17768/task/17778/stat : 17778 (java) S 17766 17765 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415201819 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160153840 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 [pid=17768/tid=17779] ppid=17766 vsize=882228 CPUtime=0 /proc/17768/task/17779/stat : 17779 (java) S 17766 17765 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415201819 903401472 88857 1283457024 134512640 134550932 4291738832 18446744073709551615 4160154632 0 4 0 16800975 18446612134415960960 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.21 Current children cumulated vsize (KiB) 888600 [startup+12.7154 s] /proc/loadavg: 1.49 1.22 0.99 2/110 17785 /proc/meminfo: memFree=863524/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=114648 CPUtime=2.53 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 32079 0 0 0 234 19 0 0 25 0 1 0 415202824 117399552 28460 1283457024 134512640 135858300 4286761296 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 28662 28460 133 329 0 28331 0 Current children cumulated CPU time (s) 16.02 Current children cumulated vsize (KiB) 123908 [startup+25.5079 s] /proc/loadavg: 1.38 1.21 0.99 2/111 18260 /proc/meminfo: memFree=851792/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=125516 CPUtime=14.89 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 34771 0 0 0 1466 23 0 0 25 0 1 0 415202824 128528384 31152 1283457024 134512640 135858300 4286761296 18446744073709551615 135336937 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 31379 31152 137 329 0 31048 0 Current children cumulated CPU time (s) 28.38 Current children cumulated vsize (KiB) 134776 [startup+51.105 s] /proc/loadavg: 1.31 1.20 1.00 2/111 18283 /proc/meminfo: memFree=849400/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=128288 CPUtime=40.42 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 35465 0 0 0 4017 25 0 0 25 0 1 0 415202824 131366912 31846 1283457024 134512640 135858300 4286761296 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 32072 31846 137 329 0 31741 0 Current children cumulated CPU time (s) 53.91 Current children cumulated vsize (KiB) 137548 [startup+102.307 s] /proc/loadavg: 1.13 1.17 1.00 2/110 18320 /proc/meminfo: memFree=849156/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=128288 CPUtime=91.6 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 35465 0 0 0 9135 25 0 0 25 0 1 0 415202824 131366912 31846 1283457024 134512640 135858300 4286761296 18446744073709551615 135343412 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 32072 31846 137 329 0 31741 0 Current children cumulated CPU time (s) 105.09 Current children cumulated vsize (KiB) 137548 [startup+162.306 s] /proc/loadavg: 1.05 1.14 1.00 2/110 18324 /proc/meminfo: memFree=848916/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=128288 CPUtime=151.6 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 35465 0 0 0 15134 26 0 0 25 0 1 0 415202824 131366912 31846 1283457024 134512640 135858300 4286761296 18446744073709551615 134658459 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 32072 31846 137 329 0 31741 0 Current children cumulated CPU time (s) 165.09 Current children cumulated vsize (KiB) 137548 [startup+222.305 s] /proc/loadavg: 1.09 1.13 1.00 2/111 18385 /proc/meminfo: memFree=839768/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=128288 CPUtime=211.55 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 35465 0 0 0 21128 27 0 0 25 0 1 0 415202824 131366912 31846 1283457024 134512640 135858300 4286761296 18446744073709551615 134620117 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 32072 31846 137 329 0 31741 0 Current children cumulated CPU time (s) 225.04 Current children cumulated vsize (KiB) 137548 [startup+282.307 s] /proc/loadavg: 1.08 1.11 1.00 2/110 18460 /proc/meminfo: memFree=839576/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=128288 CPUtime=271.27 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 35465 0 0 0 27095 32 0 0 25 0 1 0 415202824 131366912 31846 1283457024 134512640 135858300 4286761296 18446744073709551615 135349937 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 32072 31846 137 329 0 31741 0 Current children cumulated CPU time (s) 284.76 Current children cumulated vsize (KiB) 137548 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+287.607 s] /proc/loadavg: 1.07 1.11 1.00 2/110 18460 /proc/meminfo: memFree=839724/2097152 swapFree=2055676/2097144 [pid=17765] ppid=17764 vsize=2376 CPUtime=0 /proc/17765/stat : 17765 (inesct-1.0) S 17764 17765 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 415201810 2433024 258 1283457024 134512640 135191968 4293801840 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/17765/statm: 594 258 221 166 0 26 0 [pid=17766] ppid=17765 vsize=3996 CPUtime=13.49 /proc/17766/stat : 17766 (cudf-solver.py) S 17765 17765 13759 34823 13904 4202496 812 102136 0 0 0 0 1273 76 18 0 1 0 415201811 4091904 641 1283457024 134512640 135539072 4293830528 18446744073709551615 4159441550 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/17766/statm: 999 641 346 251 0 300 0 [pid=17784] ppid=17766 vsize=2888 CPUtime=0 /proc/17784/stat : 17784 (sh) S 17766 17765 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415202823 2957312 321 1283457024 134512640 135191968 4289733632 18446744073709551615 4159056526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17784/statm: 722 321 219 166 0 154 0 [pid=17785] ppid=17784 vsize=128288 CPUtime=276.57 /proc/17785/stat : 17785 (msuncore) R 17784 17765 13759 34823 13904 4202496 35465 0 0 0 27624 33 0 0 25 0 1 0 415202824 131366912 31846 1283457024 134512640 135858300 4286761296 18446744073709551615 134659041 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/17785/statm: 32072 31846 137 329 0 31741 0 Current children cumulated CPU time (s) 290.06 Current children cumulated vsize (KiB) 137548 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17765 and gives # childrusage.ru_utime.tv_sec=12 # childrusage.ru_utime.tv_usec=756797 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=776048 # CPU time returned by wait4() is 13.5328 # while last known CPU time is 290.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 287.64 CPU time (s): 290.06 CPU user time (s): 288.97 CPU system time (s): 1.09 CPU usage (%): 100.841 Max. virtual memory (cumulated for all children) (KiB): 890164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.7568 system time used= 0.776048 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104140 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 730 involuntary context switches= 505 runsolver used 0.072004 second user time and 0.212013 second system time The end