runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3712770-1338202957/watcher-3712770-1338202957 -o /tmp/evaluation-result-3712770-1338202957/solver-3712770-1338202957 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712770-1338202957.wbo
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: 3.91 4.03 4.00 4/178 22703
/proc/meminfo: memFree=29832824/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 907 0 0 0 0 0 0 0 20 0 3 0 286419793 166387712 857 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40622 858 197 433 0 40186 0
[pid=22703/tid=22704] ppid=22701 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 3 0 286419794 166387712 858 33554432000 4194304 5964478 140734119970640 140529808340424 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 3 0 286419794 166387712 858 33554432000 4194304 5964478 140734119970640 140529797852248 4388475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.032442 s]
/proc/loadavg: 3.91 4.03 4.00 4/178 22703
/proc/meminfo: memFree=29832824/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162488 CPUtime=0.05 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 1105 0 0 0 5 0 0 0 20 0 3 0 286419793 166387712 1055 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40622 1055 198 433 0 40186 0
[pid=22703/tid=22704] ppid=22701 vsize=162488 CPUtime=0.01 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 173 0 0 0 1 0 0 0 20 0 3 0 286419794 166387712 1055 33554432000 4194304 5964478 140734119970640 140529808340984 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162488 CPUtime=0.01 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 147 0 0 0 1 0 0 0 20 0 3 0 286419794 166387712 1055 33554432000 4194304 5964478 140734119970640 140529797851448 4388204 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 162488
[startup+0.100314 s]
/proc/loadavg: 3.91 4.03 4.00 4/178 22703
/proc/meminfo: memFree=29832824/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162488 CPUtime=0.18 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 1494 0 0 0 17 1 0 0 20 0 3 0 286419793 166387712 1444 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40622 1444 198 433 0 40186 0
[pid=22703/tid=22704] ppid=22701 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 384 0 0 0 8 0 0 0 20 0 3 0 286419794 166387712 1444 33554432000 4194304 5964478 140734119970640 140529808340792 4400526 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 325 0 0 0 8 0 0 0 20 0 3 0 286419794 166387712 1444 33554432000 4194304 5964478 140734119970640 140529797851448 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.300325 s]
/proc/loadavg: 3.91 4.03 4.00 4/178 22703
/proc/meminfo: memFree=29832824/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162488 CPUtime=0.59 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 2151 0 0 0 56 3 0 0 20 0 3 0 286419793 166387712 2101 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40622 2101 198 433 0 40186 0
[pid=22703/tid=22704] ppid=22701 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 791 0 0 0 26 2 0 0 20 0 3 0 286419794 166387712 2101 33554432000 4194304 5964478 140734119970640 140529808340792 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 575 0 0 0 27 1 0 0 20 0 3 0 286419794 166387712 2101 33554432000 4194304 5964478 140734119970640 140529797851448 4392733 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162488
[startup+0.700338 s]
/proc/loadavg: 3.91 4.03 4.00 4/178 22703
/proc/meminfo: memFree=29832824/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162488 CPUtime=1.38 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 2940 0 0 0 133 5 0 0 20 0 3 0 286419793 166387712 2890 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40622 2890 198 433 0 40186 0
[pid=22703/tid=22704] ppid=22701 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 1310 0 0 0 65 3 0 0 20 0 3 0 286419794 166387712 2890 33554432000 4194304 5964478 140734119970640 140529808340984 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 845 0 0 0 66 2 0 0 20 0 3 0 286419794 166387712 2890 33554432000 4194304 5964478 140734119970640 140529797851448 4400503 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50034 s]
/proc/loadavg: 3.91 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29820848/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162632 CPUtime=2.98 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 3398 0 0 0 292 6 0 0 20 0 3 0 286419793 166535168 3348 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40658 3348 198 433 0 40222 0
[pid=22703/tid=22704] ppid=22701 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 1765 0 0 0 143 5 0 0 20 0 3 0 286419794 166535168 3348 33554432000 4194304 5964478 140734119970640 140529808341032 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 848 0 0 0 146 2 0 0 20 0 3 0 286419794 166535168 3348 33554432000 4194304 5964478 140734119970640 140529797851440 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162632
[startup+3.10032 s]
/proc/loadavg: 3.91 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29818120/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162632 CPUtime=6.18 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 4408 0 0 0 609 9 0 0 20 0 3 0 286419793 166535168 4358 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40658 4358 198 433 0 40222 0
[pid=22703/tid=22704] ppid=22701 vsize=162632 CPUtime=3.08 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 2588 0 0 0 301 7 0 0 20 0 3 0 286419794 166535168 4358 33554432000 4194304 5964478 140734119970640 140529808340792 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162632 CPUtime=3.08 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 1035 0 0 0 305 3 0 0 20 0 3 0 286419794 166535168 4359 33554432000 4194304 5964478 140734119970640 140529797851440 4432017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162632
[startup+6.30029 s]
/proc/loadavg: 3.92 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29811552/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162980 CPUtime=12.58 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 6127 0 0 0 1246 12 0 0 20 0 3 0 286419793 166891520 6077 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40745 6078 198 433 0 40309 0
[pid=22703/tid=22704] ppid=22701 vsize=162980 CPUtime=6.28 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 3694 0 0 0 618 10 0 0 20 0 3 0 286419794 166891520 6078 33554432000 4194304 5964478 140734119970640 140529808340984 5136474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162980 CPUtime=6.28 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 1649 0 0 0 625 3 0 0 20 0 3 0 286419794 166891520 6078 33554432000 4194304 5964478 140734119970640 140529797851496 4392757 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162980
[startup+12.7003 s]
/proc/loadavg: 3.93 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29796424/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163160 CPUtime=25.38 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 9197 0 0 0 2519 19 0 0 20 0 3 0 286419793 167075840 9147 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40790 9147 198 433 0 40354 0
[pid=22703/tid=22704] ppid=22701 vsize=163160 CPUtime=12.68 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 6119 0 0 0 1252 16 0 0 20 0 3 0 286419794 167075840 9147 33554432000 4194304 5964478 140734119970640 140529808340984 4400796 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163160 CPUtime=12.68 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 2293 0 0 0 1265 3 0 0 20 0 3 0 286419794 167075840 9147 33554432000 4194304 5964478 140734119970640 140529797851496 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163160
[startup+25.5003 s]
/proc/loadavg: 3.94 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29779800/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=162836 CPUtime=50.97 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 10874 0 0 0 5076 21 0 0 20 0 3 0 286419793 166744064 10748 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40709 10748 200 433 0 40273 0
[pid=22703/tid=22704] ppid=22701 vsize=162836 CPUtime=25.48 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 6958 0 0 0 2529 19 0 0 20 0 3 0 286419794 166744064 10748 33554432000 4194304 5964478 140734119970640 140529808341088 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=162836 CPUtime=25.48 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 3131 0 0 0 2545 3 0 0 20 0 3 0 286419794 166744064 10748 33554432000 4194304 5964478 140734119970640 140529797851592 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 162836
Solver just ended. Dumping a history of the last processes samples
[startup+31.9064 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29767904/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163076 CPUtime=63.78 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 13176 0 0 0 6355 23 0 0 20 0 3 0 286419793 166989824 13050 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40769 13050 200 433 0 40333 0
[pid=22703/tid=22704] ppid=22701 vsize=163076 CPUtime=31.89 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 7201 0 0 0 3170 19 0 0 20 0 3 0 286419794 166989824 13050 33554432000 4194304 5964478 140734119970640 140529808340792 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163076 CPUtime=31.88 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 5190 0 0 0 3183 5 0 0 20 0 3 0 286419794 166989824 13050 33554432000 4194304 5964478 140734119970640 140529797851256 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 63.78
Current children cumulated vsize (KiB) 163076
[startup+33.5003 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29765920/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163076 CPUtime=66.97 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 13592 0 0 0 6674 23 0 0 20 0 3 0 286419793 166989824 13466 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40769 13466 200 433 0 40333 0
[pid=22703/tid=22704] ppid=22701 vsize=163076 CPUtime=33.48 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 7248 0 0 0 3329 19 0 0 20 0 3 0 286419794 166989824 13466 33554432000 4194304 5964478 140734119970640 140529808340896 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163076 CPUtime=33.48 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 5559 0 0 0 3343 5 0 0 20 0 3 0 286419794 166989824 13466 33554432000 4194304 5964478 140734119970640 140529797851448 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.97
Current children cumulated vsize (KiB) 163076
[startup+35.1003 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29765672/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163076 CPUtime=70.18 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 13592 0 0 0 6995 23 0 0 20 0 3 0 286419793 166989824 13466 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40769 13466 200 433 0 40333 0
[pid=22703/tid=22704] ppid=22701 vsize=163076 CPUtime=35.09 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 7248 0 0 0 3490 19 0 0 20 0 3 0 286419794 166989824 13466 33554432000 4194304 5964478 140734119970640 140529808340896 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163076 CPUtime=35.08 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 5559 0 0 0 3503 5 0 0 20 0 3 0 286419794 166989824 13466 33554432000 4194304 5964478 140734119970640 140529797851360 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 70.18
Current children cumulated vsize (KiB) 163076
[startup+35.9003 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29765672/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163076 CPUtime=71.77 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 13609 0 0 0 7154 23 0 0 20 0 3 0 286419793 166989824 13483 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40769 13483 200 433 0 40333 0
[pid=22703/tid=22704] ppid=22701 vsize=163076 CPUtime=35.88 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 7248 0 0 0 3569 19 0 0 20 0 3 0 286419794 166989824 13483 33554432000 4194304 5964478 140734119970640 140529808340896 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163076 CPUtime=35.88 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 5576 0 0 0 3583 5 0 0 20 0 3 0 286419794 166989824 13483 33554432000 4194304 5964478 140734119970640 140529797851256 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 71.77
Current children cumulated vsize (KiB) 163076
[startup+36.3065 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29765796/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163076 CPUtime=72.58 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 13626 0 0 0 7235 23 0 0 20 0 3 0 286419793 166989824 13500 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40769 13500 200 433 0 40333 0
[pid=22703/tid=22704] ppid=22701 vsize=163076 CPUtime=36.29 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 7248 0 0 0 3610 19 0 0 20 0 3 0 286419794 166989824 13500 33554432000 4194304 5964478 140734119970640 140529808340896 4400090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163076 CPUtime=36.28 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 5593 0 0 0 3623 5 0 0 20 0 3 0 286419794 166989824 13500 33554432000 4194304 5964478 140734119970640 140529797851256 4400612 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.58
Current children cumulated vsize (KiB) 163076
[startup+36.4003 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22706
/proc/meminfo: memFree=29765796/32873648 swapFree=7368/7368
[pid=22703] ppid=22701 vsize=163076 CPUtime=72.77 cores=0,2,4,6
/proc/22703/stat : 22703 (pwbo2.01) S 22701 22703 20320 0 -1 4202496 13640 0 0 0 7254 23 0 0 20 0 3 0 286419793 166989824 13514 33554432000 4194304 5964478 140734119970640 140734119970160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 40769 13514 200 433 0 40333 0
[pid=22703/tid=22704] ppid=22701 vsize=163076 CPUtime=36.38 cores=0,2,4,6
/proc/22703/task/22704/stat : 22704 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 7248 0 0 0 3619 19 0 0 20 0 3 0 286419794 166989824 13514 33554432000 4194304 5964478 140734119970640 140529808340896 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22703/tid=22705] ppid=22701 vsize=163076 CPUtime=36.38 cores=0,2,4,6
/proc/22703/task/22705/stat : 22705 (pwbo2.01) R 22701 22703 20320 0 -1 4202560 5607 0 0 0 3633 5 0 0 20 0 3 0 286419794 166989824 13514 33554432000 4194304 5964478 140734119970640 140529797851256 4403701 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.77
Current children cumulated vsize (KiB) 163076
Child status: 255
Real time (s): 36.4229
CPU time (s): 72.8249
CPU user time (s): 72.56
CPU system time (s): 0.264959
CPU usage (%): 199.942
Max. virtual memory (cumulated for all children) (KiB): 163160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.56
system time used= 0.264959
maximum resident set size= 54076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13645
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= 62
involuntary context switches= 149
runsolver used 0.12898 second user time and 0.371943 second system time
The end