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-3490691-1307773151/watcher-3490691-1307773151 -o /tmp/evaluation-result-3490691-1307773151/solver-3490691-1307773151 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490691-1307773151.opb --verbosity=0 --format=opb --randomseed=1480369523
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: 2.02 2.01 2.00 2/177 5464
/proc/meminfo: memFree=31271976/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=7852 CPUtime=0 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 468 0 0 0 0 0 0 0 25 0 1 0 869731398 8040448 420 33554432000 4194304 6720400 140734182772160 18446744073709551615 6068346 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 1963 420 231 617 0 1337 0
[startup+0.0853119 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 5464
/proc/meminfo: memFree=31271976/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=14764 CPUtime=0.08 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 2216 0 0 0 8 0 0 0 25 0 1 0 869731398 15118336 2168 33554432000 4194304 6720400 140734182772160 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 3691 2169 231 617 0 3065 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14764
[startup+0.100318 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 5464
/proc/meminfo: memFree=31271976/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=16044 CPUtime=0.09 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 2537 0 0 0 9 0 0 0 25 0 1 0 869731398 16429056 2489 33554432000 4194304 6720400 140734182772160 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 4011 2490 231 617 0 3385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044
[startup+0.300283 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 5464
/proc/meminfo: memFree=31271976/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=32940 CPUtime=0.28 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 6769 0 0 0 28 0 0 0 25 0 1 0 869731398 33730560 6721 33554432000 4194304 6720400 140734182772160 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 8235 6722 231 617 0 7609 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32940
[startup+0.700202 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 5464
/proc/meminfo: memFree=31271976/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=77400 CPUtime=0.69 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 18130 0 0 0 67 2 0 0 25 0 1 0 869731398 79257600 17598 33554432000 4194304 6720400 140734182772160 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 19350 17600 245 617 0 18724 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77400
[startup+1.50103 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5465
/proc/meminfo: memFree=31125432/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=178572 CPUtime=1.49 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 43624 0 0 0 145 4 0 0 25 0 1 0 869731398 182857728 43092 33554432000 4194304 6720400 140734182772160 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 44643 43092 257 617 0 44017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178572
[startup+3.10078 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5465
/proc/meminfo: memFree=31068028/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=185712 CPUtime=3.09 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 46392 0 0 0 305 4 0 0 25 0 1 0 869731398 190169088 45859 33554432000 4194304 6720400 140734182772160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 46428 45859 265 617 0 45802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185712
[startup+6.3002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5465
/proc/meminfo: memFree=31024116/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=224748 CPUtime=6.29 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 65917 0 0 0 622 7 0 0 25 0 1 0 869731398 230141952 51498 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 56187 51498 266 617 0 55561 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224748
[startup+12.7011 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5465
/proc/meminfo: memFree=31004660/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=260452 CPUtime=12.69 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 107925 0 0 0 1257 12 0 0 25 0 1 0 869731398 266702848 59727 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 65113 59727 266 617 0 64487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 260452
[startup+25.5008 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5466
/proc/meminfo: memFree=30919400/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=293236 CPUtime=25.49 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 225119 0 0 0 2521 28 0 0 25 0 1 0 869731398 300273664 71900 33554432000 4194304 6720400 140734182772160 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 73309 71900 266 617 0 72683 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 293236
[startup+51.1012 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5467
/proc/meminfo: memFree=30918544/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=324056 CPUtime=51.09 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 397147 0 0 0 5061 48 0 0 25 0 1 0 869731398 331833344 73408 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 81014 73408 266 617 0 80388 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 324056
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5468
/proc/meminfo: memFree=30843372/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=392820 CPUtime=102.3 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 709583 0 0 0 10144 86 0 0 25 0 1 0 869731398 402247680 88367 33554432000 4194304 6720400 140734182772160 18446744073709551615 4805817 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 98205 88367 266 617 0 97579 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 392820
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5469
/proc/meminfo: memFree=30844692/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=392820 CPUtime=162.29 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 1090310 0 0 0 16096 133 0 0 25 0 1 0 869731398 402247680 88250 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 98205 88250 266 617 0 97579 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 392820
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5471
/proc/meminfo: memFree=30777184/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=474208 CPUtime=222.3 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 1441761 0 0 0 22051 179 0 0 25 0 1 0 869731398 485588992 97928 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 118552 97928 266 617 0 117926 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 474208
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5473
/proc/meminfo: memFree=30694924/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=373300 CPUtime=282.29 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 1846972 0 0 0 27997 232 0 0 25 0 1 0 869731398 382259200 87432 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 93325 87432 266 617 0 92699 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 373300
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5476
/proc/meminfo: memFree=30710256/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=431752 CPUtime=342.3 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 2132571 0 0 0 33961 269 0 0 25 0 1 0 869731398 442114048 93388 33554432000 4194304 6720400 140734182772160 18446744073709551615 4819890 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 107938 93388 266 617 0 107312 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 431752
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5479
/proc/meminfo: memFree=30731364/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=448032 CPUtime=402.3 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 2482925 0 0 0 39916 314 0 0 25 0 1 0 869731398 458784768 100321 33554432000 4194304 6720400 140734182772160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 112008 100321 266 617 0 111382 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 448032
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5480
/proc/meminfo: memFree=30668580/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=452708 CPUtime=462.3 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 2829014 0 0 0 45875 355 0 0 25 0 1 0 869731398 463572992 106663 33554432000 4194304 6720400 140734182772160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 113177 106663 266 617 0 112551 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 452708
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5482
/proc/meminfo: memFree=30646720/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=546360 CPUtime=522.31 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 3297947 0 0 0 51816 415 0 0 25 0 1 0 869731398 559472640 117698 33554432000 4194304 6720400 140734182772160 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 136590 117700 266 617 0 135964 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 546360
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5484
/proc/meminfo: memFree=30599788/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=550152 CPUtime=582.31 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 3590637 0 0 0 57776 455 0 0 25 0 1 0 869731398 563355648 117876 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 137538 117876 266 617 0 136912 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 550152
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5490
/proc/meminfo: memFree=30537984/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=494776 CPUtime=822.31 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 4825878 0 0 0 81615 616 0 0 25 0 1 0 869731398 506650624 116629 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 123694 116629 266 617 0 123068 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 494776
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5492
/proc/meminfo: memFree=30509676/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=577808 CPUtime=882.31 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 5136455 0 0 0 87577 654 0 0 25 0 1 0 869731398 591675392 127519 33554432000 4194304 6720400 140734182772160 18446744073709551615 4806516 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 144452 127519 266 617 0 143826 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 577808
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5493
/proc/meminfo: memFree=30588004/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=579892 CPUtime=942.32 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 5425616 0 0 0 93540 692 0 0 25 0 1 0 869731398 593809408 121126 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 144973 121126 266 617 0 144347 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 579892
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5495
/proc/meminfo: memFree=30552752/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=600492 CPUtime=1002.32 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 5880797 0 0 0 99479 753 0 0 25 0 1 0 869731398 614903808 124242 33554432000 4194304 6720400 140734182772160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 150123 124242 266 617 0 149497 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 600492
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5496
/proc/meminfo: memFree=30554812/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=519296 CPUtime=1062.31 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 6356294 0 0 0 105418 813 0 0 25 0 1 0 869731398 531759104 118828 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 129824 118828 266 617 0 129198 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 519296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5498
/proc/meminfo: memFree=30450232/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=602296 CPUtime=1122.32 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 6656069 0 0 0 111381 851 0 0 25 0 1 0 869731398 616751104 136560 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 150574 136560 266 617 0 149948 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 602296
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5500
/proc/meminfo: memFree=30565768/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=522424 CPUtime=1182.32 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 6959236 0 0 0 117340 892 0 0 25 0 1 0 869731398 534962176 112641 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 130606 112641 266 617 0 129980 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 522424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5501
/proc/meminfo: memFree=30467276/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=606560 CPUtime=1242.32 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 7253872 0 0 0 123303 929 0 0 25 0 1 0 869731398 621117440 133735 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 151640 133735 266 617 0 151014 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 606560
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5503
/proc/meminfo: memFree=30475052/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=620404 CPUtime=1302.33 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 7582037 0 0 0 129258 975 0 0 25 0 1 0 869731398 635293696 138912 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 155101 138912 266 617 0 154475 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 620404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5504
/proc/meminfo: memFree=30489636/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=539776 CPUtime=1362.33 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 7880040 0 0 0 135221 1012 0 0 25 0 1 0 869731398 552730624 118809 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 134944 118809 266 617 0 134318 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 539776
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5506
/proc/meminfo: memFree=30497148/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=540628 CPUtime=1422.34 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 8163681 0 0 0 141183 1051 0 0 25 0 1 0 869731398 553603072 125353 33554432000 4194304 6720400 140734182772160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 135157 125353 266 617 0 134531 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 540628
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5508
/proc/meminfo: memFree=30483464/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=623724 CPUtime=1482.32 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 8469608 0 0 0 147142 1090 0 0 25 0 1 0 869731398 638693376 133826 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 155931 133826 266 617 0 155305 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 623724
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5509
/proc/meminfo: memFree=30458988/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=625148 CPUtime=1542.33 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 8877474 0 0 0 153092 1141 0 0 25 0 1 0 869731398 640151552 141832 33554432000 4194304 6720400 140734182772160 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 156287 141833 266 617 0 155661 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 625148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5511
/proc/meminfo: memFree=30515000/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=545656 CPUtime=1602.33 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 9153880 0 0 0 159057 1176 0 0 25 0 1 0 869731398 558751744 126841 33554432000 4194304 6720400 140734182772160 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 136414 126841 266 617 0 135788 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 545656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5512
/proc/meminfo: memFree=30464116/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=627612 CPUtime=1662.33 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 9402358 0 0 0 165022 1211 0 0 25 0 1 0 869731398 642674688 131844 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 156903 131844 266 617 0 156277 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 627612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5514
/proc/meminfo: memFree=30504616/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=628844 CPUtime=1722.34 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 9688179 0 0 0 170980 1254 0 0 25 0 1 0 869731398 643936256 130546 33554432000 4194304 6720400 140734182772160 18446744073709551615 4805719 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 157211 130546 266 617 0 156585 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 628844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5516
/proc/meminfo: memFree=30478900/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=549352 CPUtime=1782.34 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 10022665 0 0 0 176935 1299 0 0 25 0 1 0 869731398 562536448 130147 33554432000 4194304 6720400 140734182772160 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 137338 130147 266 617 0 136712 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 549352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 5555
/proc/meminfo: memFree=31012328/32951124 swapFree=67050916/67111528
[pid=5464] ppid=5462 vsize=550776 CPUtime=1800.05 cores=0,2,4,6
/proc/5464/stat : 5464 (minisatid) R 5462 5464 4338 0 -1 4202496 10105467 0 0 0 178693 1312 0 0 25 0 1 0 869731398 563994624 119078 33554432000 4194304 6720400 140734182772160 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5464/statm: 137694 119078 266 617 0 137068 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 550776
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.93
CPU system time (s): 13.138
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 710880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.93
system time used= 13.138
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10105472
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= 1506
runsolver used 2.68959 second user time and 5.50816 second system time
The end