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-3464348-1307405543/watcher-3464348-1307405543 -o /tmp/evaluation-result-3464348-1307405543/solver-3464348-1307405543 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464348-1307405543.opb --verbosity=0 --format=opb
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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.99 1.99 2/455 16191
/proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=7740 CPUtime=0 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 478 0 0 0 0 0 0 0 25 0 1 0 832970256 7925760 427 33554432000 4194304 6539028 140733901616080 18446744073709551615 4526993 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 1935 427 236 573 0 1353 0
[startup+0.0598941 s]
/proc/loadavg: 1.99 1.99 1.99 2/455 16191
/proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=11892 CPUtime=0.05 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 1522 0 0 0 5 0 0 0 25 0 1 0 832970256 12177408 1434 33554432000 4194304 6539028 140733901616080 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 2973 1434 236 573 0 2391 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11892
[startup+0.100884 s]
/proc/loadavg: 1.99 1.99 1.99 2/455 16191
/proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=16820 CPUtime=0.09 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 2807 0 0 0 9 0 0 0 25 0 1 0 832970256 17223680 2490 33554432000 4194304 6539028 140733901616080 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 4205 2493 247 573 0 3623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16820
[startup+0.300866 s]
/proc/loadavg: 1.99 1.99 1.99 2/455 16191
/proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=59128 CPUtime=0.29 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 13571 0 0 0 28 1 0 0 25 0 1 0 832970256 60547072 13032 33554432000 4194304 6539028 140733901616080 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 14782 13034 262 573 0 14200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59128
[startup+0.700752 s]
/proc/loadavg: 1.99 1.99 1.99 2/455 16191
/proc/meminfo: memFree=24356644/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=139464 CPUtime=0.69 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 33551 0 0 0 67 2 0 0 25 0 1 0 832970256 142811136 32755 33554432000 4194304 6539028 140733901616080 18446744073709551615 5624475 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34866 32755 263 573 0 34284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 139464
[startup+1.50062 s]
/proc/loadavg: 1.99 1.99 1.99 3/456 16192
/proc/meminfo: memFree=24224456/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=141008 CPUtime=1.49 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 33971 0 0 0 147 2 0 0 25 0 1 0 832970256 144392192 33175 33554432000 4194304 6539028 140733901616080 18446744073709551615 4494869 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 35252 33175 271 573 0 34670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141008
[startup+3.10033 s]
/proc/loadavg: 1.99 1.99 1.99 3/456 16192
/proc/meminfo: memFree=24223092/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=141008 CPUtime=3.09 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34020 0 0 0 307 2 0 0 25 0 1 0 832970256 144392192 33218 33554432000 4194304 6539028 140733901616080 18446744073709551615 4707650 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 35252 33218 282 573 0 34670 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141008
[startup+6.30074 s]
/proc/loadavg: 1.99 1.99 1.99 3/456 16192
/proc/meminfo: memFree=24222796/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=136652 CPUtime=6.29 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34024 0 0 0 627 2 0 0 25 0 1 0 832970256 139931648 33139 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34163 33139 282 573 0 33581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136652
[startup+12.7006 s]
/proc/loadavg: 1.99 1.99 1.99 3/456 16192
/proc/meminfo: memFree=24222680/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=136652 CPUtime=12.69 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34027 0 0 0 1267 2 0 0 25 0 1 0 832970256 139931648 33142 33554432000 4194304 6539028 140733901616080 18446744073709551615 4625692 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34163 33142 282 573 0 33581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136652
[startup+25.5002 s]
/proc/loadavg: 2.14 2.02 2.00 3/456 16193
/proc/meminfo: memFree=24222788/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=136652 CPUtime=25.49 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34030 0 0 0 2547 2 0 0 25 0 1 0 832970256 139931648 33145 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34163 33145 282 573 0 33581 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136652
[startup+51.1005 s]
/proc/loadavg: 2.09 2.02 2.00 3/456 16193
/proc/meminfo: memFree=24223560/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=51.08 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34134 0 0 0 5105 3 0 0 25 0 1 0 832970256 140365824 33249 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33249 282 573 0 33687 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 137076
[startup+102.317 s]
/proc/loadavg: 2.08 2.03 2.00 3/456 16195
/proc/meminfo: memFree=24222780/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=102.3 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 10227 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33250 282 573 0 33687 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 137076
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/456 16196
/proc/meminfo: memFree=24222112/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=162.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 16225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33250 282 573 0 33687 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 137076
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 16198
/proc/meminfo: memFree=24223448/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=222.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 22225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4282072 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33250 282 573 0 33687 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 137076
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/456 16199
/proc/meminfo: memFree=24223796/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=282.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 28225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33250 282 573 0 33687 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 137076
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/456 16201
/proc/meminfo: memFree=24223352/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=342.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34135 0 0 0 34225 3 0 0 25 0 1 0 832970256 140365824 33250 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33250 282 573 0 33687 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 137076
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16203
/proc/meminfo: memFree=24223412/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137076 CPUtime=402.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34146 0 0 0 40225 3 0 0 25 0 1 0 832970256 140365824 33259 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34269 33259 282 573 0 33687 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 137076
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16204
/proc/meminfo: memFree=24223000/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137340 CPUtime=462.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34185 0 0 0 46225 3 0 0 25 0 1 0 832970256 140636160 33298 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523865 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34335 33298 282 573 0 33753 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 137340
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16206
/proc/meminfo: memFree=24223336/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137340 CPUtime=522.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34185 0 0 0 52225 3 0 0 25 0 1 0 832970256 140636160 33298 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34335 33298 282 573 0 33753 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 137340
[startup+582.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/456 16207
/proc/meminfo: memFree=24223544/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=137340 CPUtime=582.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34185 0 0 0 58225 3 0 0 25 0 1 0 832970256 140636160 33298 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34335 33298 282 573 0 33753 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 137340
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 16218
/proc/meminfo: memFree=24221848/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=882.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34442 0 0 0 88224 4 0 0 25 0 1 0 832970256 142061568 33551 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33551 282 573 0 34101 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 138732
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 16220
/proc/meminfo: memFree=24222440/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=942.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 94224 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4494851 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33554 282 573 0 34101 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 138732
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16222
/proc/meminfo: memFree=24221812/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1002.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 100224 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33554 282 573 0 34101 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 138732
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16223
/proc/meminfo: memFree=24221032/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1062.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 106223 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33554 282 573 0 34101 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 138732
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16225
/proc/meminfo: memFree=24220844/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1122.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 112223 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4501483 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33554 282 573 0 34101 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 138732
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/456 16226
/proc/meminfo: memFree=24220688/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1182.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34445 0 0 0 118223 4 0 0 25 0 1 0 832970256 142061568 33554 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33554 282 573 0 34101 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 138732
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/456 16228
/proc/meminfo: memFree=24220260/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1242.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34451 0 0 0 124223 4 0 0 25 0 1 0 832970256 142061568 33559 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523952 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33559 282 573 0 34101 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 138732
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16230
/proc/meminfo: memFree=24220452/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1302.28 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 130224 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 138732
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/456 16231
/proc/meminfo: memFree=24221656/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1362.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 136223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524124 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 138732
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 2.01 3/456 16233
/proc/meminfo: memFree=24221740/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1422.29 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 142225 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 138732
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 16234
/proc/meminfo: memFree=24221444/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1482.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 148223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 138732
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 16236
/proc/meminfo: memFree=24221640/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1542.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 154223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 138732
[startup+1602.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/456 16238
/proc/meminfo: memFree=24221816/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1602.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 160223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 138732
[startup+1662.3 s]
/proc/loadavg: 1.91 2.02 2.00 2/450 16257
/proc/meminfo: memFree=24230160/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1662.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 166223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 138732
[startup+1722.3 s]
/proc/loadavg: 1.38 1.84 1.94 2/450 16259
/proc/meminfo: memFree=24230464/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1722.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34456 0 0 0 172223 4 0 0 25 0 1 0 832970256 142061568 33563 33554432000 4194304 6539028 140733901616080 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33563 282 573 0 34101 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 138732
[startup+1782.3 s]
/proc/loadavg: 1.14 1.69 1.88 2/450 16260
/proc/meminfo: memFree=24229532/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1782.27 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34461 0 0 0 178223 4 0 0 25 0 1 0 832970256 142061568 33568 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523586 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33568 282 573 0 34101 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 138732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.11 1.65 1.86 2/450 16261
/proc/meminfo: memFree=24230256/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1800.08 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34461 0 0 0 180004 4 0 0 25 0 1 0 832970256 142061568 33568 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33568 282 573 0 34101 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 138732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.11 1.65 1.86 2/450 16261
/proc/meminfo: memFree=24230256/32951124 swapFree=60476376/67111528
[pid=16191] ppid=16189 vsize=138732 CPUtime=1800.08 cores=0,2,4,6
/proc/16191/stat : 16191 (minisatid) R 16189 16191 14347 0 -1 4202496 34461 0 0 0 180004 4 0 0 25 0 1 0 832970256 142061568 33568 33554432000 4194304 6539028 140733901616080 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16191/statm: 34683 33568 282 573 0 34101 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 138732
Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.05
CPU system time (s): 0.050992
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 141008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3331
runsolver used 8.62069 second user time and 17.1704 second system time
The end