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-3490565-1307771666/watcher-3490565-1307771666 -o /tmp/evaluation-result-3490565-1307771666/solver-3490565-1307771666 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490565-1307771666.opb --verbosity=0 --format=opb --randomseed=515744727 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24071
/proc/meminfo: memFree=31245604/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=7720 CPUtime=0 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 452 0 0 0 0 0 0 0 25 0 1 0 869581946 7905280 405 33554432000 4194304 6720400 140733953342976 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 1930 405 231 617 0 1304 0

[startup+0.0712249 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24071
/proc/meminfo: memFree=31245604/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=13096 CPUtime=0.06 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 1776 0 0 0 6 0 0 0 25 0 1 0 869581946 13410304 1729 33554432000 4194304 6720400 140733953342976 18446744073709551615 6068346 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 3274 1730 231 617 0 2648 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13096

[startup+0.100208 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24071
/proc/meminfo: memFree=31245604/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=15272 CPUtime=0.09 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 2340 0 0 0 9 0 0 0 25 0 1 0 869581946 15638528 2293 33554432000 4194304 6720400 140733953342976 18446744073709551615 5401771 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 3818 2294 231 617 0 3192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15272

[startup+0.300196 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24071
/proc/meminfo: memFree=31245604/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=30504 CPUtime=0.29 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 6144 0 0 0 29 0 0 0 25 0 1 0 869581946 31236096 6097 33554432000 4194304 6720400 140733953342976 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 7626 6098 231 617 0 7000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30504

[startup+0.70112 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 24071
/proc/meminfo: memFree=31245604/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=73300 CPUtime=0.69 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 17056 0 0 0 67 2 0 0 25 0 1 0 869581946 75059200 16528 33554432000 4194304 6720400 140733953342976 18446744073709551615 5725543 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 18325 16530 245 617 0 17699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73300

[startup+1.50097 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24072
/proc/meminfo: memFree=31118272/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=157468 CPUtime=1.49 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 38214 0 0 0 144 5 0 0 25 0 1 0 869581946 161247232 37686 33554432000 4194304 6720400 140733953342976 18446744073709551615 4805952 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 39367 37686 257 617 0 38741 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157468

[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24072
/proc/meminfo: memFree=31075532/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=157468 CPUtime=3.09 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 38245 0 0 0 304 5 0 0 25 0 1 0 869581946 161247232 37716 33554432000 4194304 6720400 140733953342976 18446744073709551615 4805760 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 39367 37716 257 617 0 38741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157468

[startup+6.30114 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24072
/proc/meminfo: memFree=31087204/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=157468 CPUtime=6.29 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 38288 0 0 0 624 5 0 0 25 0 1 0 869581946 161247232 37757 33554432000 4194304 6720400 140733953342976 18446744073709551615 4806018 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 39367 37757 263 617 0 38741 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157468

[startup+12.701 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24072
/proc/meminfo: memFree=31026836/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=207408 CPUtime=12.69 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 72962 0 0 0 1259 10 0 0 25 0 1 0 869581946 212385792 48964 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 51852 48964 264 617 0 51226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207408

[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 24072
/proc/meminfo: memFree=31010696/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=214048 CPUtime=25.49 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 143526 0 0 0 2531 18 0 0 25 0 1 0 869581946 219185152 52330 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 53512 52330 264 617 0 52886 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 214048

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 24073
/proc/meminfo: memFree=30977660/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=253592 CPUtime=51.09 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 314450 0 0 0 5065 44 0 0 25 0 1 0 869581946 259678208 56768 33554432000 4194304 6720400 140733953342976 18446744073709551615 4816296 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 63398 56768 264 617 0 62772 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 253592

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 24075
/proc/meminfo: memFree=30897652/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=247880 CPUtime=102.29 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 618942 0 0 0 10140 89 0 0 25 0 1 0 869581946 253829120 59597 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 61970 59597 264 617 0 61344 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 247880

[startup+162.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 24076
/proc/meminfo: memFree=30818008/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=342332 CPUtime=162.29 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 918066 0 0 0 16094 135 0 0 25 0 1 0 869581946 350547968 79436 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 85583 79436 264 617 0 84957 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 342332

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24078
/proc/meminfo: memFree=30793172/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=366836 CPUtime=222.29 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 1317956 0 0 0 22033 196 0 0 25 0 1 0 869581946 375640064 80594 33554432000 4194304 6720400 140733953342976 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 91709 80595 264 617 0 91083 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 366836

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24079
/proc/meminfo: memFree=30683880/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=334808 CPUtime=282.29 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 1636965 0 0 0 27988 241 0 0 25 0 1 0 869581946 342843392 75816 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 83702 75816 264 617 0 83076 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 334808

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24081
/proc/meminfo: memFree=30662028/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=339360 CPUtime=342.3 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 1933879 0 0 0 33942 288 0 0 25 0 1 0 869581946 347504640 76716 33554432000 4194304 6720400 140733953342976 18446744073709551615 4816264 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 84840 76718 264 617 0 84214 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 339360

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24092
/proc/meminfo: memFree=30674116/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=473124 CPUtime=402.3 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 2380758 0 0 0 39872 358 0 0 25 0 1 0 869581946 484478976 98903 33554432000 4194304 6720400 140733953342976 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 118281 98904 264 617 0 117655 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 473124

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24093
/proc/meminfo: memFree=30654916/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=399164 CPUtime=462.3 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 2699740 0 0 0 45823 407 0 0 25 0 1 0 869581946 408743936 91482 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 99791 91482 264 617 0 99165 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 399164

[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 24095
/proc/meminfo: memFree=30688868/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=407804 CPUtime=522.3 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 2954737 0 0 0 51786 444 0 0 25 0 1 0 869581946 417591296 94199 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 101951 94199 264 617 0 101325 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 407804

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24096
/proc/meminfo: memFree=30667488/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=414124 CPUtime=582.3 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 3244855 0 0 0 57743 487 0 0 25 0 1 0 869581946 424062976 93544 33554432000 4194304 6720400 140733953342976 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 103531 93545 264 617 0 102905 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 414124

[startup+642.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24103
/proc/meminfo: memFree=30541720/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=400888 CPUtime=822.3 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 4453548 0 0 0 81566 664 0 0 25 0 1 0 869581946 410509312 91308 33554432000 4194304 6720400 140733953342976 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 100222 91308 264 617 0 99596 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 400888

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24104
/proc/meminfo: memFree=30565112/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=537356 CPUtime=882.31 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 4923671 0 0 0 87500 731 0 0 25 0 1 0 869581946 550252544 112332 33554432000 4194304 6720400 140733953342976 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 134339 112333 264 617 0 133713 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 537356

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24106
/proc/meminfo: memFree=30543148/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=537988 CPUtime=942.31 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 5301988 0 0 0 93442 789 0 0 25 0 1 0 869581946 550899712 116275 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 134497 116275 264 617 0 133871 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 537988

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24108
/proc/meminfo: memFree=30582672/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=457548 CPUtime=1002.32 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 5612007 0 0 0 99396 836 0 0 25 0 1 0 869581946 468529152 99196 33554432000 4194304 6720400 140733953342976 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 114387 99196 264 617 0 113761 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 457548

[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 24109
/proc/meminfo: memFree=30515924/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=409548 CPUtime=1062.31 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 5883470 0 0 0 105354 877 0 0 25 0 1 0 869581946 419377152 92807 33554432000 4194304 6720400 140733953342976 18446744073709551615 4817030 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 102387 92807 264 617 0 101761 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 409548

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24111
/proc/meminfo: memFree=30604688/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=415204 CPUtime=1122.32 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 6206798 0 0 0 111303 929 0 0 25 0 1 0 869581946 425168896 96481 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 103801 96481 264 617 0 103175 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 415204

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24112
/proc/meminfo: memFree=30561372/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=470096 CPUtime=1182.32 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 6449704 0 0 0 117266 966 0 0 25 0 1 0 869581946 481378304 106437 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 117524 106437 264 617 0 116898 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 470096

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24114
/proc/meminfo: memFree=30581932/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=470288 CPUtime=1242.32 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 6725533 0 0 0 123220 1012 0 0 25 0 1 0 869581946 481574912 108272 33554432000 4194304 6720400 140733953342976 18446744073709551615 4817018 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 117572 108272 264 617 0 116946 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 470288

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24116
/proc/meminfo: memFree=30550400/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=553192 CPUtime=1302.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 7032729 0 0 0 129174 1059 0 0 25 0 1 0 869581946 566468608 114497 33554432000 4194304 6720400 140733953342976 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 138298 114497 264 617 0 137672 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 553192

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24117
/proc/meminfo: memFree=30487868/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=558312 CPUtime=1362.32 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 7380713 0 0 0 135121 1111 0 0 25 0 1 0 869581946 571711488 117622 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 139578 117622 264 617 0 138952 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 558312

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24119
/proc/meminfo: memFree=30490932/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=560208 CPUtime=1422.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 7631023 0 0 0 141085 1148 0 0 25 0 1 0 869581946 573652992 116867 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 140052 116867 264 617 0 139426 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 560208

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24120
/proc/meminfo: memFree=30485944/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=562360 CPUtime=1482.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 7887985 0 0 0 147047 1186 0 0 25 0 1 0 869581946 575856640 119701 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 140590 119701 264 617 0 139964 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 562360

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24122
/proc/meminfo: memFree=30523988/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=432968 CPUtime=1542.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 8159931 0 0 0 153005 1228 0 0 25 0 1 0 869581946 443359232 102129 33554432000 4194304 6720400 140733953342976 18446744073709551615 4624254 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 108242 102129 264 617 0 107616 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 432968

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24124
/proc/meminfo: memFree=30430076/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=565204 CPUtime=1602.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 8424098 0 0 0 158967 1266 0 0 25 0 1 0 869581946 578768896 122032 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 141301 122032 264 617 0 140675 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 565204

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24125
/proc/meminfo: memFree=30499484/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=486152 CPUtime=1662.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 8694052 0 0 0 164922 1311 0 0 25 0 1 0 869581946 497819648 109490 33554432000 4194304 6720400 140733953342976 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 121538 109490 264 617 0 120912 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 486152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24127
/proc/meminfo: memFree=30423692/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=487860 CPUtime=1722.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 8937023 0 0 0 170887 1346 0 0 25 0 1 0 869581946 499568640 115866 33554432000 4194304 6720400 140733953342976 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 121965 115866 264 617 0 121339 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 487860

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24128
/proc/meminfo: memFree=30411252/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=571428 CPUtime=1782.33 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 9304349 0 0 0 176831 1402 0 0 25 0 1 0 869581946 585142272 124241 33554432000 4194304 6720400 140733953342976 18446744073709551615 4805608 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 142857 124241 264 617 0 142231 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 571428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24168
/proc/meminfo: memFree=30766936/32951124 swapFree=67057920/67111528
[pid=24071] ppid=24069 vsize=490040 CPUtime=1800.04 cores=0,2,4,6
/proc/24071/stat : 24071 (minisatid) R 24069 24071 22888 0 -1 4202496 9451404 0 0 0 178579 1425 0 0 25 0 1 0 869581946 501800960 111248 33554432000 4194304 6720400 140733953342976 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24071/statm: 122510 111248 264 617 0 121884 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 490040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1785.79
CPU system time (s): 14.2758
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 648252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.79
system time used= 14.2758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9451410
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= 3
involuntary context switches= 5974

runsolver used 2.6016 second user time and 5.60615 second system time

The end