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-3463348-1307174498/watcher-3463348-1307174498 -o /tmp/evaluation-result-3463348-1307174498/solver-3463348-1307174498 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463348-1307174498.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.03 1.99 1.98 2/481 15919
/proc/meminfo: memFree=27005940/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=11328 CPUtime=0 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 441 0 0 0 0 0 0 0 18 0 1 0 829052119 11599872 374 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 2832 374 185 642 0 2188 0
[startup+0.111964 s]
/proc/loadavg: 2.03 1.99 1.98 2/481 15919
/proc/meminfo: memFree=27005940/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=11576 CPUtime=0.1 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 525 0 0 0 10 0 0 0 18 0 1 0 829052119 11853824 458 33554432000 134512640 137138936 4288202576 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 2894 458 192 642 0 2250 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11576
[startup+0.200956 s]
/proc/loadavg: 2.03 1.99 1.98 2/481 15919
/proc/meminfo: memFree=27005940/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=11820 CPUtime=0.19 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 592 0 0 0 19 0 0 0 18 0 1 0 829052119 12103680 525 33554432000 134512640 137138936 4288202576 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 2955 525 192 642 0 2311 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11820
[startup+0.300937 s]
/proc/loadavg: 2.03 1.99 1.98 2/481 15919
/proc/meminfo: memFree=27005940/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=12192 CPUtime=0.29 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 665 0 0 0 29 0 0 0 18 0 1 0 829052119 12484608 598 33554432000 134512640 137138936 4288202576 18446744073709551615 134600187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 3048 598 192 642 0 2404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12192
[startup+0.700865 s]
/proc/loadavg: 2.03 1.99 1.98 2/481 15919
/proc/meminfo: memFree=27005940/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=13176 CPUtime=0.69 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 913 0 0 0 69 0 0 0 18 0 1 0 829052119 13492224 846 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 3294 846 192 642 0 2650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13176
[startup+1.50071 s]
/proc/loadavg: 2.03 1.99 1.98 3/482 15920
/proc/meminfo: memFree=27002336/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=13552 CPUtime=1.49 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 1026 0 0 0 149 0 0 0 19 0 1 0 829052119 13877248 959 33554432000 134512640 137138936 4288202576 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 3388 959 192 642 0 2744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13552
[startup+3.1004 s]
/proc/loadavg: 2.03 1.99 1.98 3/482 15920
/proc/meminfo: memFree=27000848/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=14052 CPUtime=3.09 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 1140 0 0 0 308 1 0 0 25 0 1 0 829052119 14389248 1073 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 3513 1073 192 642 0 2869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14052
[startup+6.30081 s]
/proc/loadavg: 2.02 1.99 1.98 3/482 15920
/proc/meminfo: memFree=26999932/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=14656 CPUtime=6.29 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 1280 0 0 0 628 1 0 0 25 0 1 0 829052119 15007744 1213 33554432000 134512640 137138936 4288202576 18446744073709551615 136504500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 3664 1213 192 642 0 3020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14656
[startup+12.7006 s]
/proc/loadavg: 2.02 1.99 1.98 3/482 15920
/proc/meminfo: memFree=26998448/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=14896 CPUtime=12.69 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 1347 0 0 0 1265 4 0 0 25 0 1 0 829052119 15253504 1280 33554432000 134512640 137138936 4288202576 18446744073709551615 134599251 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 3724 1280 192 642 0 3080 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14896
[startup+25.5011 s]
/proc/loadavg: 2.02 1.99 1.98 3/482 15920
/proc/meminfo: memFree=26997456/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=16236 CPUtime=25.49 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 1684 0 0 0 2543 6 0 0 25 0 1 0 829052119 16625664 1617 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4059 1617 192 642 0 3415 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16236
[startup+51.1003 s]
/proc/loadavg: 2.01 1.99 1.98 3/482 15921
/proc/meminfo: memFree=26997196/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=16708 CPUtime=51.09 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 1795 0 0 0 5096 13 0 0 25 0 1 0 829052119 17108992 1728 33554432000 134512640 137138936 4288202576 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4177 1728 192 642 0 3533 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16708
[startup+102.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/482 15922
/proc/meminfo: memFree=26992108/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=18268 CPUtime=102.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2202 0 0 0 10209 22 0 0 25 0 1 0 829052119 18706432 2135 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4567 2135 192 642 0 3923 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18268
[startup+162.3 s]
/proc/loadavg: 2.20 2.05 2.00 3/482 15927
/proc/meminfo: memFree=26991460/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=18392 CPUtime=162.3 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2234 0 0 0 16199 31 0 0 25 0 1 0 829052119 18833408 2167 33554432000 134512640 137138936 4288202576 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4598 2167 192 642 0 3954 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 18392
[startup+222.318 s]
/proc/loadavg: 2.17 2.07 2.01 3/482 15929
/proc/meminfo: memFree=26992936/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=18396 CPUtime=222.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2235 0 0 0 22189 42 0 0 25 0 1 0 829052119 18837504 2168 33554432000 134512640 137138936 4288202576 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4599 2168 192 642 0 3955 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 18396
[startup+282.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/482 15930
/proc/meminfo: memFree=26991316/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=19352 CPUtime=282.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2473 0 0 0 28179 52 0 0 25 0 1 0 829052119 19816448 2406 33554432000 134512640 137138936 4288202576 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4838 2406 192 642 0 4194 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 19352
[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15932
/proc/meminfo: memFree=26990928/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=19360 CPUtime=342.3 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2482 0 0 0 34169 61 0 0 25 0 1 0 829052119 19824640 2415 33554432000 134512640 137138936 4288202576 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4840 2415 192 642 0 4196 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19360
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 15933
/proc/meminfo: memFree=26991160/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=19452 CPUtime=402.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2487 0 0 0 40161 70 0 0 25 0 1 0 829052119 19918848 2420 33554432000 134512640 137138936 4288202576 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4863 2420 192 642 0 4219 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 19452
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15935
/proc/meminfo: memFree=26991024/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=19452 CPUtime=462.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2505 0 0 0 46151 80 0 0 25 0 1 0 829052119 19918848 2438 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 4863 2438 192 642 0 4219 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19452
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15937
/proc/meminfo: memFree=26990388/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=20240 CPUtime=522.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2689 0 0 0 52142 89 0 0 25 0 1 0 829052119 20725760 2622 33554432000 134512640 137138936 4288202576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5060 2622 192 642 0 4416 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20240
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 15938
/proc/meminfo: memFree=26990000/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=20240 CPUtime=582.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 2689 0 0 0 58134 97 0 0 25 0 1 0 829052119 20725760 2622 33554432000 134512640 137138936 4288202576 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5060 2622 192 642 0 4416 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20240
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 15940
/proc/meminfo: memFree=26988620/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21664 CPUtime=642.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3049 0 0 0 64126 105 0 0 25 0 1 0 829052119 22183936 2982 33554432000 134512640 137138936 4288202576 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5416 2982 192 642 0 4772 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21664
[startup+702.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/482 15941
/proc/meminfo: memFree=26988608/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21720 CPUtime=702.31 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3061 0 0 0 70118 113 0 0 25 0 1 0 829052119 22241280 2994 33554432000 134512640 137138936 4288202576 18446744073709551615 134607623 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5430 2994 192 642 0 4786 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 21720
[startup+762.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 15943
/proc/meminfo: memFree=26987600/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21716 CPUtime=762.33 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3061 0 0 0 76111 122 0 0 25 0 1 0 829052119 22237184 2994 33554432000 134512640 137138936 4288202576 18446744073709551615 134599780 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5429 2994 192 642 0 4785 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 21716
[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/482 15945
/proc/meminfo: memFree=26986840/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21952 CPUtime=822.32 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 82103 129 0 0 25 0 1 0 829052119 22478848 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5488 3047 192 642 0 4844 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 21952
[startup+882.318 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 15946
/proc/meminfo: memFree=26986588/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=882.34 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 88097 137 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 21892
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15948
/proc/meminfo: memFree=26986572/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=942.32 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 94086 146 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 21892
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15949
/proc/meminfo: memFree=26987548/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1002.33 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 100080 153 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 21892
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 15951
/proc/meminfo: memFree=26987656/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1062.33 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 106072 161 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 21892
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26987392/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1122.33 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 112066 167 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 21892
Solver just ended. Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26987268/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1126.44 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 112477 167 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1126.44
Current children cumulated vsize (KiB) 21892
[startup+1139.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986768/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1139.23 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 113755 168 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1139.23
Current children cumulated vsize (KiB) 21892
[startup+1145.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986520/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1145.63 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 114394 169 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1145.63
Current children cumulated vsize (KiB) 21892
[startup+1148.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986520/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1148.83 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 114713 170 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1148.83
Current children cumulated vsize (KiB) 21892
[startup+1149.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986396/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1149.65 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 114795 170 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1149.65
Current children cumulated vsize (KiB) 21892
[startup+1150.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986396/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1150.43 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 114873 170 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1150.43
Current children cumulated vsize (KiB) 21892
[startup+1150.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986768/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1150.64 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 114894 170 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134576176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1150.64
Current children cumulated vsize (KiB) 21892
[startup+1150.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15953
/proc/meminfo: memFree=26986768/32951124 swapFree=38422276/67111528
[pid=15919] ppid=15917 vsize=21892 CPUtime=1150.75 cores=0,2,4,6
/proc/15919/stat : 15919 (bsolo) R 15917 15919 13859 0 -1 4202496 3114 0 0 0 114905 170 0 0 25 0 1 0 829052119 22417408 3047 33554432000 134512640 137138936 4288202576 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15919/statm: 5473 3047 192 642 0 4829 0
Current children cumulated CPU time (s) 1150.75
Current children cumulated vsize (KiB) 21892
Child status: 0
Real time (s): 1150.77
CPU time (s): 1150.81
CPU user time (s): 1149.1
CPU system time (s): 1.70774
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1149.1
system time used= 1.70774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3114
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= 2642
runsolver used 5.75812 second user time and 12.0412 second system time
The end