runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3484279-1307748658/watcher-3484279-1307748658 -o /tmp/evaluation-result-3484279-1307748658/solver-3484279-1307748658 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3484279-1307748658.cnf -seed 120290534 -budget 1200
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.03 4.02 3.35 4/198 12202
/proc/meminfo: memFree=31775144/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=15380 CPUtime=0 cores=1,3
/proc/12202/stat : 12202 (python) R 12200 12202 10649 0 -1 4202496 811 0 0 0 0 0 0 0 18 0 1 0 867281644 15749120 695 33554432000 4194304 5683644 140734588366144 18446744073709551615 4433760 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12202/statm: 3845 695 334 364 0 332 0
[startup+0.105953 s]
/proc/loadavg: 4.03 4.02 3.35 4/198 12202
/proc/meminfo: memFree=31775144/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=104620 CPUtime=0.07 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 3166 0 0 0 5 2 0 0 17 0 1 0 867281644 107130880 2837 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/12202/statm: 26156 2839 847 364 0 1904 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104620
[startup+0.200945 s]
/proc/loadavg: 4.03 4.02 3.35 4/198 12202
/proc/meminfo: memFree=31775144/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=126660 CPUtime=0.14 cores=1,3
/proc/12202/stat : 12202 (python) D 12200 12202 10649 0 -1 4202496 5096 936 1 0 11 3 0 0 18 0 1 0 867281644 129699840 3923 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510303287 0 0 16781312 2 18446744071562154983 0 0 17 1 0 0 0
/proc/12202/statm: 31665 3923 1003 364 0 2960 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 126660
[startup+1.01979 s]
/proc/loadavg: 4.03 4.02 3.35 4/198 12202
/proc/meminfo: memFree=31775144/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=278124 CPUtime=0.38 cores=1,3
/proc/12202/stat : 12202 (python) R 12200 12202 10649 0 -1 4202496 9173 936 1 0 30 8 0 0 17 0 1 0 867281644 284798976 6842 33554432000 4194304 5683644 140734588366144 18446744073709551615 4603005 0 0 16781312 2 0 0 0 17 1 0 0 54
/proc/12202/statm: 69531 6842 1761 364 0 5455 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 278124
[startup+1.10077 s]
/proc/loadavg: 4.03 4.02 3.35 4/198 12202
/proc/meminfo: memFree=31775144/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=278396 CPUtime=0.46 cores=1,3
/proc/12202/stat : 12202 (python) R 12200 12202 10649 0 -1 4202496 9345 936 1 0 38 8 0 0 17 0 1 0 867281644 285077504 7000 33554432000 4194304 5683644 140734588366144 18446744073709551615 4562986 0 0 16781312 2 0 0 0 17 1 0 0 54
/proc/12202/statm: 69599 7000 1833 364 0 5523 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 278396
[startup+1.50066 s]
/proc/loadavg: 4.03 4.02 3.35 4/198 12202
/proc/meminfo: memFree=31775144/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=288820 CPUtime=0.47 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 9789 936 1 0 39 8 0 0 19 0 2 0 867281644 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 72205 7068 1867 364 0 8123 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 288820
[startup+3.10038 s]
/proc/loadavg: 3.94 4.01 3.34 5/202 12256
/proc/meminfo: memFree=31749456/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=288820 CPUtime=0.47 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 9789 936 1 0 39 8 0 0 19 0 2 0 867281644 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 72205 7068 1867 364 0 8123 0
[pid=12235] ppid=12202 vsize=278576 CPUtime=0 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 867281755 285261824 5551 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317583 0 0 16781312 514 6607127828443922696 0 0 17 1 0 0 0
/proc/12235/statm: 69644 5551 354 364 0 5562 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=1.97 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) R 12235 12237 12237 0 -1 4202496 441 0 0 0 197 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12202/tid=12236] ppid=12200 vsize=288820 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 2 0 867281756 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 1585196
heavy processes:
[startup+6.3068 s]
/proc/loadavg: 3.94 4.01 3.34 5/202 12257
/proc/meminfo: memFree=31749124/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=288820 CPUtime=0.47 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 9789 936 1 0 39 8 0 0 19 0 2 0 867281644 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 72205 7068 1867 364 0 8123 0
[pid=12235] ppid=12202 vsize=278576 CPUtime=0 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 876 0 0 0 0 0 0 0 18 0 1 0 867281755 285261824 5574 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317583 0 0 16781312 514 6607127828443922696 0 0 17 1 0 0 0
/proc/12235/statm: 69644 5574 377 364 0 5562 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=5.16 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) R 12235 12237 12237 0 -1 4202496 441 0 0 0 516 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134525309 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12202/tid=12236] ppid=12200 vsize=288820 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 2 0 867281756 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 1585196
[startup+12.7007 s]
/proc/loadavg: 3.95 4.01 3.35 5/202 12257
/proc/meminfo: memFree=31748700/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=288820 CPUtime=0.47 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 9789 936 1 0 39 8 0 0 19 0 2 0 867281644 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 72205 7068 1867 364 0 8123 0
[pid=12235] ppid=12202 vsize=278576 CPUtime=0 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 879 0 0 0 0 0 0 0 18 0 1 0 867281755 285261824 5574 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317583 0 0 16781312 514 4387649529151717640 0 0 17 1 0 0 0
/proc/12235/statm: 69644 5574 377 364 0 5562 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=11.52 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) R 12235 12237 12237 0 -1 4202496 441 0 0 0 1152 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134524551 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12202/tid=12236] ppid=12200 vsize=288820 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 2 0 867281756 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 1585196
[startup+25.5004 s]
/proc/loadavg: 3.96 4.01 3.36 5/202 12257
/proc/meminfo: memFree=31749292/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=288820 CPUtime=0.47 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 9789 936 1 0 39 8 0 0 19 0 2 0 867281644 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 72205 7068 1867 364 0 8123 0
[pid=12235] ppid=12202 vsize=278576 CPUtime=0.02 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 885 0 0 0 1 1 0 0 18 0 1 0 867281755 285261824 5574 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317583 0 0 16781312 514 4387649529151717640 0 0 17 1 0 0 0
/proc/12235/statm: 69644 5574 377 364 0 5562 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=24.3 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) R 12235 12237 12237 0 -1 4202496 441 0 0 0 2430 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12202/tid=12236] ppid=12200 vsize=288820 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 2 0 867281756 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 1585196
[startup+51.1008 s]
/proc/loadavg: 4.05 4.02 3.38 5/210 12266
/proc/meminfo: memFree=31740448/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=288820 CPUtime=0.47 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 9789 936 1 0 39 8 0 0 19 0 2 0 867281644 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 72205 7068 1867 364 0 8123 0
[pid=12235] ppid=12202 vsize=278576 CPUtime=0.05 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 898 0 0 0 2 3 0 0 18 0 1 0 867281755 285261824 5574 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317583 0 0 16781312 514 4387649529151717640 0 0 17 1 0 0 0
/proc/12235/statm: 69644 5574 377 364 0 5562 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=49.89 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) R 12235 12237 12237 0 -1 4202496 441 0 0 0 4989 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134524734 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12202/tid=12236] ppid=12200 vsize=288820 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 2 0 867281756 295751680 7068 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 1585196
[startup+102.301 s]
/proc/loadavg: 4.02 4.01 3.41 5/214 12271
/proc/meminfo: memFree=31733648/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=299584 CPUtime=0.49 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 10647 936 1 0 40 9 0 0 19 0 3 0 867281644 306774016 7219 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 74896 7219 1870 364 0 10811 0
[pid=12235] ppid=12202 vsize=288820 CPUtime=0.11 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 1151 0 0 0 6 5 0 0 19 0 2 0 867281755 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12235/statm: 72205 5618 416 364 0 8123 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=99.96 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) T 12235 12237 12237 0 -1 4202496 441 0 0 0 9996 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134545529 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12235/tid=12268] ppid=12202 vsize=288820 CPUtime=0 cores=1,3
/proc/12235/task/12268/stat : 12268 (python) S 12202 12202 10649 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 867291767 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604454451035072 0 0 -1 3 0 0 0
[pid=12269] ppid=12202 vsize=289340 CPUtime=0 cores=1,3
/proc/12269/stat : 12269 (python) S 12202 12202 10649 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 867291767 296284160 5693 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317638 0 0 16781312 514 5633682080740114696 0 0 17 1 0 0 0
/proc/12269/statm: 72335 5693 348 364 0 8250 0
[pid=12271] ppid=12269 vsize=2344 CPUtime=1.06 cores=1,3
/proc/12271/stat : 12271 (march_hi) R 12269 12271 12271 0 -1 4202496 668 0 0 0 106 0 0 0 24 0 1 0 867291768 2400256 403 33554432000 4194304 4955518 140733478037440 18446744073709551615 4227800 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12271/statm: 586 403 104 186 0 399 0
[pid=12202/tid=12236] ppid=12200 vsize=299584 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 3 0 867281756 306774016 7219 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12270] ppid=12200 vsize=299584 CPUtime=0 cores=1,3
/proc/12202/task/12270/stat : 12270 (python) S 12200 12202 10649 0 -1 4202560 25 936 0 0 0 0 0 0 20 0 3 0 867291767 306774016 7219 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 1897888
[startup+162.301 s]
/proc/loadavg: 4.01 4.01 3.44 5/226 12285
/proc/meminfo: memFree=31699020/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=299584 CPUtime=0.49 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 10647 936 1 0 40 9 0 0 19 0 3 0 867281644 306774016 7219 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 74896 7219 1870 364 0 10811 0
[pid=12235] ppid=12202 vsize=288820 CPUtime=0.11 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 1151 0 0 0 6 5 0 0 19 0 2 0 867281755 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12235/statm: 72205 5618 416 364 0 8123 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=99.96 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) T 12235 12237 12237 0 -1 4202496 441 0 0 0 9996 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134545529 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12235/tid=12268] ppid=12202 vsize=288820 CPUtime=0 cores=1,3
/proc/12235/task/12268/stat : 12268 (python) S 12202 12202 10649 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 867291767 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604454451035072 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/12235/statm: 72205 5618 416 364 0 8123 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=99.96 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) T 12235 12237 12237 0 -1 4202496 441 0 0 0 9996 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134545529 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12235/tid=12268] ppid=12202 vsize=288820 CPUtime=0 cores=1,3
/proc/12235/task/12268/stat : 12268 (python) S 12202 12202 10649 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 867291767 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604454451035072 0 0 -1 3 0 0 0
[pid=12269] ppid=12202 vsize=289340 CPUtime=0.99 cores=1,3
/proc/12269/stat : 12269 (python) S 12202 12202 10649 0 -1 4202560 1144 0 0 0 57 42 0 0 15 0 2 0 867291767 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12269/statm: 72335 5746 400 364 0 8250 0
[pid=12271] ppid=12269 vsize=119684 CPUtime=679.6 cores=1,3
/proc/12271/stat : 12271 (march_hi) T 12269 12271 12271 0 -1 4202496 21850 0 0 0 67955 5 0 0 25 0 1 0 867291768 122556416 21585 33554432000 4194304 4955518 140733478037440 18446744073709551615 4227472 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12271/statm: 29921 21585 104 186 0 29734 0
[pid=12269/tid=12298] ppid=12202 vsize=289340 CPUtime=0 cores=1,3
/proc/12269/task/12298/stat : 12298 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 867330652 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471130178880 0 0 -1 1 0 0 0
[pid=12299] ppid=12202 vsize=299172 CPUtime=0.51 cores=1,3
/proc/12299/stat : 12299 (python) S 12202 12202 10649 0 -1 4202560 1143 0 0 0 27 24 0 0 15 0 2 0 867330653 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12299/statm: 74793 5659 400 364 0 10705 0
[pid=12301] ppid=12299 vsize=56228 CPUtime=340.18 cores=1,3
/proc/12301/stat : 12301 (march_hi) R 12299 12301 12301 0 -1 4202496 11827 0 0 0 34016 2 0 0 25 0 1 0 867330653 57577472 11562 33554432000 4194304 4955518 140734271223088 18446744073709551615 4227824 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12301/statm: 14057 11562 104 186 0 13870 0
[pid=12299/tid=12305] ppid=12202 vsize=299172 CPUtime=0 cores=1,3
/proc/12299/task/12305/stat : 12305 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 867340391 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471159510976 0 0 -1 1 0 0 0
[pid=12202/tid=12236] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 4 0 867281756 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12270] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12270/stat : 12270 (python) S 12200 12202 10649 0 -1 4202560 30 936 0 0 0 0 0 0 18 0 4 0 867291767 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12300] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12300/stat : 12300 (python) S 12200 12202 10649 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 4 0 867330653 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 2381080
[startup+1182.3 s]
/proc/loadavg: 4.04 4.00 3.80 5/227 12569
/proc/meminfo: memFree=31447336/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=310036 CPUtime=0.51 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 12105 936 1 0 42 9 0 0 18 0 4 0 867281644 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 77509 7280 1872 364 0 13421 0
[pid=12235] ppid=12202 vsize=288820 CPUtime=0.11 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 1151 0 0 0 6 5 0 0 19 0 2 0 867281755 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12235/statm: 72205 5618 416 364 0 8123 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=99.96 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) T 12235 12237 12237 0 -1 4202496 441 0 0 0 9996 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134545529 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12235/tid=12268] ppid=12202 vsize=288820 CPUtime=0 cores=1,3
/proc/12235/task/12268/stat : 12268 (python) S 12202 12202 10649 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 867291767 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604454451035072 0 0 -1 3 0 0 0
[pid=12269] ppid=12202 vsize=289340 CPUtime=0.99 cores=1,3
/proc/12269/stat : 12269 (python) S 12202 12202 10649 0 -1 4202560 1144 0 0 0 57 42 0 0 15 0 2 0 867291767 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12269/statm: 72335 5746 400 364 0 8250 0
[pid=12271] ppid=12269 vsize=119684 CPUtime=679.6 cores=1,3
/proc/12271/stat : 12271 (march_hi) T 12269 12271 12271 0 -1 4202496 21850 0 0 0 67955 5 0 0 25 0 1 0 867291768 122556416 21585 33554432000 4194304 4955518 140733478037440 18446744073709551615 4227472 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12271/statm: 29921 21585 104 186 0 29734 0
[pid=12269/tid=12298] ppid=12202 vsize=289340 CPUtime=0 cores=1,3
/proc/12269/task/12298/stat : 12298 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 867330652 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471130178880 0 0 -1 1 0 0 0
[pid=12299] ppid=12202 vsize=299172 CPUtime=0.6 cores=1,3
/proc/12299/stat : 12299 (python) S 12202 12202 10649 0 -1 4202560 1143 0 0 0 33 27 0 0 15 0 2 0 867330653 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12299/statm: 74793 5659 400 364 0 10705 0
[pid=12301] ppid=12299 vsize=75872 CPUtime=400.12 cores=1,3
/proc/12301/stat : 12301 (march_hi) R 12299 12301 12301 0 -1 4202496 13641 0 0 0 40008 4 0 0 25 0 1 0 867330653 77692928 13376 33554432000 4194304 4955518 140734271223088 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12301/statm: 18968 13376 104 186 0 18781 0
[pid=12299/tid=12305] ppid=12202 vsize=299172 CPUtime=0 cores=1,3
/proc/12299/task/12305/stat : 12305 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 867340391 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471159510976 0 0 -1 1 0 0 0
[pid=12202/tid=12236] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 4 0 867281756 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12270] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12270/stat : 12270 (python) S 12200 12202 10649 0 -1 4202560 30 936 0 0 0 0 0 0 18 0 4 0 867291767 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12300] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12300/stat : 12300 (python) S 12200 12202 10649 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 4 0 867330653 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 2400724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 4.03 4.00 3.80 5/227 12569
/proc/meminfo: memFree=31443456/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=310036 CPUtime=0.51 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 12105 936 1 0 42 9 0 0 18 0 4 0 867281644 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 77509 7280 1872 364 0 13421 0
[pid=12235] ppid=12202 vsize=288820 CPUtime=0.11 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 1151 0 0 0 6 5 0 0 19 0 2 0 867281755 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12235/statm: 72205 5618 416 364 0 8123 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=99.96 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) T 12235 12237 12237 0 -1 4202496 441 0 0 0 9996 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134545529 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12235/tid=12268] ppid=12202 vsize=288820 CPUtime=0 cores=1,3
/proc/12235/task/12268/stat : 12268 (python) S 12202 12202 10649 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 867291767 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604454451035072 0 0 -1 3 0 0 0
[pid=12269] ppid=12202 vsize=289340 CPUtime=0.99 cores=1,3
/proc/12269/stat : 12269 (python) S 12202 12202 10649 0 -1 4202560 1144 0 0 0 57 42 0 0 15 0 2 0 867291767 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12269/statm: 72335 5746 400 364 0 8250 0
[pid=12271] ppid=12269 vsize=119684 CPUtime=679.6 cores=1,3
/proc/12271/stat : 12271 (march_hi) T 12269 12271 12271 0 -1 4202496 21850 0 0 0 67955 5 0 0 25 0 1 0 867291768 122556416 21585 33554432000 4194304 4955518 140733478037440 18446744073709551615 4227472 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12271/statm: 29921 21585 104 186 0 29734 0
[pid=12269/tid=12298] ppid=12202 vsize=289340 CPUtime=0 cores=1,3
/proc/12269/task/12298/stat : 12298 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 867330652 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471130178880 0 0 -1 1 0 0 0
[pid=12299] ppid=12202 vsize=299172 CPUtime=0.62 cores=1,3
/proc/12299/stat : 12299 (python) S 12202 12202 10649 0 -1 4202560 1143 0 0 0 34 28 0 0 15 0 2 0 867330653 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12299/statm: 74793 5659 400 364 0 10705 0
[pid=12301] ppid=12299 vsize=75872 CPUtime=418.3 cores=1,3
/proc/12301/stat : 12301 (march_hi) R 12299 12301 12301 0 -1 4202496 14165 0 0 0 41826 4 0 0 25 0 1 0 867330653 77692928 13900 33554432000 4194304 4955518 140734271223088 18446744073709551615 4235344 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12301/statm: 18968 13900 104 186 0 18781 0
[pid=12299/tid=12305] ppid=12202 vsize=299172 CPUtime=0 cores=1,3
/proc/12299/task/12305/stat : 12305 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 867340391 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471159510976 0 0 -1 1 0 0 0
[pid=12202/tid=12236] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 4 0 867281756 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12270] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12270/stat : 12270 (python) S 12200 12202 10649 0 -1 4202560 30 936 0 0 0 0 0 0 18 0 4 0 867291767 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12300] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12300/stat : 12300 (python) S 12200 12202 10649 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 4 0 867330653 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 2400724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 4.03 4.00 3.80 5/227 12569
/proc/meminfo: memFree=31443456/32951124 swapFree=67056964/67111528
[pid=12202] ppid=12200 vsize=310036 CPUtime=0.51 cores=1,3
/proc/12202/stat : 12202 (python) S 12200 12202 10649 0 -1 4202496 12105 936 1 0 42 9 0 0 18 0 4 0 867281644 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 54
/proc/12202/statm: 77509 7280 1872 364 0 13421 0
[pid=12235] ppid=12202 vsize=288820 CPUtime=0.11 cores=1,3
/proc/12235/stat : 12235 (python) S 12202 12202 10649 0 -1 4202560 1151 0 0 0 6 5 0 0 19 0 2 0 867281755 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12235/statm: 72205 5618 416 364 0 8123 0
[pid=12237] ppid=12235 vsize=1017800 CPUtime=99.96 cores=1,3
/proc/12237/stat : 12237 (gnovelty+2) T 12235 12237 12237 0 -1 4202496 441 0 0 0 9996 0 0 0 25 0 1 0 867281756 1042227200 178 33554432000 134512640 135663704 4291494576 18446744073709551615 134545529 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12237/statm: 254450 178 113 282 0 254166 0
[pid=12235/tid=12268] ppid=12202 vsize=288820 CPUtime=0 cores=1,3
/proc/12235/task/12268/stat : 12268 (python) S 12202 12202 10649 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 867291767 295751680 5618 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604454451035072 0 0 -1 3 0 0 0
[pid=12269] ppid=12202 vsize=289340 CPUtime=0.99 cores=1,3
/proc/12269/stat : 12269 (python) S 12202 12202 10649 0 -1 4202560 1144 0 0 0 57 42 0 0 15 0 2 0 867291767 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12269/statm: 72335 5746 400 364 0 8250 0
[pid=12271] ppid=12269 vsize=119684 CPUtime=679.6 cores=1,3
/proc/12271/stat : 12271 (march_hi) T 12269 12271 12271 0 -1 4202496 21850 0 0 0 67955 5 0 0 25 0 1 0 867291768 122556416 21585 33554432000 4194304 4955518 140733478037440 18446744073709551615 4227472 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12271/statm: 29921 21585 104 186 0 29734 0
[pid=12269/tid=12298] ppid=12202 vsize=289340 CPUtime=0 cores=1,3
/proc/12269/task/12298/stat : 12298 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 867330652 296284160 5746 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471130178880 0 0 -1 1 0 0 0
[pid=12299] ppid=12202 vsize=299172 CPUtime=0.62 cores=1,3
/proc/12299/stat : 12299 (python) S 12202 12202 10649 0 -1 4202560 1143 0 0 0 34 28 0 0 15 0 2 0 867330653 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12299/statm: 74793 5659 400 364 0 10705 0
[pid=12301] ppid=12299 vsize=75872 CPUtime=418.3 cores=1,3
/proc/12301/stat : 12301 (march_hi) R 12299 12301 12301 0 -1 4202496 14165 0 0 0 41826 4 0 0 25 0 1 0 867330653 77692928 13900 33554432000 4194304 4955518 140734271223088 18446744073709551615 4235344 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12301/statm: 18968 13900 104 186 0 18781 0
[pid=12299/tid=12305] ppid=12202 vsize=299172 CPUtime=0 cores=1,3
/proc/12299/task/12305/stat : 12305 (python) S 12202 12202 10649 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 867340391 306352128 5659 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 514 18446604471159510976 0 0 -1 1 0 0 0
[pid=12202/tid=12236] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12236/stat : 12236 (python) S 12200 12202 10649 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 4 0 867281756 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12270] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12270/stat : 12270 (python) S 12200 12202 10649 0 -1 4202560 30 936 0 0 0 0 0 0 18 0 4 0 867291767 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
[pid=12202/tid=12300] ppid=12200 vsize=310036 CPUtime=0 cores=1,3
/proc/12202/task/12300/stat : 12300 (python) S 12200 12202 10649 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 4 0 867330653 317476864 7280 33554432000 4194304 5683644 140734588366144 18446744073709551615 233522121137 0 0 16781312 2 18446604454451034176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 2400724
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12202 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=423935
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=98984
# CPU time returned by wait4() is 0.522919
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.53
CPU time (s): 1200.09
CPU user time (s): 1199.16
CPU system time (s): 0.93
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 2400724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.423935
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13042
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 994
involuntary context switches= 16
runsolver used 2.08368 second user time and 4.45732 second system time
The end