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-3463764-1307185676/watcher-3463764-1307185676 -o /tmp/evaluation-result-3463764-1307185676/solver-3463764-1307185676 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463764-1307185676.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: 2.30 2.13 2.04 2/530 6588
/proc/meminfo: memFree=15156760/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=11708 CPUtime=0 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 830166260 11988992 467 33554432000 134512640 137138936 4292232720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 2927 467 190 642 0 2259 0
[startup+0.0627961 s]
/proc/loadavg: 2.30 2.13 2.04 2/530 6588
/proc/meminfo: memFree=15156760/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=12544 CPUtime=0.06 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 766 0 0 0 6 0 0 0 22 0 1 0 830166260 12845056 696 33554432000 134512640 137138936 4292232720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12544
[startup+0.100791 s]
/proc/loadavg: 2.30 2.13 2.04 2/530 6588
/proc/meminfo: memFree=15156760/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=12544 CPUtime=0.09 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 766 0 0 0 9 0 0 0 22 0 1 0 830166260 12845056 696 33554432000 134512640 137138936 4292232720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544
[startup+0.300758 s]
/proc/loadavg: 2.30 2.13 2.04 2/530 6588
/proc/meminfo: memFree=15156760/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=12872 CPUtime=0.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 865 0 0 0 29 0 0 0 23 0 1 0 830166260 13180928 790 33554432000 134512640 137138936 4292232720 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 3218 790 192 642 0 2574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12872
[startup+0.70069 s]
/proc/loadavg: 2.30 2.13 2.04 2/530 6588
/proc/meminfo: memFree=15156760/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=13720 CPUtime=0.69 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 1078 0 0 0 69 0 0 0 25 0 1 0 830166260 14049280 1003 33554432000 134512640 137138936 4292232720 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 3430 1003 192 642 0 2786 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13720
[startup+1.50055 s]
/proc/loadavg: 2.30 2.13 2.04 3/531 6589
/proc/meminfo: memFree=15151792/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=16312 CPUtime=1.49 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 1710 0 0 0 148 1 0 0 25 0 1 0 830166260 16703488 1635 33554432000 134512640 137138936 4292232720 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 4078 1635 192 642 0 3434 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16312
[startup+3.10028 s]
/proc/loadavg: 2.30 2.13 2.04 3/531 6589
/proc/meminfo: memFree=15147452/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=19360 CPUtime=3.09 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 2482 0 0 0 308 1 0 0 25 0 1 0 830166260 19824640 2407 33554432000 134512640 137138936 4292232720 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 4840 2407 192 642 0 4196 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19360
[startup+6.30073 s]
/proc/loadavg: 2.28 2.13 2.04 3/531 6589
/proc/meminfo: memFree=15140892/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=26592 CPUtime=6.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 4276 0 0 0 628 2 0 0 25 0 1 0 830166260 27230208 4201 33554432000 134512640 137138936 4292232720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 6648 4201 192 642 0 6004 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 26592
[startup+12.7006 s]
/proc/loadavg: 2.25 2.12 2.04 3/531 6589
/proc/meminfo: memFree=15129808/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=35636 CPUtime=12.69 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 6560 0 0 0 1266 3 0 0 25 0 1 0 830166260 36491264 6485 33554432000 134512640 137138936 4292232720 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 8909 6485 192 642 0 8265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35636
[startup+25.5004 s]
/proc/loadavg: 2.20 2.12 2.04 3/531 6589
/proc/meminfo: memFree=15113132/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=52388 CPUtime=25.49 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 10744 0 0 0 2545 4 0 0 25 0 1 0 830166260 53645312 10669 33554432000 134512640 137138936 4292232720 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 13097 10669 192 642 0 12453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52388
[startup+51.101 s]
/proc/loadavg: 2.13 2.11 2.03 3/531 6589
/proc/meminfo: memFree=15087876/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=77724 CPUtime=51.09 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 17072 0 0 0 5101 8 0 0 25 0 1 0 830166260 79589376 16997 33554432000 134512640 137138936 4292232720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 19431 16997 192 642 0 18787 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77724
[startup+102.32 s]
/proc/loadavg: 2.12 2.11 2.04 3/531 6591
/proc/meminfo: memFree=15048564/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=115220 CPUtime=102.31 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 26436 0 0 0 10217 14 0 0 25 0 1 0 830166260 117985280 26361 33554432000 134512640 137138936 4292232720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 28805 26361 192 642 0 28161 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 115220
[startup+162.301 s]
/proc/loadavg: 2.08 2.11 2.04 3/531 6620
/proc/meminfo: memFree=15078856/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=123096 CPUtime=162.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 28482 0 0 0 16211 18 0 0 25 0 1 0 830166260 126050304 28338 33554432000 134512640 137138936 4292232720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 30774 28338 192 642 0 30130 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123096
[startup+222.301 s]
/proc/loadavg: 2.03 2.08 2.03 3/531 6622
/proc/meminfo: memFree=15011640/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=130780 CPUtime=222.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 30389 0 0 0 22208 21 0 0 25 0 1 0 830166260 133918720 30245 33554432000 134512640 137138936 4292232720 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 32695 30245 192 642 0 32051 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 130780
[startup+282.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/531 6622
/proc/meminfo: memFree=14938340/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=160336 CPUtime=282.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 37796 0 0 0 28203 27 0 0 25 0 1 0 830166260 164184064 37652 33554432000 134512640 137138936 4292232720 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 40084 37652 192 642 0 39440 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 160336
[startup+342.301 s]
/proc/loadavg: 2.15 2.09 2.03 3/531 6624
/proc/meminfo: memFree=14862196/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=193416 CPUtime=342.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 46060 0 0 0 34198 32 0 0 25 0 1 0 830166260 198057984 45916 33554432000 134512640 137138936 4292232720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 48354 45916 192 642 0 47710 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 193416
[startup+402.301 s]
/proc/loadavg: 2.12 2.08 2.03 3/531 6626
/proc/meminfo: memFree=14805392/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=216324 CPUtime=402.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 51770 0 0 0 40194 36 0 0 25 0 1 0 830166260 221515776 51626 33554432000 134512640 137138936 4292232720 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 54081 51626 192 642 0 53437 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 216324
[startup+462.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/531 6628
/proc/meminfo: memFree=14747344/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=238608 CPUtime=462.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 57340 0 0 0 46190 40 0 0 25 0 1 0 830166260 244334592 57196 33554432000 134512640 137138936 4292232720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 59652 57196 192 642 0 59008 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 238608
[startup+522.301 s]
/proc/loadavg: 2.06 2.08 2.03 3/531 6630
/proc/meminfo: memFree=14694756/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=261176 CPUtime=522.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 63001 0 0 0 52186 44 0 0 25 0 1 0 830166260 267444224 62857 33554432000 134512640 137138936 4292232720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 65294 62857 192 642 0 64650 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 261176
[startup+582.301 s]
/proc/loadavg: 2.02 2.06 2.03 3/531 6630
/proc/meminfo: memFree=14643780/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=285752 CPUtime=582.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 69138 0 0 0 58183 47 0 0 25 0 1 0 830166260 292610048 68994 33554432000 134512640 137138936 4292232720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 71438 68994 192 642 0 70794 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 285752
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=14476788/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=364264 CPUtime=1122.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 88944 0 0 0 112153 77 0 0 25 0 1 0 830166260 373006336 88623 33554432000 134512640 137138936 4292232720 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91066 88623 192 642 0 90422 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 364264
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/531 6646
/proc/meminfo: memFree=14476160/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=364264 CPUtime=1182.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 88944 0 0 0 118151 79 0 0 25 0 1 0 830166260 373006336 88623 33554432000 134512640 137138936 4292232720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91066 88623 192 642 0 90422 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 364264
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/531 6648
/proc/meminfo: memFree=14464860/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=364264 CPUtime=1242.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 88944 0 0 0 124150 80 0 0 25 0 1 0 830166260 373006336 88623 33554432000 134512640 137138936 4292232720 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91066 88623 192 642 0 90422 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 364264
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 6650
/proc/meminfo: memFree=14433852/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=364264 CPUtime=1302.31 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 88944 0 0 0 130150 81 0 0 25 0 1 0 830166260 373006336 88623 33554432000 134512640 137138936 4292232720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91066 88623 192 642 0 90422 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 364264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 6652
/proc/meminfo: memFree=14408424/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=364264 CPUtime=1362.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 88944 0 0 0 136147 82 0 0 25 0 1 0 830166260 373006336 88623 33554432000 134512640 137138936 4292232720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91066 88623 192 642 0 90422 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 364264
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 6654
/proc/meminfo: memFree=14377416/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=364264 CPUtime=1422.31 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 88944 0 0 0 142147 84 0 0 25 0 1 0 830166260 373006336 88623 33554432000 134512640 137138936 4292232720 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91066 88623 192 642 0 90422 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 364264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 6654
/proc/meminfo: memFree=14342444/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=366772 CPUtime=1482.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 89572 0 0 0 148144 85 0 0 25 0 1 0 830166260 375574528 89251 33554432000 134512640 137138936 4292232720 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 91693 89251 192 642 0 91049 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 366772
[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/531 6656
/proc/meminfo: memFree=14292584/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=385368 CPUtime=1542.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 94221 0 0 0 154141 88 0 0 25 0 1 0 830166260 394616832 93900 33554432000 134512640 137138936 4292232720 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 96342 93900 192 642 0 95698 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 385368
[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/531 6658
/proc/meminfo: memFree=14245576/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=402772 CPUtime=1602.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 98558 0 0 0 160138 91 0 0 25 0 1 0 830166260 412438528 98237 33554432000 134512640 137138936 4292232720 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 100693 98237 192 642 0 100049 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 402772
[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/531 6660
/proc/meminfo: memFree=14193980/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=424380 CPUtime=1662.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 103981 0 0 0 166133 96 0 0 25 0 1 0 830166260 434565120 103660 33554432000 134512640 137138936 4292232720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 106095 103660 192 642 0 105451 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 424380
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/531 6662
/proc/meminfo: memFree=14151072/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=443592 CPUtime=1722.3 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 108763 0 0 0 172130 100 0 0 25 0 1 0 830166260 454238208 108442 33554432000 134512640 137138936 4292232720 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 110898 108442 192 642 0 110254 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 443592
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6662
/proc/meminfo: memFree=14106540/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=458868 CPUtime=1782.29 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 112591 0 0 0 178127 102 0 0 25 0 1 0 830166260 469880832 112270 33554432000 134512640 137138936 4292232720 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 114717 112270 192 642 0 114073 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 458868
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6662
/proc/meminfo: memFree=14105672/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=459560 CPUtime=1785.5 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 112782 0 0 0 178447 103 0 0 25 0 1 0 830166260 470589440 112461 33554432000 134512640 137138936 4292232720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 114890 112461 192 642 0 114246 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 459560
[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6664
/proc/meminfo: memFree=14100836/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=461040 CPUtime=1791.92 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 113138 0 0 0 179089 103 0 0 25 0 1 0 830166260 472104960 112817 33554432000 134512640 137138936 4292232720 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 115260 112817 192 642 0 114616 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 461040
[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6664
/proc/meminfo: memFree=14098480/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=461708 CPUtime=1795.11 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 113295 0 0 0 179408 103 0 0 25 0 1 0 830166260 472788992 112974 33554432000 134512640 137138936 4292232720 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 115427 112974 192 642 0 114783 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 461708
[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6664
/proc/meminfo: memFree=14097240/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=462108 CPUtime=1796.7 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 113414 0 0 0 179567 103 0 0 25 0 1 0 830166260 473198592 113093 33554432000 134512640 137138936 4292232720 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 115527 113093 192 642 0 114883 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 462108
[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6664
/proc/meminfo: memFree=14095876/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=462504 CPUtime=1797.5 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 113496 0 0 0 179647 103 0 0 25 0 1 0 830166260 473604096 113175 33554432000 134512640 137138936 4292232720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 115626 113175 192 642 0 114982 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 462504
[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6664
/proc/meminfo: memFree=14095876/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=462636 CPUtime=1797.9 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 113530 0 0 0 179687 103 0 0 25 0 1 0 830166260 473739264 113209 33554432000 134512640 137138936 4292232720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 115659 113209 192 642 0 115015 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 462636
[startup+1798 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 6664
/proc/meminfo: memFree=14095876/32951132 swapFree=46579808/67111528
[pid=6588] ppid=6586 vsize=462636 CPUtime=1798 cores=1,3,5,7
/proc/6588/stat : 6588 (bsolo) R 6586 6588 4029 0 -1 4202496 113541 0 0 0 179697 103 0 0 25 0 1 0 830166260 473739264 113220 33554432000 134512640 137138936 4292232720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6588/statm: 115659 113220 192 642 0 115015 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 462636
Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.03
CPU user time (s): 1796.97
CPU system time (s): 1.05484
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 462636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.97
system time used= 1.05484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113542
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= 6
involuntary context switches= 1733
runsolver used 8.80166 second user time and 22.3296 second system time
The end