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-3463085-1307174451/watcher-3463085-1307174451 -o /tmp/evaluation-result-3463085-1307174451/solver-3463085-1307174451 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463085-1307174451.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.08 2.08 2.02 3/535 18070
/proc/meminfo: memFree=25093064/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=11328 CPUtime=0.01 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 448 0 0 0 1 0 0 0 25 0 1 0 809861374 11599872 381 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 2832 381 192 642 0 2188 0
[startup+0.059126 s]
/proc/loadavg: 2.08 2.08 2.02 3/535 18070
/proc/meminfo: memFree=25093064/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=11448 CPUtime=0.05 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 485 0 0 0 5 0 0 0 25 0 1 0 809861374 11722752 418 33554432000 134512640 137138936 4294860288 18446744073709551615 134606693 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 2862 418 192 642 0 2218 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11448
[startup+0.101127 s]
/proc/loadavg: 2.08 2.08 2.02 3/535 18070
/proc/meminfo: memFree=25093064/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=11576 CPUtime=0.09 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 525 0 0 0 9 0 0 0 25 0 1 0 809861374 11853824 458 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 2894 458 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.301077 s]
/proc/loadavg: 2.08 2.08 2.02 3/535 18070
/proc/meminfo: memFree=25093064/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=12184 CPUtime=0.29 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 682 0 0 0 29 0 0 0 25 0 1 0 809861374 12476416 615 33554432000 134512640 137138936 4294860288 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 3046 615 192 642 0 2402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12184
[startup+0.701035 s]
/proc/loadavg: 2.08 2.08 2.02 3/535 18070
/proc/meminfo: memFree=25093064/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=13176 CPUtime=0.69 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 910 0 0 0 69 0 0 0 25 0 1 0 809861374 13492224 843 33554432000 134512640 137138936 4294860288 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 3294 843 192 642 0 2650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13176
[startup+1.5009 s]
/proc/loadavg: 2.08 2.08 2.02 3/536 18071
/proc/meminfo: memFree=25089608/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=13552 CPUtime=1.49 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1014 0 0 0 149 0 0 0 25 0 1 0 809861374 13877248 947 33554432000 134512640 137138936 4294860288 18446744073709551615 134552282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 3388 947 192 642 0 2744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13552
[startup+3.10061 s]
/proc/loadavg: 2.08 2.08 2.02 3/536 18071
/proc/meminfo: memFree=25087872/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=14168 CPUtime=3.09 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1182 0 0 0 309 0 0 0 25 0 1 0 809861374 14508032 1115 33554432000 134512640 137138936 4294860288 18446744073709551615 134606987 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 3542 1115 192 642 0 2898 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14168
[startup+6.30101 s]
/proc/loadavg: 2.08 2.08 2.02 3/536 18071
/proc/meminfo: memFree=25086152/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=14656 CPUtime=6.29 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1296 0 0 0 628 1 0 0 25 0 1 0 809861374 15007744 1229 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 3664 1229 192 642 0 3020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14656
[startup+12.7009 s]
/proc/loadavg: 2.07 2.08 2.02 3/536 18107
/proc/meminfo: memFree=25086848/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=15152 CPUtime=12.69 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1427 0 0 0 1266 3 0 0 25 0 1 0 809861374 15515648 1360 33554432000 134512640 137138936 4294860288 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 3788 1360 192 642 0 3144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15152
[startup+25.5006 s]
/proc/loadavg: 2.05 2.08 2.02 3/536 18108
/proc/meminfo: memFree=25083632/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=16616 CPUtime=25.49 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1793 0 0 0 2544 5 0 0 25 0 1 0 809861374 17014784 1726 33554432000 134512640 137138936 4294860288 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 4154 1726 192 642 0 3510 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16616
[startup+51.101 s]
/proc/loadavg: 2.03 2.07 2.02 3/536 18108
/proc/meminfo: memFree=25081948/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=16868 CPUtime=51.09 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1847 0 0 0 5098 11 0 0 25 0 1 0 809861374 17272832 1780 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 4217 1780 192 642 0 3573 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16868
[startup+102.32 s]
/proc/loadavg: 2.17 2.09 2.02 3/536 18110
/proc/meminfo: memFree=25078972/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=17440 CPUtime=102.31 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 1979 0 0 0 10212 19 0 0 25 0 1 0 809861374 17858560 1912 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 4360 1912 192 642 0 3716 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17440
[startup+162.301 s]
/proc/loadavg: 2.13 2.09 2.02 3/536 18111
/proc/meminfo: memFree=25076184/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=18876 CPUtime=162.29 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2350 0 0 0 16200 29 0 0 25 0 1 0 809861374 19329024 2283 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 4719 2283 192 642 0 4075 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18876
[startup+222.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/536 18113
/proc/meminfo: memFree=25076636/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=18880 CPUtime=222.29 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2352 0 0 0 22190 39 0 0 25 0 1 0 809861374 19333120 2285 33554432000 134512640 137138936 4294860288 18446744073709551615 134543220 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 4720 2285 192 642 0 4076 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18880
[startup+282.301 s]
/proc/loadavg: 2.05 2.07 2.02 3/536 18114
/proc/meminfo: memFree=25078920/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=18880 CPUtime=282.3 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2352 0 0 0 28181 49 0 0 25 0 1 0 809861374 19333120 2285 33554432000 134512640 137138936 4294860288 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 4720 2285 192 642 0 4076 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18880
[startup+342.301 s]
/proc/loadavg: 2.05 2.07 2.02 3/536 18116
/proc/meminfo: memFree=25076512/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20304 CPUtime=342.3 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2699 0 0 0 34173 57 0 0 25 0 1 0 809861374 20791296 2632 33554432000 134512640 137138936 4294860288 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5076 2632 192 642 0 4432 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20304
[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 18118
/proc/meminfo: memFree=25076472/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20296 CPUtime=402.3 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2699 0 0 0 40163 67 0 0 25 0 1 0 809861374 20783104 2632 33554432000 134512640 137138936 4294860288 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5074 2632 192 642 0 4430 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20296
[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 18119
/proc/meminfo: memFree=25075916/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20292 CPUtime=462.3 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2699 0 0 0 46154 76 0 0 25 0 1 0 809861374 20779008 2632 33554432000 134512640 137138936 4294860288 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5073 2632 192 642 0 4429 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20292
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18121
/proc/meminfo: memFree=25075248/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20548 CPUtime=522.3 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2767 0 0 0 52147 83 0 0 25 0 1 0 809861374 21041152 2700 33554432000 134512640 137138936 4294860288 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5137 2700 192 642 0 4493 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20548
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18122
/proc/meminfo: memFree=25074952/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20980 CPUtime=582.3 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2876 0 0 0 58140 90 0 0 25 0 1 0 809861374 21483520 2809 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5245 2809 192 642 0 4601 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20980
[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18124
/proc/meminfo: memFree=25074652/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20976 CPUtime=642.32 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2876 0 0 0 64135 97 0 0 25 0 1 0 809861374 21479424 2809 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5244 2809 192 642 0 4600 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20976
[startup+702.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 18126
/proc/meminfo: memFree=25074228/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=20972 CPUtime=702.31 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 2876 0 0 0 70127 104 0 0 25 0 1 0 809861374 21475328 2809 33554432000 134512640 137138936 4294860288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5243 2809 192 642 0 4599 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20972
[startup+762.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 18127
/proc/meminfo: memFree=25072556/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=21592 CPUtime=762.33 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3026 0 0 0 76122 111 0 0 25 0 1 0 809861374 22110208 2959 33554432000 134512640 137138936 4294860288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5398 2959 192 642 0 4754 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 21592
[startup+822.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 18129
/proc/meminfo: memFree=25072256/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=21592 CPUtime=822.31 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3026 0 0 0 82112 119 0 0 25 0 1 0 809861374 22110208 2959 33554432000 134512640 137138936 4294860288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5398 2959 192 642 0 4754 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21592
[startup+882.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 18130
/proc/meminfo: memFree=25071948/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=21588 CPUtime=882.31 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3029 0 0 0 88104 127 0 0 25 0 1 0 809861374 22106112 2962 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5397 2962 192 642 0 4753 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21588
[startup+942.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 18132
/proc/meminfo: memFree=25072248/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=21584 CPUtime=942.31 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3029 0 0 0 94096 135 0 0 25 0 1 0 809861374 22102016 2962 33554432000 134512640 137138936 4294860288 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5396 2962 192 642 0 4752 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21584
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18134
/proc/meminfo: memFree=25072212/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=21580 CPUtime=1002.32 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3029 0 0 0 100089 143 0 0 25 0 1 0 809861374 22097920 2962 33554432000 134512640 137138936 4294860288 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5395 2962 192 642 0 4751 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21580
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18135
/proc/meminfo: memFree=25071672/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22380 CPUtime=1062.31 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 106080 151 0 0 25 0 1 0 809861374 22917120 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5595 3154 192 642 0 4951 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 22380
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18136
/proc/meminfo: memFree=25071532/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1075.12 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 107359 153 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 136515987 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1075.12
Current children cumulated vsize (KiB) 22372
[startup+1100.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18136
/proc/meminfo: memFree=25071024/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1100.72 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 109916 156 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1100.72
Current children cumulated vsize (KiB) 22372
[startup+1107.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18136
/proc/meminfo: memFree=25070896/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1107.12 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 110555 157 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1107.12
Current children cumulated vsize (KiB) 22372
[startup+1110.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18136
/proc/meminfo: memFree=25070648/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1110.32 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 110875 157 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1110.32
Current children cumulated vsize (KiB) 22372
[startup+1113.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18137
/proc/meminfo: memFree=25070880/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1113.52 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 111195 157 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1113.52
Current children cumulated vsize (KiB) 22372
[startup+1114.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18137
/proc/meminfo: memFree=25070880/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1114.33 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 111276 157 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1114.33
Current children cumulated vsize (KiB) 22372
[startup+1114.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18137
/proc/meminfo: memFree=25070880/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1114.72 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 111315 157 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1114.72
Current children cumulated vsize (KiB) 22372
[startup+1114.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18137
/proc/meminfo: memFree=25070880/32951124 swapFree=46970528/67111528
[pid=18070] ppid=18068 vsize=22372 CPUtime=1114.92 cores=0,2,4,6
/proc/18070/stat : 18070 (bsolo) R 18068 18070 16282 0 -1 4202496 3221 0 0 0 111335 157 0 0 25 0 1 0 809861374 22908928 3154 33554432000 134512640 137138936 4294860288 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18070/statm: 5593 3154 192 642 0 4949 0
Current children cumulated CPU time (s) 1114.92
Current children cumulated vsize (KiB) 22372
Child status: 0
Real time (s): 1114.98
CPU time (s): 1115
CPU user time (s): 1113.42
CPU system time (s): 1.57876
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1113.42
system time used= 1.57876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3221
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= 1825
runsolver used 6.22805 second user time and 13.038 second system time
The end