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-3726028-1338655944/watcher-3726028-1338655944 -o /tmp/evaluation-result-3726028-1338655944/solver-3726028-1338655944 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726028-1338655944.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: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=4416 CPUtime=0 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) R 30190 30192 28266 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 331719300 4521984 377 33554432000 4194304 5964478 140736624034736 140734827079704 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 1104 377 168 433 0 649 0
[startup+0.055643 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175600 CPUtime=0.09 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 5812 0 0 0 6 3 0 0 20 0 3 0 331719300 179814400 5694 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43900 5694 201 433 0 43464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 175600
[startup+0.10021 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=0.18 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 5982 0 0 0 15 3 0 0 20 0 3 0 331719300 180187136 5864 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 5864 202 433 0 43555 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 175964
[startup+0.300162 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=0.58 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 6696 0 0 0 54 4 0 0 20 0 3 0 331719300 180187136 6251 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 6251 204 433 0 43555 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 175964
[startup+0.700159 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=1.38 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 7433 0 0 0 134 4 0 0 20 0 3 0 331719300 180187136 6943 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 6943 204 433 0 43555 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 175964
[startup+1.50028 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27389844/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=2.98 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 8249 0 0 0 293 5 0 0 20 0 3 0 331719300 180187136 7759 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 7759 204 433 0 43555 0
[pid=30192/tid=30194] ppid=30190 vsize=175964 CPUtime=1.47 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 2384 0 0 0 147 0 0 0 20 0 3 0 331719301 180187136 7759 33554432000 4194304 5964478 140736624034736 139975223527752 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=175964 CPUtime=1.47 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 4921 0 0 0 143 4 0 0 20 0 3 0 331719301 180187136 7759 33554432000 4194304 5964478 140736624034736 139975213037880 4400648 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 175964
[startup+3.10029 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27380916/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176108 CPUtime=6.18 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 10242 0 0 0 612 6 0 0 20 0 3 0 331719300 180334592 9752 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44027 9752 204 433 0 43591 0
[pid=30192/tid=30194] ppid=30190 vsize=176108 CPUtime=3.07 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 4143 0 0 0 305 2 0 0 20 0 3 0 331719301 180334592 9752 33554432000 4194304 5964478 140736624034736 139975223527416 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176108 CPUtime=3.07 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 5155 0 0 0 303 4 0 0 20 0 3 0 331719301 180334592 9752 33554432000 4194304 5964478 140736624034736 139975213037688 4409255 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) 176108
[startup+6.30028 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27361456/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176108 CPUtime=12.58 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 12512 0 0 0 1250 8 0 0 20 0 3 0 331719300 180334592 11986 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44027 11986 204 433 0 43591 0
[pid=30192/tid=30194] ppid=30190 vsize=176108 CPUtime=6.25 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 5955 0 0 0 622 3 0 0 20 0 3 0 331719301 180334592 11986 33554432000 4194304 5964478 140736624034736 139975223528376 4390878 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176108 CPUtime=6.26 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 5613 0 0 0 622 4 0 0 20 0 3 0 331719301 180334592 11986 33554432000 4194304 5964478 140736624034736 139975213037688 4221120 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) 176108
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27324344/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176288 CPUtime=25.37 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 16061 0 0 0 2528 9 0 0 20 0 3 0 331719300 180518912 15535 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44072 15535 204 433 0 43636 0
[pid=30192/tid=30194] ppid=30190 vsize=176288 CPUtime=12.64 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 8137 0 0 0 1260 4 0 0 20 0 3 0 331719301 180518912 15535 33554432000 4194304 5964478 140736624034736 139975223527224 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176288 CPUtime=12.64 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 6980 0 0 0 1260 4 0 0 20 0 3 0 331719301 180518912 15535 33554432000 4194304 5964478 140736624034736 139975213037880 4400608 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 176288
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27271568/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176448 CPUtime=50.97 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 21481 0 0 0 5084 13 0 0 20 0 3 0 331719300 180682752 20880 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44112 20880 204 433 0 43676 0
[pid=30192/tid=30194] ppid=30190 vsize=176448 CPUtime=25.4 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 11660 0 0 0 2533 7 0 0 20 0 3 0 331719301 180682752 20880 33554432000 4194304 5964478 140736624034736 139975223528376 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176448 CPUtime=25.41 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 8877 0 0 0 2535 6 0 0 20 0 3 0 331719301 180682752 20880 33554432000 4194304 5964478 140736624034736 139975213037928 4387951 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) 176448
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27195400/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176688 CPUtime=102.15 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 30972 0 0 0 10195 20 0 0 20 0 3 0 331719300 180928512 30274 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44172 30274 204 433 0 43736 0
[pid=30192/tid=30194] ppid=30190 vsize=176688 CPUtime=50.93 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 15696 0 0 0 5085 8 0 0 20 0 3 0 331719301 180928512 30274 33554432000 4194304 5964478 140736624034736 139975223527768 4222384 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176688 CPUtime=50.94 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 14332 0 0 0 5083 11 0 0 20 0 3 0 331719301 180928512 30274 33554432000 4194304 5964478 140736624034736 139975213037928 4221120 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) 176688
[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27088384/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=242584 CPUtime=204.55 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 45102 0 0 0 20425 30 0 0 20 0 3 0 331719300 248406016 44404 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 60646 44404 204 433 0 60210 0
[pid=30192/tid=30194] ppid=30190 vsize=242584 CPUtime=102 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 25212 0 0 0 10185 15 0 0 20 0 3 0 331719301 248406016 44404 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=242584 CPUtime=102.02 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 18946 0 0 0 10186 16 0 0 20 0 3 0 331719301 248406016 44404 33554432000 4194304 5964478 140736624034736 139975213037880 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 242584
[startup+162.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26928284/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=309784 CPUtime=324.5 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 64889 0 0 0 32401 49 0 0 20 0 3 0 331719300 317218816 64724 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 77446 64724 204 433 0 77010 0
[pid=30192/tid=30194] ppid=30190 vsize=309784 CPUtime=161.82 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 31398 0 0 0 16163 19 0 0 20 0 3 0 331719301 317218816 64724 33554432000 4194304 5964478 140736624034736 139975223527224 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=309784 CPUtime=161.85 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 32547 0 0 0 16152 33 0 0 20 0 3 0 331719301 317218816 64724 33554432000 4194304 5964478 140736624034736 139975213037880 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 309784
[startup+222.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26813488/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=441136 CPUtime=444.44 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 85228 0 0 0 44374 70 0 0 20 0 3 0 331719300 451723264 85017 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 110284 85017 204 433 0 109848 0
[pid=30192/tid=30194] ppid=30190 vsize=441136 CPUtime=221.64 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 39884 0 0 0 22137 27 0 0 20 0 3 0 331719301 451723264 85017 33554432000 4194304 5964478 140736624034736 139975223527224 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=441136 CPUtime=221.68 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 44400 0 0 0 22120 48 0 0 20 0 3 0 331719301 451723264 85017 33554432000 4194304 5964478 140736624034736 139975213037880 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 441136
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26780920/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=440816 CPUtime=564.39 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 86994 0 0 0 56368 71 0 0 20 0 3 0 331719300 451395584 86009 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 110204 86009 204 433 0 109768 0
[pid=30192/tid=30194] ppid=30190 vsize=440816 CPUtime=281.48 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 41509 0 0 0 28119 29 0 0 20 0 3 0 331719301 451395584 86009 33554432000 4194304 5964478 140736624034736 139975223528264 4400115 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=440816 CPUtime=281.5 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 44541 0 0 0 28101 49 0 0 20 0 3 0 331719301 451395584 86009 33554432000 4194304 5964478 140736624034736 139975213037640 4403411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 440816
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26715244/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=506492 CPUtime=684.38 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 96109 0 0 0 68356 82 0 0 20 0 3 0 331719300 518647808 95124 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 126623 95124 204 433 0 126187 0
################
# More data... #
################
[pid=30192/tid=30195] ppid=30190 vsize=506492 CPUtime=341.35 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 53586 0 0 0 34074 61 0 0 20 0 3 0 331719301 518647808 95124 33554432000 4194304 5964478 140736624034736 139975213037688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 506492
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26629056/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=507300 CPUtime=804.36 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 110609 0 0 0 80336 100 0 0 20 0 3 0 331719300 519475200 109624 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 126825 109624 204 433 0 126389 0
[pid=30192/tid=30194] ppid=30190 vsize=507300 CPUtime=401.18 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 42774 0 0 0 40087 31 0 0 20 0 3 0 331719301 519475200 109624 33554432000 4194304 5964478 140736624034736 139975223528264 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=507300 CPUtime=401.2 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 66891 0 0 0 40040 80 0 0 20 0 3 0 331719301 519475200 109624 33554432000 4194304 5964478 140736624034736 139975213037880 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 507300
[startup+462.3 s]
/proc/loadavg: 4.06 4.02 3.93 5/182 30200
/proc/meminfo: memFree=26516532/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=638652 CPUtime=924.34 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 128365 0 0 0 92321 113 0 0 20 0 3 0 331719300 653979648 127380 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 159663 127380 204 433 0 159227 0
[pid=30192/tid=30194] ppid=30190 vsize=638652 CPUtime=461.02 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 57247 0 0 0 46060 42 0 0 20 0 3 0 331719301 653979648 127380 33554432000 4194304 5964478 140736624034736 139975223527416 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=638652 CPUtime=461.04 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70174 0 0 0 46021 83 0 0 20 0 3 0 331719301 653979648 127380 33554432000 4194304 5964478 140736624034736 139975213037640 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 638652
[startup+522.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 30223
/proc/meminfo: memFree=26425872/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=705404 CPUtime=1044.31 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 141085 0 0 0 104310 121 0 0 20 0 3 0 331719300 722333696 140158 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 176351 140158 204 433 0 175915 0
[pid=30192/tid=30194] ppid=30190 vsize=705404 CPUtime=520.86 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 69930 0 0 0 52036 50 0 0 20 0 3 0 331719301 722333696 140158 33554432000 4194304 5964478 140736624034736 139975223527416 4400432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=705404 CPUtime=520.89 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70211 0 0 0 52005 84 0 0 20 0 3 0 331719301 722333696 140158 33554432000 4194304 5964478 140736624034736 139975213037640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 705404
[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 30223
/proc/meminfo: memFree=26376200/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=705544 CPUtime=1164.26 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 148416 0 0 0 116300 126 0 0 20 0 3 0 331719300 722477056 147587 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 176386 147587 204 433 0 175950 0
[pid=30192/tid=30194] ppid=30190 vsize=705544 CPUtime=580.68 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 77219 0 0 0 58012 56 0 0 20 0 3 0 331719301 722477056 147587 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=705544 CPUtime=580.73 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70253 0 0 0 57988 85 0 0 20 0 3 0 331719301 722477056 147587 33554432000 4194304 5964478 140736624034736 139975213037640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 705544
[startup+642.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/181 30223
/proc/meminfo: memFree=26299100/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=705684 CPUtime=1284.23 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 153708 0 0 0 128292 131 0 0 20 0 3 0 331719300 722620416 152837 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 176421 152837 204 433 0 175985 0
[pid=30192/tid=30194] ppid=30190 vsize=705684 CPUtime=640.53 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 82435 0 0 0 63992 61 0 0 20 0 3 0 331719301 722620416 152837 33554432000 4194304 5964478 140736624034736 139975223527416 4400078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=705684 CPUtime=640.55 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70329 0 0 0 63969 86 0 0 20 0 3 0 331719301 722620416 152837 33554432000 4194304 5964478 140736624034736 139975213037640 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 705684
[startup+702.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/181 30223
/proc/meminfo: memFree=26261008/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=771360 CPUtime=1404.17 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 163196 0 0 0 140278 139 0 0 20 0 3 0 331719300 789872640 162338 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 192840 162338 204 433 0 192404 0
[pid=30192/tid=30194] ppid=30190 vsize=771360 CPUtime=700.34 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 91881 0 0 0 69963 71 0 0 20 0 3 0 331719301 789872640 162338 33554432000 4194304 5964478 140736624034736 139975223527416 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=771360 CPUtime=700.38 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70371 0 0 0 69950 88 0 0 20 0 3 0 331719301 789872640 162338 33554432000 4194304 5964478 140736624034736 139975213037640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 771360
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 30224
/proc/meminfo: memFree=26229928/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=771360 CPUtime=1524.16 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 166601 0 0 0 152274 142 0 0 20 0 3 0 331719300 789872640 165734 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 192840 165734 204 433 0 192404 0
[pid=30192/tid=30194] ppid=30190 vsize=771360 CPUtime=760.19 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 95276 0 0 0 75944 75 0 0 20 0 3 0 331719301 789872640 165734 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=771360 CPUtime=760.24 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70381 0 0 0 75935 89 0 0 20 0 3 0 331719301 789872640 165734 33554432000 4194304 5964478 140736624034736 139975213037640 4392863 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 771360
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 30224
/proc/meminfo: memFree=26160736/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837572 CPUtime=1644.13 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183302 0 0 0 164258 155 0 0 20 0 3 0 331719300 857673728 182435 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209393 182435 204 433 0 208957 0
[pid=30192/tid=30194] ppid=30190 vsize=837572 CPUtime=820.02 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111960 0 0 0 81914 88 0 0 20 0 3 0 331719301 857673728 182435 33554432000 4194304 5964478 140736624034736 139975223527416 4400109 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837572 CPUtime=820.08 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70398 0 0 0 81918 90 0 0 20 0 3 0 331719301 857673728 182435 33554432000 4194304 5964478 140736624034736 139975213037640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 837572
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 30224
/proc/meminfo: memFree=26158752/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837704 CPUtime=1764.12 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183373 0 0 0 176257 155 0 0 20 0 3 0 331719300 857808896 182506 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209426 182506 204 433 0 208990 0
[pid=30192/tid=30194] ppid=30190 vsize=837704 CPUtime=879.87 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111977 0 0 0 87898 89 0 0 20 0 3 0 331719301 857808896 182506 33554432000 4194304 5964478 140736624034736 139975223527416 4388234 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837704 CPUtime=879.92 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70452 0 0 0 87901 91 0 0 20 0 3 0 331719301 857808896 182506 33554432000 4194304 5964478 140736624034736 139975213037640 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 837704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 3/177 30225
/proc/meminfo: memFree=26703744/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837976 CPUtime=1800.12 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183433 0 0 0 179857 155 0 0 20 0 3 0 331719300 858087424 182566 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209494 182566 204 433 0 209058 0
[pid=30192/tid=30194] ppid=30190 vsize=837976 CPUtime=897.83 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111983 0 0 0 89694 89 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837976 CPUtime=897.88 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70506 0 0 0 89697 91 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975213037640 4399946 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 837976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 3/177 30225
/proc/meminfo: memFree=26703744/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837976 CPUtime=1800.12 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183433 0 0 0 179857 155 0 0 20 0 3 0 331719300 858087424 182566 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209494 182566 204 433 0 209058 0
[pid=30192/tid=30194] ppid=30190 vsize=837976 CPUtime=897.83 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111983 0 0 0 89694 89 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837976 CPUtime=897.88 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70506 0 0 0 89697 91 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975213037640 4399946 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 837976
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30192 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=933280
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=840720
# CPU time returned by wait4() is 1795.77
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.326
CPU time (s): 1800.12
CPU user time (s): 1798.57
CPU system time (s): 1.55
CPU usage (%): 199.941
Max. virtual memory (cumulated for all children) (KiB): 837976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 1.84072
maximum resident set size= 730268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183434
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= 445
involuntary context switches= 2324
runsolver used 1.74273 second user time and 4.92325 second system time
The end