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-3490404-1307782936/watcher-3490404-1307782936 -o /tmp/evaluation-result-3490404-1307782936/solver-3490404-1307782936 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490404-1307782936.opb --verbosity=0 --format=opb --randomseed=1742292880
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.95 1/170 18442
/proc/meminfo: memFree=31639988/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=7708 CPUtime=0 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 462 0 0 0 0 0 0 0 25 0 1 0 889892239 7892992 415 33554432000 4194304 6720400 140735399633200 18446744073709551615 4434112 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/18442/statm: 1927 415 255 617 0 1301 0
[startup+0.039752 s]
/proc/loadavg: 1.84 1.97 1.95 1/170 18442
/proc/meminfo: memFree=31639988/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=7712 CPUtime=0.03 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 568 0 0 0 3 0 0 0 25 0 1 0 889892239 7897088 518 33554432000 4194304 6720400 140735399633200 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 1928 518 263 617 0 1302 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7712
[startup+0.100751 s]
/proc/loadavg: 1.84 1.97 1.95 1/170 18442
/proc/meminfo: memFree=31639988/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=7844 CPUtime=0.09 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 735 0 0 0 9 0 0 0 25 0 1 0 889892239 8032256 681 33554432000 4194304 6720400 140735399633200 18446744073709551615 4715193 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 1961 681 263 617 0 1335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7844
[startup+0.300718 s]
/proc/loadavg: 1.84 1.97 1.95 1/170 18442
/proc/meminfo: memFree=31639988/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=8004 CPUtime=0.29 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 1250 0 0 0 29 0 0 0 25 0 1 0 889892239 8196096 1176 33554432000 4194304 6720400 140735399633200 18446744073709551615 4811694 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 2001 1176 263 617 0 1375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8004
[startup+0.700647 s]
/proc/loadavg: 1.84 1.97 1.95 1/170 18442
/proc/meminfo: memFree=31639988/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=6688 CPUtime=0.69 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 2539 0 0 0 69 0 0 0 25 0 1 0 889892239 6848512 1029 33554432000 4194304 6720400 140735399633200 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 1672 1030 264 617 0 1046 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6688
[startup+1.50051 s]
/proc/loadavg: 1.84 1.97 1.95 4/176 18457
/proc/meminfo: memFree=31627140/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=9432 CPUtime=1.49 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 3436 0 0 0 149 0 0 0 25 0 1 0 889892239 9658368 1910 33554432000 4194304 6720400 140735399633200 18446744073709551615 4595166 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 2358 1910 264 617 0 1732 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9432
[startup+3.10024 s]
/proc/loadavg: 1.84 1.97 1.95 4/176 18457
/proc/meminfo: memFree=31624172/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=13784 CPUtime=3.09 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 3631 0 0 0 309 0 0 0 25 0 1 0 889892239 14114816 2094 33554432000 4194304 6720400 140735399633200 18446744073709551615 4803101 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 3446 2094 264 617 0 2820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13784
[startup+6.30068 s]
/proc/loadavg: 1.85 1.97 1.95 3/176 18457
/proc/meminfo: memFree=31616604/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=13784 CPUtime=6.29 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 4568 0 0 0 628 1 0 0 25 0 1 0 889892239 14114816 2999 33554432000 4194304 6720400 140735399633200 18446744073709551615 4803156 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 3446 2999 264 617 0 2820 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13784
[startup+12.7006 s]
/proc/loadavg: 1.86 1.97 1.95 3/176 18457
/proc/meminfo: memFree=31607968/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=20996 CPUtime=12.69 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 7314 0 0 0 1268 1 0 0 25 0 1 0 889892239 21499904 4532 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 5249 4532 264 617 0 4623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20996
[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 1.95 3/176 18495
/proc/meminfo: memFree=31604736/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=28340 CPUtime=25.49 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 11775 0 0 0 2548 1 0 0 25 0 1 0 889892239 29020160 6419 33554432000 4194304 6720400 140735399633200 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 7085 6419 264 617 0 6459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28340
[startup+51.101 s]
/proc/loadavg: 1.93 1.97 1.95 3/176 18535
/proc/meminfo: memFree=31412448/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=35588 CPUtime=51.09 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 23006 0 0 0 5106 3 0 0 25 0 1 0 889892239 36442112 8443 33554432000 4194304 6720400 140735399633200 18446744073709551615 5718516 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 8897 8443 264 617 0 8271 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35588
[startup+102.306 s]
/proc/loadavg: 2.02 1.99 1.95 3/176 18535
/proc/meminfo: memFree=31393936/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=35588 CPUtime=102.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 23018 0 0 0 10227 3 0 0 25 0 1 0 889892239 36442112 8455 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820039 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 8897 8455 264 617 0 8271 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 35588
[startup+162.301 s]
/proc/loadavg: 2.01 1.99 1.95 3/176 18537
/proc/meminfo: memFree=31397272/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=43040 CPUtime=162.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 23030 0 0 0 16227 3 0 0 25 0 1 0 889892239 44072960 8467 33554432000 4194304 6720400 140735399633200 18446744073709551615 4613440 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 10760 8467 264 617 0 10134 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 43040
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/176 18539
/proc/meminfo: memFree=31388576/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=43040 CPUtime=222.29 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 24959 0 0 0 22226 3 0 0 25 0 1 0 889892239 44072960 10333 33554432000 4194304 6720400 140735399633200 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 10760 10333 264 617 0 10134 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 43040
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/176 18544
/proc/meminfo: memFree=31386464/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=43040 CPUtime=282.29 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 24959 0 0 0 28226 3 0 0 25 0 1 0 889892239 44072960 10333 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 10760 10333 264 617 0 10134 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 43040
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/176 18546
/proc/meminfo: memFree=31382788/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=47776 CPUtime=342.29 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 26007 0 0 0 34226 3 0 0 25 0 1 0 889892239 48922624 11329 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 11944 11329 264 617 0 11318 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 47776
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/176 18546
/proc/meminfo: memFree=31373840/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=47776 CPUtime=402.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 26113 0 0 0 40226 4 0 0 25 0 1 0 889892239 48922624 11432 33554432000 4194304 6720400 140735399633200 18446744073709551615 4621615 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 11944 11432 264 617 0 11318 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 47776
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/176 18548
/proc/meminfo: memFree=31369480/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=47776 CPUtime=462.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 26113 0 0 0 46226 4 0 0 25 0 1 0 889892239 48922624 11432 33554432000 4194304 6720400 140735399633200 18446744073709551615 4617000 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 11944 11432 264 617 0 11318 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 47776
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/176 18550
/proc/meminfo: memFree=31366096/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=47776 CPUtime=522.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 26114 0 0 0 52226 4 0 0 25 0 1 0 889892239 48922624 11433 33554432000 4194304 6720400 140735399633200 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 11944 11433 264 617 0 11318 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 47776
[startup+582.301 s]
/proc/loadavg: 2.04 2.00 1.96 3/176 18552
/proc/meminfo: memFree=31365952/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=47776 CPUtime=582.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 26114 0 0 0 58226 4 0 0 25 0 1 0 889892239 48922624 11433 33554432000 4194304 6720400 140735399633200 18446744073709551615 4616734 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 11944 11433 264 617 0 11318 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 47776
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31334816/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1182.3 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 34122 0 0 0 118226 4 0 0 25 0 1 0 889892239 80850944 16319 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 16319 264 617 0 19113 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 78956
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18570
/proc/meminfo: memFree=31327732/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1242.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 35952 0 0 0 124226 5 0 0 25 0 1 0 889892239 80850944 18087 33554432000 4194304 6720400 140735399633200 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 18087 264 617 0 19113 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 78956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18570
/proc/meminfo: memFree=31327584/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1302.32 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 35952 0 0 0 130227 5 0 0 25 0 1 0 889892239 80850944 18087 33554432000 4194304 6720400 140735399633200 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 18087 264 617 0 19113 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 78956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18572
/proc/meminfo: memFree=31327680/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1362.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 35952 0 0 0 136226 5 0 0 25 0 1 0 889892239 80850944 18087 33554432000 4194304 6720400 140735399633200 18446744073709551615 4616752 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 18087 264 617 0 19113 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 78956
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18574
/proc/meminfo: memFree=31326408/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1422.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 36239 0 0 0 142226 5 0 0 25 0 1 0 889892239 80850944 18365 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 18365 264 617 0 19113 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 78956
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18576
/proc/meminfo: memFree=31313992/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1482.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 36483 0 0 0 148226 5 0 0 25 0 1 0 889892239 80850944 18595 33554432000 4194304 6720400 140735399633200 18446744073709551615 4714448 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 18595 264 617 0 19113 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 78956
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18578
/proc/meminfo: memFree=31309636/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=78956 CPUtime=1542.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 41653 0 0 0 154225 6 0 0 25 0 1 0 889892239 80850944 18887 33554432000 4194304 6720400 140735399633200 18446744073709551615 4622467 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 19739 18887 264 617 0 19113 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 78956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18578
/proc/meminfo: memFree=31297472/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1602.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 44882 0 0 0 160225 6 0 0 25 0 1 0 889892239 122486784 21999 33554432000 4194304 6720400 140735399633200 18446744073709551615 4811665 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 21999 264 617 0 29278 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 119616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18580
/proc/meminfo: memFree=31292364/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1662.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 44882 0 0 0 166225 6 0 0 25 0 1 0 889892239 122486784 21999 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 21999 264 617 0 29278 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 119616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18582
/proc/meminfo: memFree=31291848/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1722.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 172225 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 119616
Solver just ended. Dumping a history of the last processes samples
[startup+1740.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18582
/proc/meminfo: memFree=31291712/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1740.71 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 174065 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1740.71
Current children cumulated vsize (KiB) 119616
[startup+1753.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18582
/proc/meminfo: memFree=31291712/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1753.51 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 175345 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 5732833 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1753.51
Current children cumulated vsize (KiB) 119616
[startup+1759.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31291712/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1759.92 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 175986 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1759.92
Current children cumulated vsize (KiB) 119616
[startup+1766.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31260708/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1766.31 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 176625 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4595172 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1766.31
Current children cumulated vsize (KiB) 119616
[startup+1767.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31258848/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1767.91 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 176785 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4630633 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1767.91
Current children cumulated vsize (KiB) 119616
[startup+1769.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31291708/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1769.51 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 176945 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4811656 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1769.51
Current children cumulated vsize (KiB) 119616
[startup+1769.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31291708/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1769.92 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 176986 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4431753 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1769.92
Current children cumulated vsize (KiB) 119616
[startup+1770.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31291708/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1770.11 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 177005 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4803118 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1770.11
Current children cumulated vsize (KiB) 119616
[startup+1770.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18584
/proc/meminfo: memFree=31291708/32951132 swapFree=67052544/67111528
[pid=18442] ppid=18440 vsize=119616 CPUtime=1770.21 cores=1,3,5,7
/proc/18442/stat : 18442 (minisatid) R 18440 18442 16337 0 -1 4202496 45017 0 0 0 177015 6 0 0 25 0 1 0 889892239 122486784 22125 33554432000 4194304 6720400 140735399633200 18446744073709551615 4803331 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/18442/statm: 29904 22125 264 617 0 29278 0
Current children cumulated CPU time (s) 1770.21
Current children cumulated vsize (KiB) 119616
Child status: 10
Real time (s): 1770.21
CPU time (s): 1770.23
CPU user time (s): 1770.16
CPU system time (s): 0.069989
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 119616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.16
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45022
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= 5116
runsolver used 2.34664 second user time and 5.71113 second system time
The end