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-3463335-1307174443/watcher-3463335-1307174443 -o /tmp/evaluation-result-3463335-1307174443/solver-3463335-1307174443 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463335-1307174443.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.99 1.97 1.98 3/481 15854
/proc/meminfo: memFree=27005844/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 441 0 0 0 0 0 0 0 25 0 1 0 829046639 11599872 374 33554432000 134512640 137138936 4292896800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 2832 374 185 642 0 2188 0
[startup+0.112787 s]
/proc/loadavg: 1.99 1.97 1.98 3/481 15854
/proc/meminfo: memFree=27005844/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=11704 CPUtime=0.1 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 541 0 0 0 10 0 0 0 25 0 1 0 829046639 11984896 474 33554432000 134512640 137138936 4292896800 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 2926 474 192 642 0 2282 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11704
[startup+0.200772 s]
/proc/loadavg: 1.99 1.97 1.98 3/481 15854
/proc/meminfo: memFree=27005844/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=11956 CPUtime=0.19 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 617 0 0 0 19 0 0 0 25 0 1 0 829046639 12242944 550 33554432000 134512640 137138936 4292896800 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 2989 550 192 642 0 2345 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11956
[startup+0.300748 s]
/proc/loadavg: 1.99 1.97 1.98 3/481 15854
/proc/meminfo: memFree=27005844/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=12212 CPUtime=0.29 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 691 0 0 0 29 0 0 0 25 0 1 0 829046639 12505088 624 33554432000 134512640 137138936 4292896800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 3053 624 192 642 0 2409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12212
[startup+0.700673 s]
/proc/loadavg: 1.99 1.97 1.98 3/481 15854
/proc/meminfo: memFree=27005844/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=13204 CPUtime=0.69 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 927 0 0 0 69 0 0 0 25 0 1 0 829046639 13520896 860 33554432000 134512640 137138936 4292896800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 3301 860 192 642 0 2657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13204
[startup+1.50052 s]
/proc/loadavg: 1.99 1.97 1.98 2/480 15855
/proc/meminfo: memFree=27008332/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=13456 CPUtime=1.49 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 984 0 0 0 149 0 0 0 25 0 1 0 829046639 13778944 917 33554432000 134512640 137138936 4292896800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 3364 917 192 642 0 2720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13456
[startup+3.10022 s]
/proc/loadavg: 1.99 1.97 1.98 3/482 15882
/proc/meminfo: memFree=27005964/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=14320 CPUtime=3.09 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 1211 0 0 0 308 1 0 0 25 0 1 0 829046639 14663680 1144 33554432000 134512640 137138936 4292896800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 3580 1144 192 642 0 2936 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14320
[startup+6.30061 s]
/proc/loadavg: 2.07 1.99 1.98 3/482 15882
/proc/meminfo: memFree=27003668/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=14684 CPUtime=6.29 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 1286 0 0 0 627 2 0 0 25 0 1 0 829046639 15036416 1219 33554432000 134512640 137138936 4292896800 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 3671 1219 192 642 0 3027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14684
[startup+12.7004 s]
/proc/loadavg: 2.06 1.99 1.98 3/482 15883
/proc/meminfo: memFree=27000508/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=15048 CPUtime=12.69 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 1383 0 0 0 1264 5 0 0 25 0 1 0 829046639 15409152 1316 33554432000 134512640 137138936 4292896800 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 3762 1316 192 642 0 3118 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15048
[startup+25.501 s]
/proc/loadavg: 2.05 1.99 1.98 3/482 15892
/proc/meminfo: memFree=26998192/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=16388 CPUtime=25.49 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 1720 0 0 0 2540 9 0 0 25 0 1 0 829046639 16781312 1653 33554432000 134512640 137138936 4292896800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 4097 1653 192 642 0 3453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16388
[startup+51.1011 s]
/proc/loadavg: 2.03 1.99 1.98 3/482 15893
/proc/meminfo: memFree=26997544/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=16884 CPUtime=51.09 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 1842 0 0 0 5093 16 0 0 25 0 1 0 829046639 17289216 1775 33554432000 134512640 137138936 4292896800 18446744073709551615 134544728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 4221 1775 192 642 0 3577 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16884
[startup+102.3 s]
/proc/loadavg: 2.01 1.99 1.98 3/482 15921
/proc/meminfo: memFree=26997444/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=17500 CPUtime=102.31 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2011 0 0 0 10198 33 0 0 25 0 1 0 829046639 17920000 1944 33554432000 134512640 137138936 4292896800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 4375 1944 192 642 0 3731 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17500
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/482 15922
/proc/meminfo: memFree=26991984/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=19168 CPUtime=162.29 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2419 0 0 0 16180 49 0 0 25 0 1 0 829046639 19628032 2352 33554432000 134512640 137138936 4292896800 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 4792 2352 192 642 0 4148 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19168
[startup+222.318 s]
/proc/loadavg: 2.18 2.05 2.00 3/482 15927
/proc/meminfo: memFree=26991460/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=19536 CPUtime=222.32 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2513 0 0 0 22168 64 0 0 25 0 1 0 829046639 20004864 2446 33554432000 134512640 137138936 4292896800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 4884 2446 192 642 0 4240 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 19536
[startup+282.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/482 15929
/proc/meminfo: memFree=26993184/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=19536 CPUtime=282.3 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2513 0 0 0 28154 76 0 0 25 0 1 0 829046639 20004864 2446 33554432000 134512640 137138936 4292896800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 4884 2446 192 642 0 4240 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19536
[startup+342.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/482 15930
/proc/meminfo: memFree=26991688/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=20132 CPUtime=342.3 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2674 0 0 0 34141 89 0 0 25 0 1 0 829046639 20615168 2607 33554432000 134512640 137138936 4292896800 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5033 2607 192 642 0 4389 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20132
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15932
/proc/meminfo: memFree=26990928/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=20860 CPUtime=402.3 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2840 0 0 0 40128 102 0 0 25 0 1 0 829046639 21360640 2773 33554432000 134512640 137138936 4292896800 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5215 2773 192 642 0 4571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20860
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 15934
/proc/meminfo: memFree=26991160/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=20856 CPUtime=462.31 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2840 0 0 0 46115 116 0 0 25 0 1 0 829046639 21356544 2773 33554432000 134512640 137138936 4292896800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5214 2773 192 642 0 4570 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20856
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15935
/proc/meminfo: memFree=26990900/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=20860 CPUtime=522.31 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2841 0 0 0 52102 129 0 0 25 0 1 0 829046639 21360640 2774 33554432000 134512640 137138936 4292896800 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5215 2774 192 642 0 4571 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20860
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15937
/proc/meminfo: memFree=26990388/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=20844 CPUtime=582.31 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2841 0 0 0 58088 143 0 0 25 0 1 0 829046639 21344256 2774 33554432000 134512640 137138936 4292896800 18446744073709551615 134618280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5211 2774 192 642 0 4567 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20844
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26990000/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=21164 CPUtime=642.32 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2917 0 0 0 64075 157 0 0 25 0 1 0 829046639 21671936 2850 33554432000 134512640 137138936 4292896800 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5291 2850 192 642 0 4647 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 21164
[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15940
/proc/meminfo: memFree=26987628/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=21132 CPUtime=702.32 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2917 0 0 0 70061 171 0 0 25 0 1 0 829046639 21639168 2850 33554432000 134512640 137138936 4292896800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5283 2850 192 642 0 4639 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 21132
[startup+762.301 s]
/proc/loadavg: 2.19 2.06 2.02 3/482 15942
/proc/meminfo: memFree=26988236/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=21132 CPUtime=762.33 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 2917 0 0 0 76049 184 0 0 25 0 1 0 829046639 21639168 2850 33554432000 134512640 137138936 4292896800 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5283 2850 192 642 0 4639 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 21132
[startup+822.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 15943
/proc/meminfo: memFree=26987600/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22284 CPUtime=822.32 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3204 0 0 0 82037 195 0 0 25 0 1 0 829046639 22818816 3137 33554432000 134512640 137138936 4292896800 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5571 3137 192 642 0 4927 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 22284
[startup+882.318 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15945
/proc/meminfo: memFree=26986468/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22568 CPUtime=882.34 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3291 0 0 0 88027 207 0 0 25 0 1 0 829046639 23109632 3217 33554432000 134512640 137138936 4292896800 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5642 3217 192 642 0 4998 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 22568
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 15946
/proc/meminfo: memFree=26986588/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22560 CPUtime=942.32 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3291 0 0 0 94012 220 0 0 25 0 1 0 829046639 23101440 3215 33554432000 134512640 137138936 4292896800 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5640 3215 192 642 0 4996 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 22560
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15948
/proc/meminfo: memFree=26987068/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22560 CPUtime=1002.33 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3291 0 0 0 100003 230 0 0 25 0 1 0 829046639 23101440 3215 33554432000 134512640 137138936 4292896800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5640 3215 192 642 0 4996 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 22560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15949
/proc/meminfo: memFree=26986556/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22480 CPUtime=1062.32 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3293 0 0 0 105990 242 0 0 25 0 1 0 829046639 23019520 3179 33554432000 134512640 137138936 4292896800 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5620 3179 192 642 0 4976 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 22480
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 15951
/proc/meminfo: memFree=26986664/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22684 CPUtime=1122.33 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3345 0 0 0 111978 255 0 0 25 0 1 0 829046639 23228416 3231 33554432000 134512640 137138936 4292896800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5671 3231 192 642 0 5027 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 22684
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26987268/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22676 CPUtime=1182.34 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3345 0 0 0 117965 269 0 0 25 0 1 0 829046639 23220224 3231 33554432000 134512640 137138936 4292896800 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5669 3231 192 642 0 5025 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 22676
[startup+1242.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/482 15981
/proc/meminfo: memFree=26815368/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22684 CPUtime=1242.34 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3347 0 0 0 123954 280 0 0 25 0 1 0 829046639 23228416 3233 33554432000 134512640 137138936 4292896800 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5671 3233 192 642 0 5027 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 22684
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/482 15983
/proc/meminfo: memFree=26771112/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22932 CPUtime=1302.34 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 129948 286 0 0 25 0 1 0 829046639 23482368 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5733 3294 192 642 0 5089 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 22932
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 15984
/proc/meminfo: memFree=26737536/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22928 CPUtime=1362.35 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 135940 295 0 0 25 0 1 0 829046639 23478272 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5732 3294 192 642 0 5088 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 22928
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 15986
/proc/meminfo: memFree=26703056/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22924 CPUtime=1422.35 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 141933 302 0 0 25 0 1 0 829046639 23474176 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5731 3294 192 642 0 5087 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 22924
Solver just ended. Dumping a history of the last processes samples
[startup+1424 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 15986
/proc/meminfo: memFree=26702436/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22924 CPUtime=1424.04 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 142102 302 0 0 25 0 1 0 829046639 23474176 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5731 3294 192 642 0 5087 0
Current children cumulated CPU time (s) 1424.04
Current children cumulated vsize (KiB) 22924
[startup+1424.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 15986
/proc/meminfo: memFree=26701940/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22924 CPUtime=1424.84 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 142182 302 0 0 25 0 1 0 829046639 23474176 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5731 3294 192 642 0 5087 0
Current children cumulated CPU time (s) 1424.84
Current children cumulated vsize (KiB) 22924
[startup+1425.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 15986
/proc/meminfo: memFree=26701940/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22924 CPUtime=1425.24 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 142222 302 0 0 25 0 1 0 829046639 23474176 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5731 3294 192 642 0 5087 0
Current children cumulated CPU time (s) 1425.24
Current children cumulated vsize (KiB) 22924
[startup+1425.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 15986
/proc/meminfo: memFree=26701320/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22924 CPUtime=1425.65 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 142263 302 0 0 25 0 1 0 829046639 23474176 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5731 3294 192 642 0 5087 0
Current children cumulated CPU time (s) 1425.65
Current children cumulated vsize (KiB) 22924
[startup+1425.72 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 15986
/proc/meminfo: memFree=26701320/32951124 swapFree=38422276/67111528
[pid=15854] ppid=15852 vsize=22924 CPUtime=1425.76 cores=1,3,5,7
/proc/15854/stat : 15854 (bsolo) R 15852 15854 13859 0 -1 4202496 3408 0 0 0 142274 302 0 0 25 0 1 0 829046639 23474176 3294 33554432000 134512640 137138936 4292896800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15854/statm: 5731 3294 192 642 0 5087 0
Current children cumulated CPU time (s) 1425.76
Current children cumulated vsize (KiB) 22924
Child status: 0
Real time (s): 1425.78
CPU time (s): 1425.83
CPU user time (s): 1422.8
CPU system time (s): 3.02954
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 22932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1422.8
system time used= 3.02954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2137
runsolver used 6.45102 second user time and 15.5336 second system time
The end