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-3712784-1338203068/watcher-3712784-1338203068 -o /tmp/evaluation-result-3712784-1338203068/solver-3712784-1338203068 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712784-1338203068.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.85 3.97 3.95 4/178 16110
/proc/meminfo: memFree=30964968/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 875 0 0 0 0 0 0 0 20 0 3 0 286432290 166387712 825 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40622 826 194 433 0 40186 0
[pid=16110/tid=16111] ppid=16108 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 286432291 166387712 826 33554432000 4194304 5964478 140733762717328 140437618215984 4599968 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 3 0 286432291 166387712 826 33554432000 4194304 5964478 140733762717328 140437607726168 5136474 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.0728899 s]
/proc/loadavg: 3.85 3.97 3.95 4/178 16110
/proc/meminfo: memFree=30964968/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162488 CPUtime=0.13 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 1329 0 0 0 13 0 0 0 20 0 3 0 286432290 166387712 1279 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40622 1280 198 433 0 40186 0
[pid=16110/tid=16111] ppid=16108 vsize=162488 CPUtime=0.05 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 301 0 0 0 5 0 0 0 20 0 3 0 286432291 166387712 1280 33554432000 4194304 5964478 140733762717328 140437618214952 5136474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162488 CPUtime=0.05 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 245 0 0 0 5 0 0 0 20 0 3 0 286432291 166387712 1280 33554432000 4194304 5964478 140733762717328 140437607725368 4389192 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 162488
[startup+0.100291 s]
/proc/loadavg: 3.85 3.97 3.95 4/178 16110
/proc/meminfo: memFree=30964968/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162488 CPUtime=0.19 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 1473 0 0 0 19 0 0 0 20 0 3 0 286432290 166387712 1423 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40622 1424 198 433 0 40186 0
[pid=16110/tid=16111] ppid=16108 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 376 0 0 0 8 0 0 0 20 0 3 0 286432291 166387712 1424 33554432000 4194304 5964478 140733762717328 140437618214952 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 314 0 0 0 8 0 0 0 20 0 3 0 286432291 166387712 1424 33554432000 4194304 5964478 140733762717328 140437607725368 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162488
[startup+0.300238 s]
/proc/loadavg: 3.85 3.97 3.95 4/178 16110
/proc/meminfo: memFree=30964968/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162488 CPUtime=0.58 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 2134 0 0 0 58 0 0 0 20 0 3 0 286432290 166387712 2084 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40622 2084 198 433 0 40186 0
[pid=16110/tid=16111] ppid=16108 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 806 0 0 0 28 0 0 0 20 0 3 0 286432291 166387712 2084 33554432000 4194304 5964478 140733762717328 140437618214896 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 544 0 0 0 28 0 0 0 20 0 3 0 286432291 166387712 2084 33554432000 4194304 5964478 140733762717328 140437607725416 4389144 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162488
[startup+0.700242 s]
/proc/loadavg: 3.85 3.97 3.95 4/178 16110
/proc/meminfo: memFree=30964968/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162488 CPUtime=1.38 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 2858 0 0 0 138 0 0 0 20 0 3 0 286432290 166387712 2808 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40622 2808 198 433 0 40186 0
[pid=16110/tid=16111] ppid=16108 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 1402 0 0 0 68 0 0 0 20 0 3 0 286432291 166387712 2808 33554432000 4194304 5964478 140733762717328 140437618214896 4381713 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 672 0 0 0 68 0 0 0 20 0 3 0 286432291 166387712 2808 33554432000 4194304 5964478 140733762717328 140437607725360 4409061 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50025 s]
/proc/loadavg: 3.85 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30950728/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162632 CPUtime=2.98 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 3527 0 0 0 298 0 0 0 20 0 3 0 286432290 166535168 3477 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40658 3477 198 433 0 40222 0
[pid=16110/tid=16111] ppid=16108 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 1898 0 0 0 148 0 0 0 20 0 3 0 286432291 166535168 3477 33554432000 4194304 5964478 140733762717328 140437618214896 4400060 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 845 0 0 0 148 0 0 0 20 0 3 0 286432291 166535168 3477 33554432000 4194304 5964478 140733762717328 140437607725512 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162632
[startup+3.10027 s]
/proc/loadavg: 3.85 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30947876/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162980 CPUtime=6.18 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 4910 0 0 0 618 0 0 0 20 0 3 0 286432290 166891520 4860 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40745 4860 198 433 0 40309 0
[pid=16110/tid=16111] ppid=16108 vsize=162980 CPUtime=3.07 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 2975 0 0 0 307 0 0 0 20 0 3 0 286432291 166891520 4860 33554432000 4194304 5964478 140733762717328 140437618214904 4400416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162980 CPUtime=3.07 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 1151 0 0 0 307 0 0 0 20 0 3 0 286432291 166891520 4860 33554432000 4194304 5964478 140733762717328 140437607725368 4222384 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162980
[startup+6.30027 s]
/proc/loadavg: 3.86 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30935724/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=162836 CPUtime=12.58 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 6819 0 0 0 1257 1 0 0 20 0 3 0 286432290 166744064 6717 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40709 6717 200 433 0 40273 0
[pid=16110/tid=16111] ppid=16108 vsize=162836 CPUtime=6.26 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 4354 0 0 0 625 1 0 0 20 0 3 0 286432291 166744064 6717 33554432000 4194304 5964478 140733762717328 140437618215008 4389056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=162836 CPUtime=6.26 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 1681 0 0 0 626 0 0 0 20 0 3 0 286432291 166744064 6717 33554432000 4194304 5964478 140733762717328 140437607725368 4399930 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) 162836
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30921704/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163556 CPUtime=25.37 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 10301 0 0 0 2535 2 0 0 20 0 3 0 286432290 167481344 10199 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40889 10199 200 433 0 40453 0
[pid=16110/tid=16111] ppid=16108 vsize=163556 CPUtime=12.65 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 5944 0 0 0 1263 2 0 0 20 0 3 0 286432291 167481344 10199 33554432000 4194304 5964478 140733762717328 140437618214904 4389116 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163556 CPUtime=12.64 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 3573 0 0 0 1264 0 0 0 20 0 3 0 286432291 167481344 10199 33554432000 4194304 5964478 140733762717328 140437607725368 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 163556
[startup+25.5002 s]
/proc/loadavg: 3.90 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30906180/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163544 CPUtime=50.97 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 12299 0 0 0 5094 3 0 0 20 0 3 0 286432290 167469056 12135 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40886 12135 200 433 0 40450 0
[pid=16110/tid=16111] ppid=16108 vsize=163544 CPUtime=25.41 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 6891 0 0 0 2539 2 0 0 20 0 3 0 286432291 167469056 12135 33554432000 4194304 5964478 140733762717328 140437618215008 4399922 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163544 CPUtime=25.41 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 4624 0 0 0 2540 1 0 0 20 0 3 0 286432291 167469056 12135 33554432000 4194304 5964478 140733762717328 140437607725472 4403711 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) 163544
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 3.91 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30885812/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163544 CPUtime=76.56 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 16044 0 0 0 7651 5 0 0 20 0 3 0 286432290 167469056 15880 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40886 15880 200 433 0 40450 0
[pid=16110/tid=16111] ppid=16108 vsize=163544 CPUtime=38.18 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 10026 0 0 0 3814 4 0 0 20 0 3 0 286432291 167469056 15880 33554432000 4194304 5964478 140733762717328 140437618215008 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163544 CPUtime=38.17 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 5234 0 0 0 3816 1 0 0 20 0 3 0 286432291 167469056 15880 33554432000 4194304 5964478 140733762717328 140437607725368 4400419 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.56
Current children cumulated vsize (KiB) 163544
[startup+44.7003 s]
/proc/loadavg: 3.92 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30877380/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163708 CPUtime=89.37 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 17167 0 0 0 8931 6 0 0 20 0 3 0 286432290 167636992 17003 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40927 17003 200 433 0 40491 0
[pid=16110/tid=16111] ppid=16108 vsize=163708 CPUtime=44.56 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 10032 0 0 0 4452 4 0 0 20 0 3 0 286432291 167636992 17003 33554432000 4194304 5964478 140733762717328 140437618215008 4403354 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163708 CPUtime=44.56 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 6351 0 0 0 4455 1 0 0 20 0 3 0 286432291 167636992 17003 33554432000 4194304 5964478 140733762717328 140437607725280 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.37
Current children cumulated vsize (KiB) 163708
[startup+46.3003 s]
/proc/loadavg: 3.93 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30876388/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163708 CPUtime=92.57 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 17339 0 0 0 9251 6 0 0 20 0 3 0 286432290 167636992 17175 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40927 17175 200 433 0 40491 0
[pid=16110/tid=16111] ppid=16108 vsize=163708 CPUtime=46.16 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 10034 0 0 0 4612 4 0 0 20 0 3 0 286432291 167636992 17175 33554432000 4194304 5964478 140733762717328 140437618215008 4400406 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163708 CPUtime=46.15 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 6521 0 0 0 4614 1 0 0 20 0 3 0 286432291 167636992 17175 33554432000 4194304 5964478 140733762717328 140437607725280 4399990 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 92.57
Current children cumulated vsize (KiB) 163708
[startup+47.9003 s]
/proc/loadavg: 3.93 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30871872/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163708 CPUtime=95.76 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 18258 0 0 0 9570 6 0 0 20 0 3 0 286432290 167636992 18094 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40927 18094 200 433 0 40491 0
[pid=16110/tid=16111] ppid=16108 vsize=163708 CPUtime=47.75 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 10035 0 0 0 4771 4 0 0 20 0 3 0 286432291 167636992 18094 33554432000 4194304 5964478 140733762717328 140437618215008 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163708 CPUtime=47.75 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 7439 0 0 0 4774 1 0 0 20 0 3 0 286432291 167636992 18094 33554432000 4194304 5964478 140733762717328 140437607725368 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 95.76
Current children cumulated vsize (KiB) 163708
[startup+48.3003 s]
/proc/loadavg: 3.93 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30870384/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163708 CPUtime=96.58 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 18258 0 0 0 9652 6 0 0 20 0 3 0 286432290 167636992 18094 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40927 18094 200 433 0 40491 0
[pid=16110/tid=16111] ppid=16108 vsize=163708 CPUtime=48.16 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 10035 0 0 0 4812 4 0 0 20 0 3 0 286432291 167636992 18094 33554432000 4194304 5964478 140733762717328 140437618215008 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163708 CPUtime=48.15 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 7439 0 0 0 4814 1 0 0 20 0 3 0 286432291 167636992 18094 33554432000 4194304 5964478 140733762717328 140437607725368 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 96.58
Current children cumulated vsize (KiB) 163708
[startup+48.5003 s]
/proc/loadavg: 3.93 3.97 3.95 5/181 16113
/proc/meminfo: memFree=30870384/32873648 swapFree=7116/7116
[pid=16110] ppid=16108 vsize=163708 CPUtime=96.96 cores=0,2,4,6
/proc/16110/stat : 16110 (pwbo2.01) S 16108 16110 14514 0 -1 4202496 18258 0 0 0 9690 6 0 0 20 0 3 0 286432290 167636992 18094 33554432000 4194304 5964478 140733762717328 140733762716848 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16110/statm: 40927 18094 200 433 0 40491 0
[pid=16110/tid=16111] ppid=16108 vsize=163708 CPUtime=48.35 cores=0,2,4,6
/proc/16110/task/16111/stat : 16111 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 10035 0 0 0 4831 4 0 0 20 0 3 0 286432291 167636992 18094 33554432000 4194304 5964478 140733762717328 140437618215008 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16110/tid=16112] ppid=16108 vsize=163708 CPUtime=48.35 cores=0,2,4,6
/proc/16110/task/16112/stat : 16112 (pwbo2.01) R 16108 16110 14514 0 -1 4202560 7439 0 0 0 4834 1 0 0 20 0 3 0 286432291 167636992 18094 33554432000 4194304 5964478 140733762717328 140437607725368 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 96.96
Current children cumulated vsize (KiB) 163708
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16110 and gives
# childrusage.ru_utime.tv_sec=96
# childrusage.ru_utime.tv_usec=797284
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=76988
# CPU time returned by wait4() is 96.8743
# while last known CPU time is 96.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 48.5784
CPU time (s): 96.96
CPU user time (s): 96.9
CPU system time (s): 0.06
CPU usage (%): 199.595
Max. virtual memory (cumulated for all children) (KiB): 163708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.7973
system time used= 0.076988
maximum resident set size= 72396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18263
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= 74
involuntary context switches= 156
runsolver used 0.157975 second user time and 0.499924 second system time
The end