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-3490661-1307762201/watcher-3490661-1307762201 -o /tmp/evaluation-result-3490661-1307762201/solver-3490661-1307762201 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490661-1307762201.opb --verbosity=0 --format=opb --randomseed=690823698
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.11 2.08 2.18 3/177 20464
/proc/meminfo: memFree=31784804/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=7868 CPUtime=0 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 489 0 0 0 0 0 0 0 25 0 1 0 887818315 8056832 442 33554432000 4194304 6720400 140734239639200 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 1967 442 232 617 0 1341 0
[startup+0.0451679 s]
/proc/loadavg: 2.11 2.08 2.18 3/177 20464
/proc/meminfo: memFree=31784804/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=10040 CPUtime=0.04 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 1070 0 0 0 4 0 0 0 25 0 1 0 887818315 10280960 1019 33554432000 4194304 6720400 140734239639200 18446744073709551615 4803369 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 2510 1019 257 617 0 1884 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10040
[startup+0.100152 s]
/proc/loadavg: 2.11 2.08 2.18 3/177 20464
/proc/meminfo: memFree=31784804/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=10176 CPUtime=0.09 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 1403 0 0 0 9 0 0 0 25 0 1 0 887818315 10420224 1352 33554432000 4194304 6720400 140734239639200 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 2544 1352 257 617 0 1918 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10176
[startup+0.300119 s]
/proc/loadavg: 2.11 2.08 2.18 3/177 20464
/proc/meminfo: memFree=31784804/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=12912 CPUtime=0.29 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 2510 0 0 0 29 0 0 0 25 0 1 0 887818315 13221888 2457 33554432000 4194304 6720400 140734239639200 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 3228 2457 265 617 0 2602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12912
[startup+0.701045 s]
/proc/loadavg: 2.11 2.08 2.18 3/177 20464
/proc/meminfo: memFree=31784804/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=24552 CPUtime=0.69 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 4700 0 0 0 69 0 0 0 25 0 1 0 887818315 25141248 4643 33554432000 4194304 6720400 140734239639200 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 6138 4645 265 617 0 5512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24552
[startup+1.5009 s]
/proc/loadavg: 2.10 2.08 2.18 4/179 20466
/proc/meminfo: memFree=31734368/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=55340 CPUtime=1.49 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 9244 0 0 0 148 1 0 0 25 0 1 0 887818315 56668160 9183 33554432000 4194304 6720400 140734239639200 18446744073709551615 5722154 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 13835 9183 265 617 0 13209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55340
[startup+3.10062 s]
/proc/loadavg: 2.10 2.08 2.18 4/179 20466
/proc/meminfo: memFree=31683256/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=86476 CPUtime=3.09 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 18003 0 0 0 307 2 0 0 25 0 1 0 887818315 88551424 17936 33554432000 4194304 6720400 140734239639200 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 21619 17936 265 617 0 20993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86476
[startup+6.30102 s]
/proc/loadavg: 2.10 2.08 2.18 4/179 20466
/proc/meminfo: memFree=31536760/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=218628 CPUtime=6.29 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 35109 0 0 0 625 4 0 0 25 0 1 0 887818315 223875072 35030 33554432000 4194304 6720400 140734239639200 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 54657 35031 265 617 0 54031 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218628
[startup+12.7009 s]
/proc/loadavg: 2.25 2.11 2.19 4/179 20466
/proc/meminfo: memFree=31650508/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=138348 CPUtime=12.69 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 89962 0 0 0 1257 12 0 0 25 0 1 0 887818315 141668352 23564 33554432000 4194304 6720400 140734239639200 18446744073709551615 4714376 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 34587 23564 265 617 0 33961 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138348
[startup+25.5005 s]
/proc/loadavg: 2.21 2.10 2.19 4/179 20467
/proc/meminfo: memFree=31525776/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=139900 CPUtime=25.49 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 196088 0 0 0 2522 27 0 0 25 0 1 0 887818315 143257600 27250 33554432000 4194304 6720400 140734239639200 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 34975 27250 265 617 0 34349 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139900
[startup+51.1009 s]
/proc/loadavg: 2.14 2.09 2.18 4/179 20467
/proc/meminfo: memFree=31478512/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=223992 CPUtime=51.09 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 405733 0 0 0 5050 59 0 0 25 0 1 0 887818315 229367808 41280 33554432000 4194304 6720400 140734239639200 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 55998 41281 265 617 0 55372 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 223992
[startup+102.307 s]
/proc/loadavg: 2.05 2.08 2.17 4/179 20469
/proc/meminfo: memFree=31563684/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=97588 CPUtime=102.3 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 828348 0 0 0 10109 121 0 0 25 0 1 0 887818315 99930112 20577 33554432000 4194304 6720400 140734239639200 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 24397 20577 265 617 0 23771 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 97588
[startup+162.301 s]
/proc/loadavg: 2.02 2.06 2.16 4/179 20470
/proc/meminfo: memFree=31379264/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=104872 CPUtime=162.29 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 1258112 0 0 0 16045 184 0 0 25 0 1 0 887818315 107388928 22716 33554432000 4194304 6720400 140734239639200 18446744073709551615 4816976 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 26218 22718 265 617 0 25592 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 104872
[startup+222.301 s]
/proc/loadavg: 2.00 2.05 2.15 4/179 20472
/proc/meminfo: memFree=31298888/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=373268 CPUtime=222.3 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 1686719 0 0 0 21984 246 0 0 25 0 1 0 887818315 382226432 69054 33554432000 4194304 6720400 140734239639200 18446744073709551615 4817243 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 93317 69054 265 617 0 92691 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 373268
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.14 4/179 20473
/proc/meminfo: memFree=31431408/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=377136 CPUtime=282.3 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 2111182 0 0 0 27923 307 0 0 25 0 1 0 887818315 386187264 67043 33554432000 4194304 6720400 140734239639200 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 94284 67043 265 617 0 93658 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 377136
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.13 4/179 20475
/proc/meminfo: memFree=31400016/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=167424 CPUtime=342.3 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 2531521 0 0 0 33861 369 0 0 25 0 1 0 887818315 171442176 39879 33554432000 4194304 6720400 140734239639200 18446744073709551615 4814495 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 41856 39879 265 617 0 41230 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 167424
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.12 4/179 20477
/proc/meminfo: memFree=31342068/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=252864 CPUtime=402.3 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 2934206 0 0 0 39797 433 0 0 25 0 1 0 887818315 258932736 52335 33554432000 4194304 6720400 140734239639200 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 63216 52335 265 617 0 62590 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 252864
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.10 4/179 20478
/proc/meminfo: memFree=31263300/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=175156 CPUtime=462.31 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 3333536 0 0 0 45735 496 0 0 25 0 1 0 887818315 179359744 38462 33554432000 4194304 6720400 140734239639200 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 43789 38462 265 617 0 43163 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 175156
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.09 4/179 20480
/proc/meminfo: memFree=31366796/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=259808 CPUtime=522.31 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 3742312 0 0 0 51670 561 0 0 25 0 1 0 887818315 266043392 52729 33554432000 4194304 6720400 140734239639200 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 64952 52729 265 617 0 64326 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 259808
[startup+582.301 s]
/proc/loadavg: 2.13 2.04 2.10 4/179 20481
/proc/meminfo: memFree=31321516/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=395988 CPUtime=582.31 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 4126681 0 0 0 57613 618 0 0 25 0 1 0 887818315 405491712 84090 33554432000 4194304 6720400 140734239639200 18446744073709551615 4610852 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 98997 84090 265 617 0 98371 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 395988
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.07 4/179 20488
/proc/meminfo: memFree=31224320/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=275560 CPUtime=822.31 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 5689408 0 0 0 81371 860 0 0 25 0 1 0 887818315 282173440 61865 33554432000 4194304 6720400 140734239639200 18446744073709551615 5722162 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 68890 61865 265 617 0 68264 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 275560
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.07 4/179 20489
/proc/meminfo: memFree=31111948/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=410384 CPUtime=882.32 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 6080304 0 0 0 87315 917 0 0 25 0 1 0 887818315 420233216 73803 33554432000 4194304 6720400 140734239639200 18446744073709551615 4593702 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 102596 73803 265 617 0 101970 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 410384
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.06 4/179 20491
/proc/meminfo: memFree=31403956/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=200380 CPUtime=942.32 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 6465283 0 0 0 93259 973 0 0 25 0 1 0 887818315 205189120 45028 33554432000 4194304 6720400 140734239639200 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 50095 45028 265 617 0 49469 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 200380
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.06 4/179 20493
/proc/meminfo: memFree=30909164/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=416432 CPUtime=1002.32 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 6833465 0 0 0 99202 1030 0 0 25 0 1 0 887818315 426426368 101056 33554432000 4194304 6720400 140734239639200 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 104108 101056 265 617 0 103482 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 416432
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.05 4/179 20494
/proc/meminfo: memFree=31177600/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=418388 CPUtime=1062.32 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 7226139 0 0 0 105143 1089 0 0 25 0 1 0 887818315 428429312 98856 33554432000 4194304 6720400 140734239639200 18446744073709551615 4817035 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 104597 98857 265 617 0 103971 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 418388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/179 20496
/proc/meminfo: memFree=31088408/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=288824 CPUtime=1122.32 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 7611489 0 0 0 111085 1147 0 0 25 0 1 0 887818315 295755776 65887 33554432000 4194304 6720400 140734239639200 18446744073709551615 4812201 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 72206 65887 265 617 0 71580 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 288824
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.04 4/179 20497
/proc/meminfo: memFree=31056640/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=638132 CPUtime=1182.33 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 7978895 0 0 0 117034 1199 0 0 25 0 1 0 887818315 653447168 120080 33554432000 4194304 6720400 140734239639200 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 159533 120080 265 617 0 158907 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 638132
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.04 4/179 20499
/proc/meminfo: memFree=31010972/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=427120 CPUtime=1242.33 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 8366449 0 0 0 122977 1256 0 0 25 0 1 0 887818315 437370880 81476 33554432000 4194304 6720400 140734239639200 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 106780 81476 265 617 0 106154 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 427120
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.04 4/179 20501
/proc/meminfo: memFree=31332356/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=216456 CPUtime=1302.33 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 8756720 0 0 0 128918 1315 0 0 25 0 1 0 887818315 221650944 48578 33554432000 4194304 6720400 140734239639200 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 54114 48579 265 617 0 53488 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 216456
[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.05 4/179 20502
/proc/meminfo: memFree=31164428/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=431780 CPUtime=1362.33 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 9132284 0 0 0 134863 1370 0 0 25 0 1 0 887818315 442142720 84070 33554432000 4194304 6720400 140734239639200 18446744073709551615 4815491 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 107945 84070 265 617 0 107319 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 431780
[startup+1422.31 s]
/proc/loadavg: 2.14 2.06 2.05 4/179 20504
/proc/meminfo: memFree=31039168/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=648760 CPUtime=1422.34 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 9504773 0 0 0 140811 1423 0 0 25 0 1 0 887818315 664330240 114299 33554432000 4194304 6720400 140734239639200 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 162190 114300 265 617 0 161564 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 648760
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.04 4/179 20505
/proc/meminfo: memFree=31299788/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=302124 CPUtime=1482.34 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 9893222 0 0 0 146751 1483 0 0 25 0 1 0 887818315 309374976 61011 33554432000 4194304 6720400 140734239639200 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 75531 61013 265 617 0 74905 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 302124
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.04 4/179 20507
/proc/meminfo: memFree=31179488/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=437300 CPUtime=1542.34 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 10260970 0 0 0 152693 1541 0 0 25 0 1 0 887818315 447795200 78399 33554432000 4194304 6720400 140734239639200 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 109325 78399 265 617 0 108699 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 437300
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.03 4/179 20509
/proc/meminfo: memFree=31045168/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=438536 CPUtime=1602.33 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 10627640 0 0 0 158641 1592 0 0 25 0 1 0 887818315 449060864 100726 33554432000 4194304 6720400 140734239639200 18446744073709551615 4805649 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 109634 100726 265 617 0 109008 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 438536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.03 4/179 20510
/proc/meminfo: memFree=31140860/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=176564 CPUtime=1662.34 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 11016230 0 0 0 164580 1654 0 0 25 0 1 0 887818315 180801536 41893 33554432000 4194304 6720400 140734239639200 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 44141 41893 265 617 0 43515 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 176564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.02 4/179 20512
/proc/meminfo: memFree=31155832/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=310928 CPUtime=1722.34 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 11385202 0 0 0 170525 1709 0 0 25 0 1 0 887818315 318390272 60064 33554432000 4194304 6720400 140734239639200 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 77732 60064 265 617 0 77106 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 310928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.02 4/179 20513
/proc/meminfo: memFree=31117360/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=444160 CPUtime=1782.34 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 11756215 0 0 0 176470 1764 0 0 25 0 1 0 887818315 454819840 87266 33554432000 4194304 6720400 140734239639200 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 111040 87266 265 617 0 110414 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 444160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.02 4/179 20514
/proc/meminfo: memFree=31172408/32951124 swapFree=67063556/67111528
[pid=20464] ppid=20462 vsize=444300 CPUtime=1800.05 cores=1,3,5,7
/proc/20464/stat : 20464 (minisatid) R 20462 20464 20281 0 -1 4202496 11866487 0 0 0 178225 1780 0 0 25 0 1 0 887818315 454963200 81135 33554432000 4194304 6720400 140734239639200 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/20464/statm: 111075 81135 265 617 0 110449 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 444300
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.07
CPU user time (s): 1782.26
CPU system time (s): 17.8153
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 738400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.26
system time used= 17.8153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11866494
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= 1357
runsolver used 2.80557 second user time and 6.24005 second system time
The end