runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4111855-1466602174/watcher-4111855-1466602174 -o /tmp/evaluation-result-4111855-1466602174/solver-4111855-1466602174 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466586650-31753 --watchdog 1960 minisatp HOME/instance-4111855-1466602174.opb
pid=1563
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.37 2.26 2.20 3/174 1566
/proc/meminfo: memFree=30188972/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=6456 CPUtime=0 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 62264324 6610944 184 33554432000 4194304 5646918 140735957937952 140737114143928 4826286 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/1566/statm: 1614 184 94 355 0 1255 0
[startup+0.100113 s]
/proc/loadavg: 2.37 2.26 2.20 3/174 1566
/proc/meminfo: memFree=30188972/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=11892 CPUtime=0.09 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 1652 0 0 0 9 0 0 0 20 0 1 0 62264324 12177408 1528 33554432000 4194304 5646918 140735957937952 140737114143928 4953072 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/1566/statm: 2973 1529 94 355 0 2614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11892
[startup+0.200258 s]
/proc/loadavg: 2.37 2.26 2.20 3/174 1566
/proc/meminfo: memFree=30188972/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=15500 CPUtime=0.19 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 2573 0 0 0 19 0 0 0 20 0 1 0 62264324 15872000 2400 33554432000 4194304 5646918 140735957937952 140737114143928 4823255 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/1566/statm: 3875 2400 117 355 0 3516 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15500
[startup+0.300237 s]
/proc/loadavg: 2.37 2.26 2.20 3/174 1566
/proc/meminfo: memFree=30188972/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=17420 CPUtime=0.29 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 3223 0 0 0 29 0 0 0 20 0 1 0 62264324 17838080 3025 33554432000 4194304 5646918 140735957937952 140737114143928 4442032 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/1566/statm: 4355 3025 124 355 0 3996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17420
[startup+0.700199 s]
/proc/loadavg: 2.37 2.26 2.20 3/174 1566
/proc/meminfo: memFree=30188972/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=17420 CPUtime=0.68 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 3245 0 0 0 68 0 0 0 20 0 1 0 62264324 17838080 3558 33554432000 4194304 5646918 140735957937952 140735957931240 4398888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 4355 3558 145 355 0 3996 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17420
[startup+1.50025 s]
/proc/loadavg: 2.37 2.26 2.20 3/175 1567
/proc/meminfo: memFree=30170080/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=20140 CPUtime=1.48 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 3766 0 0 0 148 0 0 0 20 0 1 0 62264324 20623360 4587 33554432000 4194304 5646918 140735957937952 140735957936648 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 5035 4587 145 355 0 4676 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20140
[startup+3.10026 s]
/proc/loadavg: 2.34 2.25 2.19 3/175 1567
/proc/meminfo: memFree=30160836/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=31740 CPUtime=3.09 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 4816 0 0 0 308 1 0 0 20 0 1 0 62264324 32501760 6653 33554432000 4194304 5646918 140735957937952 140735957936648 4399419 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 7935 6653 145 355 0 7576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31740
[startup+6.30025 s]
/proc/loadavg: 2.34 2.25 2.19 4/175 1567
/proc/meminfo: memFree=30249632/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=25556 CPUtime=6.28 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 6290 0 0 0 627 1 0 0 20 0 1 0 62264324 26169344 5911 33554432000 4194304 5646918 140735957937952 140735957936088 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 6389 5912 147 355 0 6030 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25556
[startup+12.7003 s]
/proc/loadavg: 2.36 2.26 2.20 4/175 1567
/proc/meminfo: memFree=30176212/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=64316 CPUtime=12.68 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 8038 0 0 0 1266 2 0 0 20 0 1 0 62264324 65859584 14476 33554432000 4194304 5646918 140735957937952 140735957936200 4397733 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 16079 14476 147 355 0 15720 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64316
[startup+25.5003 s]
/proc/loadavg: 2.31 2.25 2.19 3/175 1567
/proc/meminfo: memFree=30174288/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=64316 CPUtime=25.48 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 8495 0 0 0 2545 3 0 0 20 0 1 0 62264324 65859584 15766 33554432000 4194304 5646918 140735957937952 140735957936664 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 16079 15766 147 355 0 15720 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64316
[startup+51.1003 s]
/proc/loadavg: 2.26 2.25 2.19 3/176 1572
/proc/meminfo: memFree=30124400/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=113636 CPUtime=51.08 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 9463 0 0 0 5101 7 0 0 20 0 1 0 62264324 116363264 27107 33554432000 4194304 5646918 140735957937952 140735957936248 4404120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 28409 27107 147 355 0 28050 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113636
[startup+102.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/175 1573
/proc/meminfo: memFree=30120584/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=64316 CPUtime=102.27 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 10631 0 0 0 10215 12 0 0 20 0 1 0 62264324 65859584 15786 33554432000 4194304 5646918 140735957937952 140735957936664 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 16079 15786 147 355 0 15720 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64316
[startup+162.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/175 1574
/proc/meminfo: memFree=30110844/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=113636 CPUtime=162.26 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 12464 0 0 0 16208 18 0 0 20 0 1 0 62264324 116363264 24566 33554432000 4194304 5646918 140735957937952 140735957936248 4402806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 28409 24566 147 355 0 28050 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 113636
[startup+222.307 s]
/proc/loadavg: 2.19 2.22 2.18 3/175 1575
/proc/meminfo: memFree=30101660/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=113636 CPUtime=222.26 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 16265 0 0 0 22200 26 0 0 20 0 1 0 62264324 116363264 28028 33554432000 4194304 5646918 140735957937952 140735957936248 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 28409 28028 147 355 0 28050 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 113636
[startup+282.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/175 1577
/proc/meminfo: memFree=30091564/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=113636 CPUtime=282.24 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 19102 0 0 0 28191 33 0 0 20 0 1 0 62264324 116363264 27638 33554432000 4194304 5646918 140735957937952 140735957936248 4402832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 28409 27638 147 355 0 28050 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 113636
[startup+342.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/175 1578
/proc/meminfo: memFree=30159772/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=95112 CPUtime=342.22 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 22814 0 0 0 34183 39 0 0 20 0 1 0 62264324 97394688 23485 33554432000 4194304 5646918 140735957937952 140735957936664 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 23778 23485 147 355 0 23419 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 95112
[startup+402.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/175 1579
/proc/meminfo: memFree=30042352/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=144432 CPUtime=402.22 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 25661 0 0 0 40176 46 0 0 20 0 1 0 62264324 147898368 34825 33554432000 4194304 5646918 140735957937952 140735957936248 4389024 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 36108 34825 147 355 0 35749 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 144432
[startup+462.3 s]
/proc/loadavg: 2.26 2.22 2.18 4/175 1580
/proc/meminfo: memFree=29940968/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=462.21 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 28994 0 0 0 46168 53 0 0 20 0 1 0 62264324 179458048 36428 33554432000 4194304 5646918 140735957937952 140735957936248 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 36428 147 355 0 43454 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 175252
[startup+522.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/175 1581
/proc/meminfo: memFree=30075776/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=95112 CPUtime=522.2 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 31066 0 0 0 52161 59 0 0 20 0 1 0 62264324 97394688 23485 33554432000 4194304 5646918 140735957937952 140735957936664 4399417 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 23778 23485 147 355 0 23419 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 95112
[startup+582.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/175 1583
/proc/meminfo: memFree=30099844/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=582.19 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 34631 0 0 0 58153 66 0 0 20 0 1 0 62264324 179458048 38988 33554432000 4194304 5646918 140735957937952 140735957936648 4399766 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 38988 147 355 0 43454 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 175252
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.18 2.20 2.18 4/175 1592
/proc/meminfo: memFree=30057508/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=144432 CPUtime=882.15 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 47820 0 0 0 88120 95 0 0 20 0 1 0 62264324 147898368 34313 33554432000 4194304 5646918 140735957937952 140735957936248 4402774 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 36108 34313 147 355 0 35749 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 144432
[startup+942.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/175 1593
/proc/meminfo: memFree=30014668/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=942.14 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 50495 0 0 0 94112 102 0 0 20 0 1 0 62264324 179458048 42572 33554432000 4194304 5646918 140735957937952 140735957936648 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 42572 147 355 0 43454 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 175252
[startup+1002.3 s]
/proc/loadavg: 2.25 2.21 2.18 4/175 1594
/proc/meminfo: memFree=29992972/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=1002.13 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 53385 0 0 0 100105 108 0 0 20 0 1 0 62264324 179458048 38988 33554432000 4194304 5646918 140735957937952 140735957936648 4403420 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 38988 147 355 0 43454 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 175252
[startup+1062.3 s]
/proc/loadavg: 2.48 2.28 2.20 4/175 1595
/proc/meminfo: memFree=30110240/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=95112 CPUtime=1062.12 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 55458 0 0 0 106098 114 0 0 20 0 1 0 62264324 97394688 23485 33554432000 4194304 5646918 140735957937952 140735957936664 4403368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 23778 23485 147 355 0 23419 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 95112
[startup+1122.3 s]
/proc/loadavg: 2.28 2.26 2.20 4/175 1596
/proc/meminfo: memFree=30032908/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=144432 CPUtime=1122.11 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 57636 0 0 0 112091 120 0 0 20 0 1 0 62264324 147898368 34313 33554432000 4194304 5646918 140735957937952 140735957936248 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 36108 34313 147 355 0 35749 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 144432
[startup+1182.3 s]
/proc/loadavg: 2.36 2.28 2.21 4/175 1599
/proc/meminfo: memFree=30077540/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=1182.09 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 61267 0 0 0 118082 127 0 0 20 0 1 0 62264324 179458048 36428 33554432000 4194304 5646918 140735957937952 140735957936248 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 36428 147 355 0 43454 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 175252
[startup+1242.3 s]
/proc/loadavg: 2.21 2.26 2.20 4/176 1603
/proc/meminfo: memFree=30090252/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=95112 CPUtime=1242.08 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 64202 0 0 0 124075 133 0 0 20 0 1 0 62264324 97394688 23485 33554432000 4194304 5646918 140735957937952 140735957936664 4388980 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 23778 23485 147 355 0 23419 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 95112
[startup+1302.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/175 1604
/proc/meminfo: memFree=29986460/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=1302.07 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 67104 0 0 0 130068 139 0 0 20 0 1 0 62264324 179458048 42061 33554432000 4194304 5646918 140735957937952 140735957936648 4399887 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 42061 147 355 0 43454 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 175252
[startup+1362.3 s]
/proc/loadavg: 2.33 2.28 2.21 4/175 1605
/proc/meminfo: memFree=30015456/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=1362.06 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 70493 0 0 0 136061 145 0 0 20 0 1 0 62264324 179458048 38989 33554432000 4194304 5646918 140735957937952 140735957936648 4400588 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 38989 147 355 0 43454 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 175252
[startup+1422.3 s]
/proc/loadavg: 2.18 2.24 2.20 3/175 1669
/proc/meminfo: memFree=30137260/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=175252 CPUtime=1422.05 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 73053 0 0 0 142055 150 0 0 20 0 1 0 62264324 179458048 41037 33554432000 4194304 5646918 140735957937952 140735957936648 4399826 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 43813 41037 147 355 0 43454 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 175252
[startup+1482.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/175 1671
/proc/meminfo: memFree=30028916/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=144432 CPUtime=1482.05 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 75354 0 0 0 148048 157 0 0 20 0 1 0 62264324 147898368 33802 33554432000 4194304 5646918 140735957937952 140735957936248 4403170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 36108 33802 147 355 0 35749 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 144432
[startup+1542.31 s]
/proc/loadavg: 2.22 2.25 2.20 4/175 1672
/proc/meminfo: memFree=30044212/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=144432 CPUtime=1542.04 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 77425 0 0 0 154042 162 0 0 20 0 1 0 62264324 147898368 32778 33554432000 4194304 5646918 140735957937952 140735957936248 4402657 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 36108 32778 147 355 0 35749 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 144432
[startup+1602.3 s]
/proc/loadavg: 2.15 2.22 2.19 3/175 1674
/proc/meminfo: memFree=29870768/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=205612 CPUtime=1602.03 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 81486 0 0 0 160034 169 0 0 20 0 1 0 62264324 210546688 47602 33554432000 4194304 5646918 140735957937952 140735957936648 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 51403 47602 147 355 0 51044 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 205612
[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/175 1675
/proc/meminfo: memFree=29946236/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=205612 CPUtime=1662.01 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 84559 0 0 0 166027 174 0 0 20 0 1 0 62264324 210546688 50709 33554432000 4194304 5646918 140735957937952 140735957936648 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 51403 50709 147 355 0 51044 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 205612
[startup+1722.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/175 1676
/proc/meminfo: memFree=29761696/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=205612 CPUtime=1722.01 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 87559 0 0 0 172021 180 0 0 20 0 1 0 62264324 210546688 47602 33554432000 4194304 5646918 140735957937952 140735957936648 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 51403 47602 147 355 0 51044 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 205612
[startup+1782.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/175 1678
/proc/meminfo: memFree=29949400/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=205612 CPUtime=1782 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 90605 0 0 0 178013 187 0 0 20 0 1 0 62264324 210546688 46578 33554432000 4194304 5646918 140735957937952 140735957936648 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 51403 46578 147 355 0 51044 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 205612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.26 2.24 2.19 3/175 1678
/proc/meminfo: memFree=29876504/32872528 swapFree=1316768/1463936
[pid=1566] ppid=1563 vsize=255700 CPUtime=1800.09 cores=0,2,4,6
/proc/1566/stat : 1566 (minisatp) R 1563 1566 31737 0 -1 4202496 91432 0 0 0 179822 187 0 0 20 0 1 0 62264324 261836800 53535 33554432000 4194304 5646918 140735957937952 140735957936648 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1566/statm: 63925 53535 147 355 0 63566 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 255700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1566 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1798.22
CPU system time (s): 1.88571
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 255700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 1.88571
maximum resident set size= 242812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91432
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= 29
involuntary context switches= 1913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70828 second user time and 6.75497 second system time
The end