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-3462716-1307182215/watcher-3462716-1307182215 -o /tmp/evaluation-result-3462716-1307182215/solver-3462716-1307182215 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462716-1307182215.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=11428 CPUtime=0 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 430 0 0 0 0 0 0 0 25 0 1 0 829820151 11702272 384 33554432000 134512640 137138936 4289199200 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 2857 385 178 642 0 2192 0
[startup+0.07689 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=13832 CPUtime=0.07 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1086 0 0 0 7 0 0 0 25 0 1 0 829820151 14163968 1019 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3458 1019 185 642 0 2814 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13832
[startup+0.100885 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=13832 CPUtime=0.09 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1086 0 0 0 9 0 0 0 25 0 1 0 829820151 14163968 1019 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3458 1019 185 642 0 2814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13832
[startup+0.300862 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=14076 CPUtime=0.29 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1456 0 0 0 28 1 0 0 25 0 1 0 829820151 14413824 1080 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3519 1080 188 642 0 2875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14076
[startup+0.700782 s]
/proc/loadavg: 2.10 2.06 2.01 3/530 5717
/proc/meminfo: memFree=14721160/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=15388 CPUtime=0.69 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 1796 0 0 0 68 1 0 0 25 0 1 0 829820151 15757312 1420 33554432000 134512640 137138936 4289199200 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 3847 1420 192 642 0 3203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15388
[startup+1.50065 s]
/proc/loadavg: 2.10 2.06 2.01 3/531 5720
/proc/meminfo: memFree=14713836/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=18028 CPUtime=1.49 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 2438 0 0 0 148 1 0 0 25 0 1 0 829820151 18460672 2062 33554432000 134512640 137138936 4289199200 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 4507 2062 192 642 0 3863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18028
[startup+3.10037 s]
/proc/loadavg: 2.10 2.06 2.01 3/531 5720
/proc/meminfo: memFree=14708376/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=23652 CPUtime=3.08 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 3850 0 0 0 307 1 0 0 25 0 1 0 829820151 24219648 3474 33554432000 134512640 137138936 4289199200 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5717/statm: 5913 3474 192 642 0 5269 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23652
[startup+6.30082 s]
/proc/loadavg: 2.17 2.08 2.01 3/531 5720
/proc/meminfo: memFree=14695464/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=32468 CPUtime=6.27 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 6064 0 0 0 625 2 0 0 25 0 1 0 829820151 33247232 5688 33554432000 134512640 137138936 4289199200 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 8117 5688 192 642 0 7473 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32468
[startup+12.7007 s]
/proc/loadavg: 2.16 2.08 2.01 3/531 5720
/proc/meminfo: memFree=14674692/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=46204 CPUtime=12.67 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 9484 0 0 0 1264 3 0 0 25 0 1 0 829820151 47312896 9108 33554432000 134512640 137138936 4289199200 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 11551 9108 192 642 0 10907 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 46204
[startup+25.5005 s]
/proc/loadavg: 2.12 2.07 2.01 3/531 5720
/proc/meminfo: memFree=14639224/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=67408 CPUtime=25.47 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 14803 0 0 0 2542 5 0 0 25 0 1 0 829820151 69025792 14427 33554432000 134512640 137138936 4289199200 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 16852 14427 192 642 0 16208 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 67408
[startup+51.1011 s]
/proc/loadavg: 2.08 2.06 2.01 3/531 5720
/proc/meminfo: memFree=14586692/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=97776 CPUtime=51.07 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 22378 0 0 0 5098 9 0 0 25 0 1 0 829820151 100122624 22002 33554432000 134512640 137138936 4289199200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 24444 22002 192 642 0 23800 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97776
[startup+102.32 s]
/proc/loadavg: 2.03 2.05 2.00 3/531 5723
/proc/meminfo: memFree=14474584/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=163860 CPUtime=102.28 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 38901 0 0 0 10213 15 0 0 25 0 1 0 829820151 167792640 38525 33554432000 134512640 137138936 4289199200 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 40965 38525 192 642 0 40321 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 163860
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5726
/proc/meminfo: memFree=14373512/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=226156 CPUtime=162.27 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 54488 0 0 0 16204 23 0 0 25 0 1 0 829820151 231583744 54112 33554432000 134512640 137138936 4289199200 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 56539 54112 192 642 0 55895 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 226156
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5726
/proc/meminfo: memFree=14285464/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=280412 CPUtime=222.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 68040 0 0 0 22198 28 0 0 25 0 1 0 829820151 287141888 67664 33554432000 134512640 137138936 4289199200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 70103 67664 192 642 0 69459 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 280412
[startup+282.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/531 5728
/proc/meminfo: memFree=14205716/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=326144 CPUtime=282.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 79477 0 0 0 28193 33 0 0 25 0 1 0 829820151 333971456 79101 33554432000 134512640 137138936 4289199200 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 81536 79101 192 642 0 80892 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 326144
[startup+342.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/531 5730
/proc/meminfo: memFree=14123612/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=370624 CPUtime=342.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 90589 0 0 0 34188 38 0 0 25 0 1 0 829820151 379518976 90213 33554432000 134512640 137138936 4289199200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 92656 90213 192 642 0 92012 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 370624
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/531 5732
/proc/meminfo: memFree=14053672/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=408700 CPUtime=402.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 100117 0 0 0 40183 43 0 0 25 0 1 0 829820151 418508800 99741 33554432000 134512640 137138936 4289199200 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 102175 99741 192 642 0 101531 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 408700
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5734
/proc/meminfo: memFree=13977652/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=442572 CPUtime=462.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 108592 0 0 0 46179 46 0 0 25 0 1 0 829820151 453193728 108216 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 110643 108216 192 642 0 109999 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 442572
[startup+522.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/531 5734
/proc/meminfo: memFree=13932012/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=457860 CPUtime=522.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 112535 0 0 0 52175 50 0 0 25 0 1 0 829820151 468848640 112030 33554432000 134512640 137138936 4289199200 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 114465 112030 192 642 0 113821 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 457860
[startup+582.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/531 5737
/proc/meminfo: memFree=13903108/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=457860 CPUtime=582.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 112535 0 0 0 58173 52 0 0 25 0 1 0 829820151 468848640 112030 33554432000 134512640 137138936 4289199200 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 114465 112030 192 642 0 113821 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 457860
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=13632332/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=575692 CPUtime=1062.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 142305 0 0 0 106151 74 0 0 25 0 1 0 829820151 589508608 141480 33554432000 134512640 137138936 4289199200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 143923 141480 192 642 0 143279 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 575692
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/531 5753
/proc/meminfo: memFree=13585448/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=622424 CPUtime=1122.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 154763 0 0 0 112146 79 0 0 25 0 1 0 829820151 637362176 153164 33554432000 134512640 137138936 4289199200 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 155606 153164 192 642 0 154962 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 622424
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/531 5756
/proc/meminfo: memFree=13553940/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=653480 CPUtime=1182.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 162557 0 0 0 118142 82 0 0 25 0 1 0 829820151 669163520 160942 33554432000 134512640 137138936 4289199200 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 163370 160942 192 642 0 162726 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 653480
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/531 5758
/proc/meminfo: memFree=13519080/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=688280 CPUtime=1242.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 171270 0 0 0 124138 86 0 0 25 0 1 0 829820151 704798720 169615 33554432000 134512640 137138936 4289199200 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 172070 169615 192 642 0 171426 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 688280
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/531 5760
/proc/meminfo: memFree=13485968/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=720136 CPUtime=1302.25 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 179263 0 0 0 130136 89 0 0 25 0 1 0 829820151 737419264 177608 33554432000 134512640 137138936 4289199200 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 180034 177608 192 642 0 179390 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 720136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5762
/proc/meminfo: memFree=13453712/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=752468 CPUtime=1362.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 187329 0 0 0 136132 92 0 0 25 0 1 0 829820151 770527232 185674 33554432000 134512640 137138936 4289199200 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 188117 185674 192 642 0 187473 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 752468
[startup+1422.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/531 5793
/proc/meminfo: memFree=14428696/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=779356 CPUtime=1422.26 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 194059 0 0 0 142131 95 0 0 25 0 1 0 829820151 798060544 192404 33554432000 134512640 137138936 4289199200 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 194839 192404 192 642 0 194195 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 779356
[startup+1482.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/531 5795
/proc/meminfo: memFree=14320472/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=800072 CPUtime=1482.24 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 199242 0 0 0 148125 99 0 0 25 0 1 0 829820151 819273728 197587 33554432000 134512640 137138936 4289199200 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 200018 197587 192 642 0 199374 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 800072
[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/531 5797
/proc/meminfo: memFree=14299504/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=820220 CPUtime=1542.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 204283 0 0 0 154122 101 0 0 25 0 1 0 829820151 839905280 202628 33554432000 134512640 137138936 4289199200 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 205055 202628 192 642 0 204411 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 820220
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/531 5799
/proc/meminfo: memFree=14248412/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=843208 CPUtime=1602.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 210034 0 0 0 160120 103 0 0 25 0 1 0 829820151 863444992 208379 33554432000 134512640 137138936 4289199200 18446744073709551615 136504564 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 210802 208379 192 642 0 210158 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 843208
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5802
/proc/meminfo: memFree=14225956/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=866772 CPUtime=1662.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 215918 0 0 0 166118 105 0 0 25 0 1 0 829820151 887574528 214263 33554432000 134512640 137138936 4289199200 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 216693 214263 192 642 0 216049 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 866772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5802
/proc/meminfo: memFree=14189496/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=885508 CPUtime=1722.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 220603 0 0 0 172116 107 0 0 25 0 1 0 829820151 906760192 218948 33554432000 134512640 137138936 4289199200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 221377 218948 192 642 0 220733 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 885508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14169644/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=904136 CPUtime=1782.23 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 225276 0 0 0 178115 108 0 0 25 0 1 0 829820151 925835264 223601 33554432000 134512640 137138936 4289199200 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 226034 223601 192 642 0 225390 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 904136
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14166916/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=907976 CPUtime=1791.84 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226231 0 0 0 179076 108 0 0 25 0 1 0 829820151 929767424 224552 33554432000 134512640 137138936 4289199200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 226994 224552 192 642 0 226350 0
Current children cumulated CPU time (s) 1791.84
Current children cumulated vsize (KiB) 907976
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14165920/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909016 CPUtime=1795.04 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226483 0 0 0 179395 109 0 0 25 0 1 0 829820151 930832384 224804 33554432000 134512640 137138936 4289199200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227254 224804 192 642 0 226610 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 909016
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14165548/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909528 CPUtime=1796.63 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226620 0 0 0 179554 109 0 0 25 0 1 0 829820151 931356672 224941 33554432000 134512640 137138936 4289199200 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227382 224941 192 642 0 226738 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (KiB) 909528
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14164928/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909632 CPUtime=1797.43 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226658 0 0 0 179634 109 0 0 25 0 1 0 829820151 931463168 224979 33554432000 134512640 137138936 4289199200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227408 224979 192 642 0 226764 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 909632
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14164928/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=909744 CPUtime=1797.83 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202496 226692 0 0 0 179674 109 0 0 25 0 1 0 829820151 931577856 225013 33554432000 134512640 137138936 4289199200 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5717/statm: 227436 225013 192 642 0 226792 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 909744
[startup+1798.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14164928/32951132 swapFree=46579808/67111528
[pid=5717] ppid=5715 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/5717/stat : 5717 (bsolo) R 5715 5717 4029 0 -1 4202500 226713 0 0 0 179692 110 0 0 25 0 1 0 829820151 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/5717/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.13
CPU time (s): 1798.06
CPU user time (s): 1796.93
CPU system time (s): 1.13283
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 909796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.13283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226713
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= 2067
runsolver used 9.93949 second user time and 21.1758 second system time
The end