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-3712777-1338202817/watcher-3712777-1338202817 -o /tmp/evaluation-result-3712777-1338202817/solver-3712777-1338202817 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712777-1338202817.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: 4.11 4.00 3.96 4/179 22166
/proc/meminfo: memFree=30050176/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 902 0 0 0 0 0 0 0 20 0 3 0 286406236 166387712 851 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40622 853 197 433 0 40186 0
[pid=22166/tid=22167] ppid=22164 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 3 0 286406236 166387712 853 33554432000 4194304 5964478 140736684749728 139894054923312 4389131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 3 0 286406236 166387712 853 33554432000 4194304 5964478 140736684749728 139894044432840 5181648 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.045998 s]
/proc/loadavg: 4.11 4.00 3.96 4/179 22166
/proc/meminfo: memFree=30050176/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162488 CPUtime=0.07 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 1175 0 0 0 7 0 0 0 20 0 3 0 286406236 166387712 1124 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40622 1124 198 433 0 40186 0
[pid=22166/tid=22167] ppid=22164 vsize=162488 CPUtime=0.03 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 222 0 0 0 3 0 0 0 20 0 3 0 286406236 166387712 1125 33554432000 4194304 5964478 140736684749728 139894054923312 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162488 CPUtime=0.03 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 168 0 0 0 3 0 0 0 20 0 3 0 286406236 166387712 1125 33554432000 4194304 5964478 140736684749728 139894044432840 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 162488
[startup+0.100274 s]
/proc/loadavg: 4.11 4.00 3.96 4/179 22166
/proc/meminfo: memFree=30050176/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162488 CPUtime=0.18 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 1479 0 0 0 18 0 0 0 20 0 3 0 286406236 166387712 1428 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40622 1428 198 433 0 40186 0
[pid=22166/tid=22167] ppid=22164 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 391 0 0 0 8 0 0 0 20 0 3 0 286406236 166387712 1428 33554432000 4194304 5964478 140736684749728 139894054922280 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 303 0 0 0 8 0 0 0 20 0 3 0 286406236 166387712 1429 33554432000 4194304 5964478 140736684749728 139894044432840 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.300232 s]
/proc/loadavg: 4.11 4.00 3.96 4/179 22166
/proc/meminfo: memFree=30050176/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162488 CPUtime=0.58 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 2047 0 0 0 58 0 0 0 20 0 3 0 286406236 166387712 1996 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40622 1996 198 433 0 40186 0
[pid=22166/tid=22167] ppid=22164 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 774 0 0 0 28 0 0 0 20 0 3 0 286406236 166387712 1996 33554432000 4194304 5964478 140736684749728 139894054922280 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 487 0 0 0 28 0 0 0 20 0 3 0 286406236 166387712 1996 33554432000 4194304 5964478 140736684749728 139894044432840 4389140 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.700232 s]
/proc/loadavg: 4.11 4.00 3.96 4/179 22166
/proc/meminfo: memFree=30050176/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162488 CPUtime=1.39 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 2580 0 0 0 138 1 0 0 20 0 3 0 286406236 166387712 2529 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40622 2529 198 433 0 40186 0
[pid=22166/tid=22167] ppid=22164 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 1239 0 0 0 68 0 0 0 20 0 3 0 286406236 166387712 2529 33554432000 4194304 5964478 140736684749728 139894054922280 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 555 0 0 0 68 0 0 0 20 0 3 0 286406236 166387712 2529 33554432000 4194304 5964478 140736684749728 139894044432840 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162488
[startup+1.50024 s]
/proc/loadavg: 4.10 4.00 3.96 5/182 22169
/proc/meminfo: memFree=30039256/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162632 CPUtime=2.99 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 3445 0 0 0 298 1 0 0 20 0 3 0 286406236 166535168 3394 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40658 3394 198 433 0 40222 0
[pid=22166/tid=22167] ppid=22164 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 1844 0 0 0 148 0 0 0 20 0 3 0 286406236 166535168 3394 33554432000 4194304 5964478 140736684749728 139894054922040 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 815 0 0 0 148 0 0 0 20 0 3 0 286406236 166535168 3394 33554432000 4194304 5964478 140736684749728 139894044432696 4389154 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162632
[startup+3.1003 s]
/proc/loadavg: 4.10 4.00 3.96 5/182 22169
/proc/meminfo: memFree=30035288/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162908 CPUtime=6.18 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 4295 0 0 0 617 1 0 0 20 0 3 0 286406236 166817792 4244 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40727 4244 198 433 0 40291 0
[pid=22166/tid=22167] ppid=22164 vsize=162908 CPUtime=3.07 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 2406 0 0 0 306 1 0 0 20 0 3 0 286406236 166817792 4244 33554432000 4194304 5964478 140736684749728 139894054922232 4382013 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162908 CPUtime=3.07 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 1103 0 0 0 307 0 0 0 20 0 3 0 286406236 166817792 4244 33554432000 4194304 5964478 140736684749728 139894044432800 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162908
[startup+6.30032 s]
/proc/loadavg: 4.17 4.02 3.97 5/182 22169
/proc/meminfo: memFree=30027972/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=162980 CPUtime=12.58 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 6385 0 0 0 1250 8 0 0 20 0 3 0 286406236 166891520 6334 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40745 6334 198 433 0 40309 0
[pid=22166/tid=22167] ppid=22164 vsize=162980 CPUtime=6.26 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 4007 0 0 0 620 6 0 0 20 0 3 0 286406236 166891520 6334 33554432000 4194304 5964478 140736684749728 139894054922040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=162980 CPUtime=6.26 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 1592 0 0 0 624 2 0 0 20 0 3 0 286406236 166891520 6334 33554432000 4194304 5964478 140736684749728 139894044432688 4399953 0 0 4096 16387 0 0 0 -1 2 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: 4.16 4.02 3.97 5/182 22169
/proc/meminfo: memFree=30013092/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=163212 CPUtime=25.38 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 9914 0 0 0 2523 15 0 0 20 0 3 0 286406236 167129088 9811 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40803 9811 200 433 0 40367 0
[pid=22166/tid=22167] ppid=22164 vsize=163212 CPUtime=12.65 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 5176 0 0 0 1256 9 0 0 20 0 3 0 286406236 167129088 9811 33554432000 4194304 5964478 140736684749728 139894054923192 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=163212 CPUtime=12.64 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 3952 0 0 0 1258 6 0 0 20 0 3 0 286406236 167129088 9811 33554432000 4194304 5964478 140736684749728 139894044432744 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163212
[startup+25.5003 s]
/proc/loadavg: 4.13 4.02 3.97 5/182 22169
/proc/meminfo: memFree=29995716/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=163692 CPUtime=50.97 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 13815 0 0 0 5081 16 0 0 20 0 3 0 286406236 167620608 13638 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 40923 13638 200 433 0 40487 0
[pid=22166/tid=22167] ppid=22164 vsize=163692 CPUtime=25.41 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 7252 0 0 0 2532 9 0 0 20 0 3 0 286406236 167620608 13638 33554432000 4194304 5964478 140736684749728 139894054922144 4399948 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=163692 CPUtime=25.41 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 5777 0 0 0 2535 6 0 0 20 0 3 0 286406236 167620608 13638 33554432000 4194304 5964478 140736684749728 139894044432800 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 163692
[startup+51.1003 s]
/proc/loadavg: 4.08 4.01 3.97 5/182 22192
/proc/meminfo: memFree=29912664/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164396 CPUtime=102.15 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 19674 0 0 0 10193 22 0 0 20 0 3 0 286406236 168341504 19396 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41099 19396 200 433 0 40663 0
[pid=22166/tid=22167] ppid=22164 vsize=164396 CPUtime=50.94 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 10639 0 0 0 5083 11 0 0 20 0 3 0 286406236 168341504 19396 33554432000 4194304 5964478 140736684749728 139894054922336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164396 CPUtime=50.94 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 8249 0 0 0 5083 11 0 0 20 0 3 0 286406236 168341504 19396 33554432000 4194304 5964478 140736684749728 139894044432696 4399994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 164396
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 4.07 4.01 3.97 5/182 22192
/proc/meminfo: memFree=29868552/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=127.75 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 20969 0 0 0 12752 23 0 0 20 0 3 0 286406236 168570880 20691 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 20691 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=63.7 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11237 0 0 0 6359 11 0 0 20 0 3 0 286406236 168570880 20692 33554432000 4194304 5964478 140736684749728 139894054922040 4398376 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=63.71 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 8947 0 0 0 6360 11 0 0 20 0 3 0 286406236 168570880 20692 33554432000 4194304 5964478 140736684749728 139894044432696 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 127.75
Current children cumulated vsize (KiB) 164620
[startup+70.3003 s]
/proc/loadavg: 4.06 4.01 3.97 5/182 22192
/proc/meminfo: memFree=29850820/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=140.56 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21898 0 0 0 14033 23 0 0 20 0 3 0 286406236 168570880 21620 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21620 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=70.09 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11847 0 0 0 6997 12 0 0 20 0 3 0 286406236 168570880 21620 33554432000 4194304 5964478 140736684749728 139894054922336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=70.1 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 6998 12 0 0 20 0 3 0 286406236 168570880 21620 33554432000 4194304 5964478 140736684749728 139894044432608 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 140.56
Current children cumulated vsize (KiB) 164620
[startup+73.5003 s]
/proc/loadavg: 4.06 4.01 3.97 5/182 22192
/proc/meminfo: memFree=29850804/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=146.94 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21899 0 0 0 14671 23 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21621 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=73.28 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11848 0 0 0 7316 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894054922336 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=73.28 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 7316 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894044432608 4400416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.94
Current children cumulated vsize (KiB) 164620
[startup+76.7003 s]
/proc/loadavg: 4.05 4.01 3.97 5/182 22192
/proc/meminfo: memFree=29850804/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=153.34 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21899 0 0 0 15311 23 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21621 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=76.47 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11848 0 0 0 7635 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894054922336 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=76.48 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 7636 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894044432608 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 153.34
Current children cumulated vsize (KiB) 164620
[startup+77.5003 s]
/proc/loadavg: 4.05 4.01 3.97 5/181 22192
/proc/meminfo: memFree=29850804/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=154.94 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21899 0 0 0 15471 23 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21621 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=77.27 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11848 0 0 0 7715 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894054922336 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=77.27 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 7715 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894044432608 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 154.94
Current children cumulated vsize (KiB) 164620
[startup+77.9003 s]
/proc/loadavg: 4.05 4.01 3.97 5/181 22192
/proc/meminfo: memFree=29850804/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=155.74 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21899 0 0 0 15551 23 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21621 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=77.67 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11848 0 0 0 7755 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894054922336 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=77.67 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 7755 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894044432608 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 155.74
Current children cumulated vsize (KiB) 164620
[startup+78.1063 s]
/proc/loadavg: 4.05 4.01 3.97 5/181 22192
/proc/meminfo: memFree=29850812/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=156.16 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21899 0 0 0 15593 23 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21621 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=77.87 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11848 0 0 0 7775 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894054922336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=77.88 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 7776 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894044432608 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 156.16
Current children cumulated vsize (KiB) 164620
[startup+78.2004 s]
/proc/loadavg: 4.05 4.01 3.97 5/181 22192
/proc/meminfo: memFree=29850812/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=164620 CPUtime=156.34 cores=0,2,4,6
/proc/22166/stat : 22166 (pwbo2.01) S 22164 22166 20249 0 -1 4202496 21899 0 0 0 15611 23 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 140736684749248 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22166/statm: 41155 21621 200 433 0 40719 0
[pid=22166/tid=22167] ppid=22164 vsize=164620 CPUtime=77.97 cores=0,2,4,6
/proc/22166/task/22167/stat : 22167 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 11848 0 0 0 7785 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894054922336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22166/tid=22168] ppid=22164 vsize=164620 CPUtime=77.97 cores=0,2,4,6
/proc/22166/task/22168/stat : 22168 (pwbo2.01) R 22164 22166 20249 0 -1 4202560 9265 0 0 0 7785 12 0 0 20 0 3 0 286406236 168570880 21621 33554432000 4194304 5964478 140736684749728 139894044432608 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 156.34
Current children cumulated vsize (KiB) 164620
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22166 and gives
# childrusage.ru_utime.tv_sec=155
# childrusage.ru_utime.tv_usec=788316
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=267959
# CPU time returned by wait4() is 156.056
# while last known CPU time is 156.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 78.2453
CPU time (s): 156.34
CPU user time (s): 156.11
CPU system time (s): 0.23
CPU usage (%): 199.808
Max. virtual memory (cumulated for all children) (KiB): 164640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.788
system time used= 0.267959
maximum resident set size= 86504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21904
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= 56
involuntary context switches= 234
runsolver used 0.12598 second user time and 0.311952 second system time
The end