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-3463372-1307174890/watcher-3463372-1307174890 -o /tmp/evaluation-result-3463372-1307174890/solver-3463372-1307174890 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463372-1307174890.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.61 1.92 1.97 4/326 28494
/proc/meminfo: memFree=24137296/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 442 0 0 0 0 0 0 0 19 0 1 0 907719555 11599872 376 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 2832 376 186 642 0 2188 0
[startup+0.092063 s]
/proc/loadavg: 1.61 1.92 1.97 4/326 28494
/proc/meminfo: memFree=24137296/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=11572 CPUtime=0.08 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 518 0 0 0 8 0 0 0 19 0 1 0 907719555 11849728 452 33554432000 134512640 137138936 4294693248 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 2893 452 192 642 0 2249 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11572
[startup+0.101073 s]
/proc/loadavg: 1.61 1.92 1.97 4/326 28494
/proc/meminfo: memFree=24137296/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 527 0 0 0 9 0 0 0 19 0 1 0 907719555 11849728 461 33554432000 134512640 137138936 4294693248 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 2893 461 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.301023 s]
/proc/loadavg: 1.61 1.92 1.97 4/326 28494
/proc/meminfo: memFree=24137296/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=12188 CPUtime=0.29 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 676 0 0 0 29 0 0 0 20 0 1 0 907719555 12480512 610 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 3047 610 192 642 0 2403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12188
[startup+0.700949 s]
/proc/loadavg: 1.61 1.92 1.97 4/326 28494
/proc/meminfo: memFree=24137296/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=13180 CPUtime=0.69 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 911 0 0 0 68 1 0 0 20 0 1 0 907719555 13496320 845 33554432000 134512640 137138936 4294693248 18446744073709551615 134576438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 3295 845 192 642 0 2651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13180
[startup+1.5008 s]
/proc/loadavg: 1.61 1.92 1.97 3/328 28496
/proc/meminfo: memFree=24130184/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=13424 CPUtime=1.49 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 995 0 0 0 148 1 0 0 23 0 1 0 907719555 13746176 929 33554432000 134512640 137138936 4294693248 18446744073709551615 134575115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 3356 929 192 642 0 2712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13424
[startup+3.10053 s]
/proc/loadavg: 1.64 1.92 1.97 3/328 28496
/proc/meminfo: memFree=24127616/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=14044 CPUtime=3.09 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 1135 0 0 0 308 1 0 0 25 0 1 0 907719555 14381056 1069 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 3511 1069 192 642 0 2867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14044
[startup+6.30092 s]
/proc/loadavg: 1.64 1.92 1.97 3/328 28523
/proc/meminfo: memFree=24127856/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=14408 CPUtime=6.29 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 1229 0 0 0 627 2 0 0 25 0 1 0 907719555 14753792 1163 33554432000 134512640 137138936 4294693248 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14408
[startup+12.7007 s]
/proc/loadavg: 1.69 1.92 1.97 3/328 28523
/proc/meminfo: memFree=24126112/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=15396 CPUtime=12.69 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 1477 0 0 0 1265 4 0 0 25 0 1 0 907719555 15765504 1411 33554432000 134512640 137138936 4294693248 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 3849 1411 192 642 0 3205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15396
[startup+25.5004 s]
/proc/loadavg: 1.74 1.92 1.97 3/328 28523
/proc/meminfo: memFree=24123700/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=16120 CPUtime=25.49 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 1647 0 0 0 2542 7 0 0 25 0 1 0 907719555 16506880 1581 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 4030 1581 192 642 0 3386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16120
[startup+51.1007 s]
/proc/loadavg: 1.83 1.93 1.97 3/328 28524
/proc/meminfo: memFree=24122628/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=17052 CPUtime=51.09 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 1888 0 0 0 5095 14 0 0 25 0 1 0 907719555 17461248 1822 33554432000 134512640 137138936 4294693248 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 4263 1822 192 642 0 3619 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17052
[startup+102.311 s]
/proc/loadavg: 1.93 1.94 1.97 3/328 28525
/proc/meminfo: memFree=24119740/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=18160 CPUtime=102.3 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2170 0 0 0 10205 25 0 0 25 0 1 0 907719555 18595840 2104 33554432000 134512640 137138936 4294693248 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 4540 2104 192 642 0 3896 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18160
[startup+162.3 s]
/proc/loadavg: 2.17 1.99 1.98 3/328 28527
/proc/meminfo: memFree=24117956/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=19272 CPUtime=162.29 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2449 0 0 0 16194 35 0 0 25 0 1 0 907719555 19734528 2383 33554432000 134512640 137138936 4294693248 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 4818 2383 192 642 0 4174 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19272
[startup+222.3 s]
/proc/loadavg: 2.12 2.01 1.99 3/328 28529
/proc/meminfo: memFree=24118388/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=19768 CPUtime=222.29 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2575 0 0 0 22183 46 0 0 25 0 1 0 907719555 20242432 2509 33554432000 134512640 137138936 4294693248 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 4942 2509 192 642 0 4298 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19768
[startup+282.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/328 28557
/proc/meminfo: memFree=23926088/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=19988 CPUtime=282.3 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2638 0 0 0 28172 58 0 0 25 0 1 0 907719555 20467712 2572 33554432000 134512640 137138936 4294693248 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 4997 2572 192 642 0 4353 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19988
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/328 28559
/proc/meminfo: memFree=23873012/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=20728 CPUtime=342.31 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2811 0 0 0 34158 73 0 0 25 0 1 0 907719555 21225472 2745 33554432000 134512640 137138936 4294693248 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5182 2745 192 642 0 4538 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 20728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28560
/proc/meminfo: memFree=23873220/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=20728 CPUtime=402.3 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2811 0 0 0 40145 85 0 0 25 0 1 0 907719555 21225472 2745 33554432000 134512640 137138936 4294693248 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5182 2745 192 642 0 4538 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20728
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28670
/proc/meminfo: memFree=24062384/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=20728 CPUtime=462.31 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 2811 0 0 0 46131 100 0 0 25 0 1 0 907719555 21225472 2745 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5182 2745 192 642 0 4538 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20728
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/328 28672
/proc/meminfo: memFree=24059596/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=21992 CPUtime=522.31 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3131 0 0 0 52118 113 0 0 25 0 1 0 907719555 22519808 3065 33554432000 134512640 137138936 4294693248 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5498 3065 192 642 0 4854 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 21992
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/328 28673
/proc/meminfo: memFree=24059896/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=22312 CPUtime=582.31 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3206 0 0 0 58106 125 0 0 25 0 1 0 907719555 22847488 3140 33554432000 134512640 137138936 4294693248 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5578 3140 192 642 0 4934 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22312
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23786164/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=22336 CPUtime=1062.33 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3237 0 0 0 106008 225 0 0 25 0 1 0 907719555 22872064 3160 33554432000 134512640 137138936 4294693248 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5584 3160 192 642 0 4940 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 22336
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 28715
/proc/meminfo: memFree=24103244/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=22332 CPUtime=1122.33 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3237 0 0 0 111995 238 0 0 25 0 1 0 907719555 22867968 3159 33554432000 134512640 137138936 4294693248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5583 3159 192 642 0 4939 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 22332
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28716
/proc/meminfo: memFree=24100040/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=22332 CPUtime=1182.33 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3237 0 0 0 117985 248 0 0 25 0 1 0 907719555 22867968 3159 33554432000 134512640 137138936 4294693248 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5583 3159 192 642 0 4939 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 22332
[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/328 28718
/proc/meminfo: memFree=24098264/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=22328 CPUtime=1242.33 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3237 0 0 0 123971 262 0 0 25 0 1 0 907719555 22863872 3158 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5582 3158 192 642 0 4938 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 22328
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 28719
/proc/meminfo: memFree=24098704/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=22524 CPUtime=1302.35 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3273 0 0 0 129963 272 0 0 25 0 1 0 907719555 23064576 3194 33554432000 134512640 137138936 4294693248 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5631 3194 192 642 0 4987 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 22524
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28721
/proc/meminfo: memFree=24095048/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23832 CPUtime=1362.33 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 135952 281 0 0 25 0 1 0 907719555 24403968 3520 33554432000 134512640 137138936 4294693248 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5958 3520 192 642 0 5314 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 23832
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28723
/proc/meminfo: memFree=24094880/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23816 CPUtime=1422.35 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 141942 293 0 0 25 0 1 0 907719555 24387584 3520 33554432000 134512640 137138936 4294693248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5954 3520 192 642 0 5310 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 23816
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28724
/proc/meminfo: memFree=24094936/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23700 CPUtime=1482.34 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 147928 306 0 0 25 0 1 0 907719555 24268800 3501 33554432000 134512640 137138936 4294693248 18446744073709551615 134542537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5925 3501 192 642 0 5281 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23700
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 28726
/proc/meminfo: memFree=24094664/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23696 CPUtime=1542.34 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 153917 317 0 0 25 0 1 0 907719555 24264704 3500 33554432000 134512640 137138936 4294693248 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5924 3500 192 642 0 5280 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 23696
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 28727
/proc/meminfo: memFree=24093008/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23696 CPUtime=1602.34 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 159906 328 0 0 25 0 1 0 907719555 24264704 3500 33554432000 134512640 137138936 4294693248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5924 3500 192 642 0 5280 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 23696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28729
/proc/meminfo: memFree=24091600/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23580 CPUtime=1662.34 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 165894 340 0 0 25 0 1 0 907719555 24145920 3471 33554432000 134512640 137138936 4294693248 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5895 3471 192 642 0 5251 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 23580
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28731
/proc/meminfo: memFree=24090788/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23576 CPUtime=1722.35 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 171884 351 0 0 25 0 1 0 907719555 24141824 3470 33554432000 134512640 137138936 4294693248 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5894 3470 192 642 0 5250 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 23576
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/328 28732
/proc/meminfo: memFree=24088252/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1782.35 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 177873 362 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 23572
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/328 28732
/proc/meminfo: memFree=24088244/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1785.54 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 178192 362 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 23572
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 28732
/proc/meminfo: memFree=24088616/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1791.96 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 178833 363 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 23572
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 28733
/proc/meminfo: memFree=24086632/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1795.16 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 179152 364 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 23572
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 28733
/proc/meminfo: memFree=24085516/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1796.75 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 179311 364 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 23572
[startup+1797.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 28733
/proc/meminfo: memFree=24085268/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1797.55 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 179391 364 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 23572
[startup+1797.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 28733
/proc/meminfo: memFree=24085268/32951124 swapFree=67056304/67111528
[pid=28494] ppid=28490 vsize=23572 CPUtime=1797.95 cores=1,3,5,7
/proc/28494/stat : 28494 (bsolo) R 28490 28494 27326 0 -1 4202496 3599 0 0 0 179431 364 0 0 25 0 1 0 907719555 24137728 3469 33554432000 134512640 137138936 4294693248 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28494/statm: 5893 3469 192 642 0 5249 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 23572
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1794.35
CPU system time (s): 3.64745
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 3.64744
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3599
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= 7
involuntary context switches= 3434
runsolver used 5.20821 second user time and 12.7741 second system time
The end