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-3490633-1307763108/watcher-3490633-1307763108 -o /tmp/evaluation-result-3490633-1307763108/solver-3490633-1307763108 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490633-1307763108.opb --verbosity=0 --format=opb --randomseed=530589803
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: 2.04 2.01 2.00 2/175 16730
/proc/meminfo: memFree=31520400/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=7872 CPUtime=0 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 482 0 0 0 0 0 0 0 23 0 1 0 887909414 8060928 435 33554432000 4194304 6720400 140735498002368 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 1968 435 231 617 0 1342 0
[startup+0.088325 s]
/proc/loadavg: 2.04 2.01 2.00 2/175 16730
/proc/meminfo: memFree=31520400/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=10100 CPUtime=0.08 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 1351 0 0 0 8 0 0 0 23 0 1 0 887909414 10342400 1300 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 2525 1300 257 617 0 1899 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10100
[startup+0.100323 s]
/proc/loadavg: 2.04 2.01 2.00 2/175 16730
/proc/meminfo: memFree=31520400/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=10128 CPUtime=0.09 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 1428 0 0 0 9 0 0 0 23 0 1 0 887909414 10371072 1377 33554432000 4194304 6720400 140735498002368 18446744073709551615 4611798 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 2532 1377 257 617 0 1906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10128
[startup+0.300288 s]
/proc/loadavg: 2.04 2.01 2.00 2/175 16730
/proc/meminfo: memFree=31520400/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=12924 CPUtime=0.29 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 2608 0 0 0 29 0 0 0 25 0 1 0 887909414 13234176 2556 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 3231 2556 265 617 0 2605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12924
[startup+0.700231 s]
/proc/loadavg: 2.04 2.01 2.00 2/175 16730
/proc/meminfo: memFree=31520400/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=24564 CPUtime=0.69 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 4884 0 0 0 69 0 0 0 25 0 1 0 887909414 25153536 4830 33554432000 4194304 6720400 140735498002368 18446744073709551615 4803369 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 6141 4830 265 617 0 5515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24564
[startup+1.5011 s]
/proc/loadavg: 2.04 2.01 2.00 4/176 16731
/proc/meminfo: memFree=31473296/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=55336 CPUtime=1.49 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 9471 0 0 0 148 1 0 0 25 0 1 0 887909414 56664064 9413 33554432000 4194304 6720400 140735498002368 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 13834 9413 265 617 0 13208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55336
[startup+3.10082 s]
/proc/loadavg: 2.20 2.05 2.01 3/176 16731
/proc/meminfo: memFree=31423280/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=86424 CPUtime=3.09 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 18679 0 0 0 307 2 0 0 25 0 1 0 887909414 88498176 18605 33554432000 4194304 6720400 140735498002368 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 21606 18605 265 617 0 20980 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86424
[startup+6.30027 s]
/proc/loadavg: 2.20 2.05 2.01 3/176 16731
/proc/meminfo: memFree=31274240/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=218504 CPUtime=6.29 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 36624 0 0 0 626 3 0 0 25 0 1 0 887909414 223748096 36524 33554432000 4194304 6720400 140735498002368 18446744073709551615 4431784 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 54626 36524 265 617 0 54000 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218504
[startup+12.7002 s]
/proc/loadavg: 2.17 2.04 2.01 3/176 16731
/proc/meminfo: memFree=31407780/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=88140 CPUtime=12.69 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 91804 0 0 0 1257 12 0 0 25 0 1 0 887909414 90255360 17478 33554432000 4194304 6720400 140735498002368 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 22035 17478 265 617 0 21409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88140
[startup+25.501 s]
/proc/loadavg: 2.14 2.04 2.01 3/176 16731
/proc/meminfo: memFree=31260740/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=139840 CPUtime=25.49 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 186169 0 0 0 2524 25 0 0 25 0 1 0 887909414 143196160 34261 33554432000 4194304 6720400 140735498002368 18446744073709551615 4432215 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 34960 34261 265 617 0 34334 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139840
[startup+51.1006 s]
/proc/loadavg: 2.09 2.04 2.01 3/176 16731
/proc/meminfo: memFree=31169704/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=225040 CPUtime=51.09 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 375387 0 0 0 5056 53 0 0 25 0 1 0 887909414 230440960 50450 33554432000 4194304 6720400 140735498002368 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 56260 50450 265 617 0 55634 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 225040
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 16733
/proc/meminfo: memFree=31410624/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=149144 CPUtime=102.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 779235 0 0 0 10118 112 0 0 25 0 1 0 887909414 152723456 30243 33554432000 4194304 6720400 140735498002368 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 37286 30243 265 617 0 36660 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149144
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 16735
/proc/meminfo: memFree=31117592/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=154868 CPUtime=162.29 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 1214825 0 0 0 16050 179 0 0 25 0 1 0 887909414 158584832 37716 33554432000 4194304 6720400 140735498002368 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 38717 37716 265 617 0 38091 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 154868
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 16737
/proc/meminfo: memFree=31233620/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=241656 CPUtime=222.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 1637544 0 0 0 21987 243 0 0 25 0 1 0 887909414 247455744 57269 33554432000 4194304 6720400 140735498002368 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 60414 57269 265 617 0 59788 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 241656
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 16737
/proc/meminfo: memFree=31135888/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=245520 CPUtime=282.29 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 2065062 0 0 0 27925 304 0 0 25 0 1 0 887909414 251412480 43159 33554432000 4194304 6720400 140735498002368 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 61380 43159 265 617 0 60754 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 245520
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 16739
/proc/meminfo: memFree=31125440/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=249896 CPUtime=342.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 2475607 0 0 0 33863 367 0 0 25 0 1 0 887909414 255893504 60656 33554432000 4194304 6720400 140735498002368 18446744073709551615 4803256 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 62474 60656 265 617 0 61848 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 249896
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 16741
/proc/meminfo: memFree=31219904/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=385344 CPUtime=402.29 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 2886329 0 0 0 39796 433 0 0 25 0 1 0 887909414 394592256 77471 33554432000 4194304 6720400 140735498002368 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 96336 77471 265 617 0 95710 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 385344
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 16743
/proc/meminfo: memFree=31262548/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=258692 CPUtime=462.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 3288743 0 0 0 45733 497 0 0 25 0 1 0 887909414 264900608 45148 33554432000 4194304 6720400 140735498002368 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 64673 45148 265 617 0 64047 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 258692
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16745
/proc/meminfo: memFree=31007956/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=130480 CPUtime=522.29 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 3700877 0 0 0 51668 561 0 0 25 0 1 0 887909414 133611520 31571 33554432000 4194304 6720400 140735498002368 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 32620 31571 265 617 0 31994 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 130480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16745
/proc/meminfo: memFree=31049848/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=265168 CPUtime=582.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 4089931 0 0 0 57607 623 0 0 25 0 1 0 887909414 271532032 60938 33554432000 4194304 6720400 140735498002368 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 66292 60938 265 617 0 65666 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 265168
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16753
/proc/meminfo: memFree=31035780/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=410972 CPUtime=822.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 5657404 0 0 0 81377 853 0 0 25 0 1 0 887909414 420835328 87005 33554432000 4194304 6720400 140735498002368 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 102743 87005 265 617 0 102117 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 410972
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16754
/proc/meminfo: memFree=31187292/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=414668 CPUtime=882.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 6036690 0 0 0 87322 908 0 0 25 0 1 0 887909414 424620032 79009 33554432000 4194304 6720400 140735498002368 18446744073709551615 4820721 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 103667 79009 265 617 0 103041 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 414668
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16755
/proc/meminfo: memFree=30831264/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=632384 CPUtime=942.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 6397479 0 0 0 93269 961 0 0 25 0 1 0 887909414 647561216 116945 33554432000 4194304 6720400 140735498002368 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 158096 116945 265 617 0 157470 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 632384
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16757
/proc/meminfo: memFree=31206360/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=288532 CPUtime=1002.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 6783813 0 0 0 99212 1019 0 0 25 0 1 0 887909414 295456768 67548 33554432000 4194304 6720400 140735498002368 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 72133 67548 265 617 0 71507 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 288532
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16759
/proc/meminfo: memFree=30771480/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=158312 CPUtime=1062.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 7175845 0 0 0 105152 1078 0 0 25 0 1 0 887909414 162111488 35776 33554432000 4194304 6720400 140735498002368 18446744073709551615 4432223 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 39578 35776 265 617 0 38952 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 158312
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16761
/proc/meminfo: memFree=30714300/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=643840 CPUtime=1122.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 7554098 0 0 0 111098 1132 0 0 25 0 1 0 887909414 659292160 106193 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 160960 106195 265 617 0 160334 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 643840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16761
/proc/meminfo: memFree=31060496/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=644832 CPUtime=1182.3 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 7955808 0 0 0 117035 1195 0 0 25 0 1 0 887909414 660307968 105918 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 161208 105919 265 617 0 160582 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 644832
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16763
/proc/meminfo: memFree=31115668/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=299656 CPUtime=1242.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 8345097 0 0 0 122972 1259 0 0 25 0 1 0 887909414 306847744 67880 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 74914 67880 265 617 0 74288 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 299656
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16765
/proc/meminfo: memFree=30809856/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=649952 CPUtime=1302.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 8720177 0 0 0 128915 1316 0 0 25 0 1 0 887909414 665550848 116637 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 162488 116638 265 617 0 161862 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 649952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16767
/proc/meminfo: memFree=30735072/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=652772 CPUtime=1362.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 9093990 0 0 0 134858 1373 0 0 25 0 1 0 887909414 668438528 128340 33554432000 4194304 6720400 140735498002368 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 163193 128340 265 617 0 162567 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 652772
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16769
/proc/meminfo: memFree=30705544/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=654928 CPUtime=1422.32 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 9467543 0 0 0 140805 1427 0 0 25 0 1 0 887909414 670646272 118943 33554432000 4194304 6720400 140735498002368 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 163732 118943 265 617 0 163106 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 654928
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16769
/proc/meminfo: memFree=30633740/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=655840 CPUtime=1482.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 9837981 0 0 0 146747 1484 0 0 25 0 1 0 887909414 671580160 118220 33554432000 4194304 6720400 140735498002368 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 163960 118220 265 617 0 163334 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 655840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16771
/proc/meminfo: memFree=30910996/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=656792 CPUtime=1542.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 10210094 0 0 0 152692 1539 0 0 25 0 1 0 887909414 672555008 125941 33554432000 4194304 6720400 140735498002368 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 164198 125941 265 617 0 163572 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 656792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31016748/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=659220 CPUtime=1602.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 10585661 0 0 0 158638 1593 0 0 25 0 1 0 887909414 675041280 142893 33554432000 4194304 6720400 140735498002368 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 164805 142894 265 617 0 164179 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 659220
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16814
/proc/meminfo: memFree=31412544/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=233100 CPUtime=1662.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 10973014 0 0 0 164577 1654 0 0 25 0 1 0 887909414 238694400 52287 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 58275 52287 265 617 0 57649 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 233100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16816
/proc/meminfo: memFree=31322996/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=317008 CPUtime=1722.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 11347673 0 0 0 170522 1709 0 0 25 0 1 0 887909414 324616192 68990 33554432000 4194304 6720400 140735498002368 18446744073709551615 4811706 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 79252 68990 265 617 0 78626 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 317008
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16825
/proc/meminfo: memFree=31157360/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=453720 CPUtime=1782.31 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 11719023 0 0 0 176464 1767 0 0 25 0 1 0 887909414 464609280 82842 33554432000 4194304 6720400 140735498002368 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 113430 82843 265 617 0 112804 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 453720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16827
/proc/meminfo: memFree=31307360/32951132 swapFree=67052544/67111528
[pid=16730] ppid=16728 vsize=321460 CPUtime=1800.01 cores=1,3,5,7
/proc/16730/stat : 16730 (minisatid) R 16728 16730 16337 0 -1 4202496 11826528 0 0 0 178220 1781 0 0 25 0 1 0 887909414 329175040 67845 33554432000 4194304 6720400 140735498002368 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16730/statm: 80365 67845 265 617 0 79739 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 321460
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.02
CPU time (s): 1800.04
CPU user time (s): 1782.21
CPU system time (s): 17.8293
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 748784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.21
system time used= 17.8293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11826534
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= 4
involuntary context switches= 3978
runsolver used 2.40363 second user time and 5.80112 second system time
The end