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

running on 4 cores: 1,3,5,7

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 2/177 24167
/proc/meminfo: memFree=30962196/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=7852 CPUtime=0 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 469 0 0 0 0 0 0 0 25 0 1 0 869761512 8040448 422 33554432000 4194304 6720400 140735144359856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/24167/statm: 1963 422 231 617 0 1337 0

[startup+0.0338241 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 24167
/proc/meminfo: memFree=30962196/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=10284 CPUtime=0.03 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 1092 0 0 0 3 0 0 0 25 0 1 0 869761512 10530816 1045 33554432000 4194304 6720400 140735144359856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 2571 1046 231 617 0 1945 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10284

[startup+0.100812 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 24167
/proc/meminfo: memFree=30962196/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=16172 CPUtime=0.09 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 2551 0 0 0 9 0 0 0 25 0 1 0 869761512 16560128 2504 33554432000 4194304 6720400 140735144359856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 4043 2505 231 617 0 3417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16172

[startup+0.300778 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 24167
/proc/meminfo: memFree=30962196/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=33068 CPUtime=0.29 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 6785 0 0 0 29 0 0 0 25 0 1 0 869761512 33861632 6738 33554432000 4194304 6720400 140735144359856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 8267 6739 231 617 0 7641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33068

[startup+0.700707 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 24167
/proc/meminfo: memFree=30962196/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=77624 CPUtime=0.69 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 18174 0 0 0 67 2 0 0 25 0 1 0 869761512 79486976 17646 33554432000 4194304 6720400 140735144359856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 19406 17648 245 617 0 18780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77624

[startup+1.50056 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24168
/proc/meminfo: memFree=30809568/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=178400 CPUtime=1.49 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 43574 0 0 0 145 4 0 0 25 0 1 0 869761512 182681600 43046 33554432000 4194304 6720400 140735144359856 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 44600 43046 257 617 0 43974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178400

[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24168
/proc/meminfo: memFree=30857456/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=192720 CPUtime=3.09 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 47742 0 0 0 304 5 0 0 25 0 1 0 869761512 197345280 47212 33554432000 4194304 6720400 140735144359856 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 48180 47212 265 617 0 47554 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192720

[startup+6.30072 s]
/proc/loadavg: 1.93 1.98 1.99 2/176 24169
/proc/meminfo: memFree=31215212/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=224456 CPUtime=6.29 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 66806 0 0 0 622 7 0 0 25 0 1 0 869761512 229842944 55533 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 56114 55533 266 617 0 55488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224456

[startup+12.7006 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24207
/proc/meminfo: memFree=31118012/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=207804 CPUtime=12.69 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 121154 0 0 0 1256 13 0 0 25 0 1 0 869761512 212791296 48850 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 51951 48850 266 617 0 51325 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207804

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 24207
/proc/meminfo: memFree=31087032/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=232276 CPUtime=25.49 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 206186 0 0 0 2524 25 0 0 25 0 1 0 869761512 237850624 56939 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 58069 56939 266 617 0 57443 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232276

[startup+51.1008 s]
/proc/loadavg: 1.96 1.98 1.99 4/179 24211
/proc/meminfo: memFree=31015424/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=331104 CPUtime=51.09 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 384569 0 0 0 5063 46 0 0 25 0 1 0 869761512 339050496 70139 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 82776 70139 266 617 0 82150 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 331104

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 24212
/proc/meminfo: memFree=30935488/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=297000 CPUtime=102.3 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 710020 0 0 0 10136 94 0 0 25 0 1 0 869761512 304128000 71412 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 74250 71412 266 617 0 73624 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 297000

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 24214
/proc/meminfo: memFree=30867884/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=384940 CPUtime=162.29 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 1103604 0 0 0 16082 147 0 0 25 0 1 0 869761512 394178560 86474 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 96235 86474 266 617 0 95609 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 384940

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 24216
/proc/meminfo: memFree=30883848/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=557008 CPUtime=222.29 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 1432704 0 0 0 22038 191 0 0 25 0 1 0 869761512 570376192 106577 33554432000 4194304 6720400 140735144359856 18446744073709551615 4603116 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 139252 106600 266 617 0 138626 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 557008

[startup+282.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 24217
/proc/meminfo: memFree=30867328/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=370632 CPUtime=282.29 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 1864762 0 0 0 27984 245 0 0 25 0 1 0 869761512 379527168 88291 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 92658 88291 266 617 0 92032 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 370632

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24219
/proc/meminfo: memFree=30819808/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=424196 CPUtime=342.3 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 2157224 0 0 0 33942 288 0 0 25 0 1 0 869761512 434376704 101172 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 106049 101172 266 617 0 105423 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 424196

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24220
/proc/meminfo: memFree=30848800/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=441612 CPUtime=402.3 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 2496321 0 0 0 39898 332 0 0 25 0 1 0 869761512 452210688 94540 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 110403 94540 266 617 0 109777 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 441612

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24222
/proc/meminfo: memFree=30804380/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=394560 CPUtime=462.3 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 2834328 0 0 0 45851 379 0 0 25 0 1 0 869761512 404029440 91039 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 98640 91039 266 617 0 98014 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 394560

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24223
/proc/meminfo: memFree=30735036/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=408948 CPUtime=522.31 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 3338280 0 0 0 51787 444 0 0 25 0 1 0 869761512 418762752 95652 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 102237 95652 266 617 0 101611 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 408948

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24225
/proc/meminfo: memFree=30738964/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=544788 CPUtime=582.31 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 3651334 0 0 0 57746 485 0 0 25 0 1 0 869761512 557862912 114197 33554432000 4194304 6720400 140735144359856 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 136197 114197 266 617 0 135571 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 544788

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 24232
/proc/meminfo: memFree=30687956/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=576488 CPUtime=822.31 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 4914333 0 0 0 81575 656 0 0 25 0 1 0 869761512 590323712 126192 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 144122 126192 266 617 0 143496 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 576488

[startup+882.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24233
/proc/meminfo: memFree=30740260/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=498512 CPUtime=882.31 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 5247781 0 0 0 87531 700 0 0 25 0 1 0 869761512 510476288 109251 33554432000 4194304 6720400 140735144359856 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 124628 109251 266 617 0 124002 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 498512

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24235
/proc/meminfo: memFree=30741708/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=500504 CPUtime=942.31 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 5552805 0 0 0 93491 740 0 0 25 0 1 0 869761512 512516096 111464 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 125126 111464 266 617 0 124500 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 500504

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24236
/proc/meminfo: memFree=30754444/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=505016 CPUtime=1002.32 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 6071502 0 0 0 99420 812 0 0 25 0 1 0 869761512 517136384 119066 33554432000 4194304 6720400 140735144359856 18446744073709551615 4816954 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 126254 119066 266 617 0 125628 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 505016

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24238
/proc/meminfo: memFree=30735072/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=505208 CPUtime=1062.32 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 6549627 0 0 0 105354 878 0 0 25 0 1 0 869761512 517332992 112364 33554432000 4194304 6720400 140735144359856 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 126302 112364 266 617 0 125676 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 505208

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24240
/proc/meminfo: memFree=30674036/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=590480 CPUtime=1122.32 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 6842905 0 0 0 111313 919 0 0 25 0 1 0 869761512 604651520 124536 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 147620 124536 266 617 0 146994 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 590480

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24241
/proc/meminfo: memFree=30717912/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=513552 CPUtime=1182.32 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 7159686 0 0 0 117271 961 0 0 25 0 1 0 869761512 525877248 113811 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 128388 113811 266 617 0 127762 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 513552

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24243
/proc/meminfo: memFree=30621780/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=516016 CPUtime=1242.32 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 7431811 0 0 0 123235 997 0 0 25 0 1 0 869761512 528400384 111052 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 129004 111052 266 617 0 128378 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 516016

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24244
/proc/meminfo: memFree=30678160/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=517724 CPUtime=1302.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 7759900 0 0 0 129193 1040 0 0 25 0 1 0 869761512 530149376 118750 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 129431 118750 266 617 0 128805 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 517724

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24246
/proc/meminfo: memFree=30619240/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=470764 CPUtime=1362.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 8074078 0 0 0 135148 1085 0 0 25 0 1 0 869761512 482062336 109656 33554432000 4194304 6720400 140735144359856 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 117691 109656 266 617 0 117065 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 470764

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24248
/proc/meminfo: memFree=30600980/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=604420 CPUtime=1422.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 8337791 0 0 0 141110 1123 0 0 25 0 1 0 869761512 618926080 137124 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 151105 137124 266 617 0 150479 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 604420

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24249
/proc/meminfo: memFree=30643860/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=606508 CPUtime=1482.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 8690215 0 0 0 147063 1170 0 0 25 0 1 0 869761512 621064192 137414 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 151627 137414 266 617 0 151001 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 606508

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24251
/proc/meminfo: memFree=30668016/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=529384 CPUtime=1542.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 9075128 0 0 0 153012 1221 0 0 25 0 1 0 869761512 542089216 121330 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 132346 121330 266 617 0 131720 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 529384

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24252
/proc/meminfo: memFree=30656824/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=613048 CPUtime=1602.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 9377773 0 0 0 158971 1262 0 0 25 0 1 0 869761512 627761152 130754 33554432000 4194304 6720400 140735144359856 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 153262 130754 266 617 0 152636 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 613048

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24254
/proc/meminfo: memFree=30709132/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=614660 CPUtime=1662.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 9665012 0 0 0 164931 1302 0 0 25 0 1 0 869761512 629411840 126458 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 153665 126458 266 617 0 153039 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 614660

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24255
/proc/meminfo: memFree=30711960/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=534032 CPUtime=1722.33 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 9997052 0 0 0 170888 1345 0 0 25 0 1 0 869761512 546848768 118096 33554432000 4194304 6720400 140735144359856 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 133508 118096 266 617 0 132882 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 534032

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24257
/proc/meminfo: memFree=30593016/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=618264 CPUtime=1782.34 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 10257164 0 0 0 176853 1381 0 0 25 0 1 0 869761512 633102336 140185 33554432000 4194304 6720400 140735144359856 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 154566 140185 266 617 0 153940 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 618264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24258
/proc/meminfo: memFree=30582584/32951124 swapFree=67057920/67111528
[pid=24167] ppid=24165 vsize=618264 CPUtime=1800.04 cores=1,3,5,7
/proc/24167/stat : 24167 (minisatid) R 24165 24167 22888 0 -1 4202496 10350013 0 0 0 178610 1394 0 0 25 0 1 0 869761512 633102336 140435 33554432000 4194304 6720400 140735144359856 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/24167/statm: 154566 140435 266 617 0 153940 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 618264

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): 1786.11
CPU system time (s): 13.9649
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 716824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.11
system time used= 13.9649
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10350021
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= 5
involuntary context switches= 19213

runsolver used 2.53261 second user time and 5.94909 second system time

The end