runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3464356-1307405693/watcher-3464356-1307405693 -o /tmp/evaluation-result-3464356-1307405693/solver-3464356-1307405693 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464356-1307405693.opb --verbosity=0 --format=opb
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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14649
/proc/meminfo: memFree=31612580/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=8068 CPUtime=0 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 554 0 0 0 0 0 0 0 22 0 1 0 852167236 8261632 503 33554432000 4194304 6539028 140734295203504 18446744073709551615 4276326 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 2017 504 236 573 0 1435 0
[startup+0.092719 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14649
/proc/meminfo: memFree=31612580/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=25732 CPUtime=0.08 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 4997 0 0 0 8 0 0 0 22 0 1 0 852167236 26349568 4913 33554432000 4194304 6539028 140734295203504 18446744073709551615 4639743 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 6433 4914 241 573 0 5851 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25732
[startup+0.100711 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14649
/proc/meminfo: memFree=31612580/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=25732 CPUtime=0.09 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 5021 0 0 0 9 0 0 0 23 0 1 0 852167236 26349568 4936 33554432000 4194304 6539028 140734295203504 18446744073709551615 5440321 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 6433 4936 251 573 0 5851 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25732
[startup+0.30068 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14649
/proc/meminfo: memFree=31612580/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62100 CPUtime=0.29 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14153 0 0 0 28 1 0 0 23 0 1 0 852167236 63590400 14003 33554432000 4194304 6539028 140734295203504 18446744073709551615 5085111 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15525 14003 253 573 0 14943 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62100
[startup+0.700619 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14649
/proc/meminfo: memFree=31612580/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62492 CPUtime=0.69 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14269 0 0 0 68 1 0 0 25 0 1 0 852167236 63991808 14119 33554432000 4194304 6539028 140734295203504 18446744073709551615 4715641 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15623 14119 260 573 0 15041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62492
[startup+1.50046 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 14650
/proc/meminfo: memFree=31556152/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62492 CPUtime=1.49 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14314 0 0 0 148 1 0 0 25 0 1 0 852167236 63991808 14160 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524062 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15623 14160 270 573 0 15041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62492
[startup+3.10017 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 14650
/proc/meminfo: memFree=31554824/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=58316 CPUtime=3.09 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14365 0 0 0 308 1 0 0 25 0 1 0 852167236 59715584 14144 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14579 14144 270 573 0 13997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58316
[startup+6.30058 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 14650
/proc/meminfo: memFree=31554700/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=58316 CPUtime=6.29 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14367 0 0 0 628 1 0 0 25 0 1 0 852167236 59715584 14146 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14579 14146 270 573 0 13997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58316
[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/454 14650
/proc/meminfo: memFree=31553692/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=58700 CPUtime=12.69 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14389 0 0 0 1268 1 0 0 25 0 1 0 852167236 60108800 14167 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14675 14167 270 573 0 14093 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58700
[startup+25.5011 s]
/proc/loadavg: 2.03 2.02 2.00 3/454 14651
/proc/meminfo: memFree=31554188/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=58700 CPUtime=25.49 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14424 0 0 0 2548 1 0 0 25 0 1 0 852167236 60108800 14198 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523981 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14675 14198 270 573 0 14093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58700
[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 14651
/proc/meminfo: memFree=31553748/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=58700 CPUtime=51.09 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14443 0 0 0 5108 1 0 0 25 0 1 0 852167236 60108800 14217 33554432000 4194304 6539028 140734295203504 18446744073709551615 4501525 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14675 14217 270 573 0 14093 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58700
[startup+102.317 s]
/proc/loadavg: 2.06 2.03 2.00 3/454 14653
/proc/meminfo: memFree=31552872/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=58832 CPUtime=102.31 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14495 0 0 0 10230 1 0 0 25 0 1 0 852167236 60243968 14269 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14708 14269 270 573 0 14126 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 58832
[startup+162.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/454 14654
/proc/meminfo: memFree=31552980/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=59716 CPUtime=162.29 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14557 0 0 0 16228 1 0 0 25 0 1 0 852167236 61149184 14329 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523860 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14929 14329 270 573 0 14347 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 59716
[startup+222.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/454 14656
/proc/meminfo: memFree=31553696/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=59716 CPUtime=222.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14602 0 0 0 22229 1 0 0 25 0 1 0 852167236 61149184 14370 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 14929 14370 270 573 0 14347 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 59716
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/454 14658
/proc/meminfo: memFree=31553056/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=60192 CPUtime=282.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14764 0 0 0 28229 1 0 0 25 0 1 0 852167236 61636608 14531 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15048 14531 270 573 0 14466 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 60192
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 14659
/proc/meminfo: memFree=31553040/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=60192 CPUtime=342.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14779 0 0 0 34229 1 0 0 25 0 1 0 852167236 61636608 14546 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15048 14546 270 573 0 14466 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 60192
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 14661
/proc/meminfo: memFree=31553008/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=60192 CPUtime=402.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14794 0 0 0 40229 1 0 0 25 0 1 0 852167236 61636608 14561 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15048 14561 270 573 0 14466 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 60192
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14662
/proc/meminfo: memFree=31552988/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=60192 CPUtime=462.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 14807 0 0 0 46229 1 0 0 25 0 1 0 852167236 61636608 14574 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15048 14574 270 573 0 14466 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 60192
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14664
/proc/meminfo: memFree=31551844/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=522.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15081 0 0 0 52229 1 0 0 25 0 1 0 852167236 62672896 14846 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15301 14846 270 573 0 14719 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 61204
[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 14666
/proc/meminfo: memFree=31551452/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=582.3 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15083 0 0 0 58229 1 0 0 25 0 1 0 852167236 62672896 14848 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523966 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/14649/statm: 15301 14848 270 573 0 14719 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 61204
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 14672
/proc/meminfo: memFree=31552116/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=822.31 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15090 0 0 0 82230 1 0 0 25 0 1 0 852167236 62672896 14855 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14855 270 573 0 14719 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 61204
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14674
/proc/meminfo: memFree=31551220/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=882.31 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 88230 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523574 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 61204
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 14675
/proc/meminfo: memFree=31551696/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=942.31 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 94230 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 61204
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/454 14677
/proc/meminfo: memFree=31551544/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=1002.31 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 100230 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 61204
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 14678
/proc/meminfo: memFree=31551640/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=1062.32 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 106231 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 61204
[startup+1122.3 s]
/proc/loadavg: 2.21 2.06 2.01 3/454 14680
/proc/meminfo: memFree=31551240/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=1122.32 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 112231 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523597 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 61204
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 14682
/proc/meminfo: memFree=31549848/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=1182.32 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 118231 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4718200 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 61204
[startup+1242.3 s]
/proc/loadavg: 1.68 1.96 1.98 2/448 14701
/proc/meminfo: memFree=31557092/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=1242.32 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15092 0 0 0 124231 1 0 0 25 0 1 0 852167236 62672896 14857 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14857 270 573 0 14719 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 61204
[startup+1302.3 s]
/proc/loadavg: 1.30 1.80 1.92 2/448 14703
/proc/meminfo: memFree=31557072/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=61204 CPUtime=1302.33 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15095 0 0 0 130232 1 0 0 25 0 1 0 852167236 62672896 14860 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15301 14860 270 573 0 14719 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 61204
[startup+1362.3 s]
/proc/loadavg: 1.15 1.67 1.87 2/448 14704
/proc/meminfo: memFree=31557044/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1362.33 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15106 0 0 0 136232 1 0 0 25 0 1 0 852167236 64360448 14871 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523524 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 14871 270 573 0 15131 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 62852
[startup+1422.32 s]
/proc/loadavg: 1.05 1.54 1.81 2/448 14706
/proc/meminfo: memFree=31557144/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1422.34 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15106 0 0 0 142233 1 0 0 25 0 1 0 852167236 64360448 14871 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 14871 270 573 0 15131 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 62852
[startup+1482.3 s]
/proc/loadavg: 1.02 1.45 1.76 2/448 14708
/proc/meminfo: memFree=31557120/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1482.33 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15106 0 0 0 148232 1 0 0 25 0 1 0 852167236 64360448 14871 33554432000 4194304 6539028 140734295203504 18446744073709551615 4501483 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 14871 270 573 0 15131 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 62852
[startup+1542.3 s]
/proc/loadavg: 1.00 1.36 1.70 2/448 14709
/proc/meminfo: memFree=31557340/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1542.33 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15256 0 0 0 154232 1 0 0 25 0 1 0 852167236 64360448 15020 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 15020 270 573 0 15131 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 62852
[startup+1602.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/448 14711
/proc/meminfo: memFree=31557440/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1602.33 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15256 0 0 0 160232 1 0 0 25 0 1 0 852167236 64360448 15020 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 15020 270 573 0 15131 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 62852
[startup+1662.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/448 14713
/proc/meminfo: memFree=31557908/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1662.33 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15256 0 0 0 166232 1 0 0 25 0 1 0 852167236 64360448 15020 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 15020 270 573 0 15131 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 62852
[startup+1722.3 s]
/proc/loadavg: 1.00 1.19 1.57 2/448 14714
/proc/meminfo: memFree=31557516/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1722.34 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15256 0 0 0 172233 1 0 0 25 0 1 0 852167236 64360448 15020 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 15020 270 573 0 15131 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 62852
[startup+1782.3 s]
/proc/loadavg: 1.04 1.17 1.54 2/448 14716
/proc/meminfo: memFree=31556392/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1782.34 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15256 0 0 0 178233 1 0 0 25 0 1 0 852167236 64360448 15020 33554432000 4194304 6539028 140734295203504 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 15020 270 573 0 15131 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 62852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.03 1.16 1.53 2/448 14716
/proc/meminfo: memFree=31557248/32951124 swapFree=55639044/67111528
[pid=14649] ppid=14647 vsize=62852 CPUtime=1800.05 cores=1,3,5,7
/proc/14649/stat : 14649 (minisatid) R 14647 14649 12526 0 -1 4202496 15256 0 0 0 180004 1 0 0 25 0 1 0 852167236 64360448 15020 33554432000 4194304 6539028 140734295203504 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14649/statm: 15713 15020 270 573 0 15131 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 62852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.05
CPU system time (s): 0.019996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 62852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15259
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= 13465
runsolver used 7.40287 second user time and 18.7442 second system time
The end