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-3704514-1338094101/watcher-3704514-1338094101 -o /tmp/evaluation-result-3704514-1338094101/solver-3704514-1338094101 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704514-1338094101.opb
running on 4 cores: 1,3,5,7
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 4.00 3.95 4/178 23731
/proc/meminfo: memFree=30633580/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=162956 CPUtime=0 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 1045 0 0 0 0 0 0 0 20 0 3 0 275534926 166866944 997 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40739 999 187 433 0 40291 0
[pid=23731/tid=23732] ppid=23729 vsize=162956 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 3 0 275534927 166866944 999 33554432000 4194304 5965102 140735224275856 140000620136888 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=162956 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 3 0 275534927 166866944 999 33554432000 4194304 5965102 140735224275856 140000609647032 5131650 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0221509 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 23731
/proc/meminfo: memFree=30633580/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163520 CPUtime=0.03 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 1381 0 0 0 3 0 0 0 20 0 3 0 275534926 167444480 1333 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40880 1333 217 433 0 40432 0
[pid=23731/tid=23732] ppid=23729 vsize=163520 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 3 0 275534927 167444480 1333 33554432000 4194304 5965102 140735224275856 140000620136904 5237527 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163520 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 289 0 0 0 0 0 0 0 20 0 3 0 275534927 167444480 1334 33554432000 4194304 5965102 140735224275856 140000609645864 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 163520
[startup+0.100326 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 23731
/proc/meminfo: memFree=30633580/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163520 CPUtime=0.18 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 1684 0 0 0 18 0 0 0 20 0 3 0 275534926 167444480 1636 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40880 1637 217 433 0 40432 0
[pid=23731/tid=23732] ppid=23729 vsize=163520 CPUtime=0.08 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 327 0 0 0 8 0 0 0 20 0 3 0 275534927 167444480 1637 33554432000 4194304 5965102 140735224275856 140000620136904 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163520 CPUtime=0.08 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 439 0 0 0 8 0 0 0 20 0 3 0 275534927 167444480 1637 33554432000 4194304 5965102 140735224275856 140000609645864 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163520
[startup+0.30028 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 23731
/proc/meminfo: memFree=30633580/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163520 CPUtime=0.58 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 2284 0 0 0 58 0 0 0 20 0 3 0 275534926 167444480 2236 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40880 2236 217 433 0 40432 0
[pid=23731/tid=23732] ppid=23729 vsize=163520 CPUtime=0.28 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 608 0 0 0 28 0 0 0 20 0 3 0 275534927 167444480 2236 33554432000 4194304 5965102 140735224275856 140000620136904 4389268 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163520 CPUtime=0.28 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 757 0 0 0 28 0 0 0 20 0 3 0 275534927 167444480 2236 33554432000 4194304 5965102 140735224275856 140000609645864 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163520
[startup+0.70029 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 23731
/proc/meminfo: memFree=30633580/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163520 CPUtime=1.38 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 3288 0 0 0 136 2 0 0 20 0 3 0 275534926 167444480 3240 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40880 3241 217 433 0 40432 0
[pid=23731/tid=23732] ppid=23729 vsize=163520 CPUtime=0.68 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 1162 0 0 0 68 0 0 0 20 0 3 0 275534927 167444480 3241 33554432000 4194304 5965102 140735224275856 140000620136440 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163520 CPUtime=0.68 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 1208 0 0 0 66 2 0 0 20 0 3 0 275534927 167444480 3241 33554432000 4194304 5965102 140735224275856 140000609646904 4401472 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163520
[startup+1.50031 s]
/proc/loadavg: 4.00 4.00 3.95 3/177 23735
/proc/meminfo: memFree=31212512/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163520 CPUtime=2.98 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 4152 0 0 0 294 4 0 0 20 0 3 0 275534926 167444480 4104 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40880 4104 217 433 0 40432 0
[pid=23731/tid=23732] ppid=23729 vsize=163520 CPUtime=1.47 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 1481 0 0 0 147 0 0 0 20 0 3 0 275534927 167444480 4104 33554432000 4194304 5965102 140735224275856 140000620136776 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163520 CPUtime=1.47 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 1752 0 0 0 144 3 0 0 20 0 3 0 275534927 167444480 4104 33554432000 4194304 5965102 140735224275856 140000609646904 4400963 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163520
[startup+3.10033 s]
/proc/loadavg: 3.84 3.97 3.94 3/177 23735
/proc/meminfo: memFree=31209048/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163808 CPUtime=6.18 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 5462 0 0 0 613 5 0 0 20 0 3 0 275534926 167739392 5414 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40952 5414 217 433 0 40504 0
[pid=23731/tid=23732] ppid=23729 vsize=163808 CPUtime=3.07 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 1878 0 0 0 307 0 0 0 20 0 3 0 275534927 167739392 5414 33554432000 4194304 5965102 140735224275856 140000620136376 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163808 CPUtime=3.07 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 2665 0 0 0 303 4 0 0 20 0 3 0 275534927 167739392 5414 33554432000 4194304 5965102 140735224275856 140000609646904 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163808
[startup+6.3003 s]
/proc/loadavg: 3.84 3.97 3.94 5/181 23787
/proc/meminfo: memFree=30996848/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=163952 CPUtime=12.57 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 8040 0 0 0 1251 6 0 0 20 0 3 0 275534926 167886848 8357 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 40988 8357 217 433 0 40540 0
[pid=23731/tid=23732] ppid=23729 vsize=163952 CPUtime=6.26 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 3380 0 0 0 625 1 0 0 20 0 3 0 275534927 167886848 8357 33554432000 4194304 5965102 140735224275856 140000620136248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=163952 CPUtime=6.26 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 3741 0 0 0 622 4 0 0 20 0 3 0 275534927 167886848 8357 33554432000 4194304 5965102 140735224275856 140000609646904 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163952
[startup+12.7004 s]
/proc/loadavg: 3.86 3.97 3.94 5/181 23787
/proc/meminfo: memFree=30928640/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=164168 CPUtime=25.36 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 13049 0 0 0 2527 9 0 0 20 0 3 0 275534926 168108032 13366 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 41042 13366 217 433 0 40594 0
[pid=23731/tid=23732] ppid=23729 vsize=164168 CPUtime=12.64 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 6016 0 0 0 1261 3 0 0 20 0 3 0 275534927 168108032 13366 33554432000 4194304 5965102 140735224275856 140000620136248 5134623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=164168 CPUtime=12.64 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 6114 0 0 0 1258 6 0 0 20 0 3 0 275534927 168108032 13366 33554432000 4194304 5965102 140735224275856 140000609646904 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164168
[startup+25.5004 s]
/proc/loadavg: 3.88 3.97 3.94 5/181 23787
/proc/meminfo: memFree=30906732/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=164464 CPUtime=50.95 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 17656 0 0 0 5082 13 0 0 20 0 3 0 275534926 168411136 17965 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 41116 17965 217 433 0 40668 0
[pid=23731/tid=23732] ppid=23729 vsize=164464 CPUtime=25.41 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 9121 0 0 0 2535 6 0 0 20 0 3 0 275534927 168411136 17965 33554432000 4194304 5965102 140735224275856 140000620136248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=164464 CPUtime=25.4 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 7616 0 0 0 2533 7 0 0 20 0 3 0 275534927 168411136 17965 33554432000 4194304 5965102 140735224275856 140000609646904 4401559 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 164464
[startup+51.1004 s]
/proc/loadavg: 3.92 3.97 3.94 5/181 23787
/proc/meminfo: memFree=30830024/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=165704 CPUtime=102.14 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 28616 0 0 0 10193 21 0 0 20 0 3 0 275534926 169680896 30291 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 41426 30291 217 433 0 40978 0
[pid=23731/tid=23732] ppid=23729 vsize=165704 CPUtime=50.94 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 13176 0 0 0 5084 10 0 0 20 0 3 0 275534927 169680896 30291 33554432000 4194304 5965102 140735224275856 140000620136248 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=165704 CPUtime=50.93 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 14521 0 0 0 5083 10 0 0 20 0 3 0 275534927 169680896 30291 33554432000 4194304 5965102 140735224275856 140000609646904 4389809 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 165704
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.94 5/182 23790
/proc/meminfo: memFree=30717072/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=230340 CPUtime=204.54 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 40248 0 0 0 20422 32 0 0 20 0 3 0 275534926 235868160 41021 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 57585 41021 217 433 0 57137 0
[pid=23731/tid=23732] ppid=23729 vsize=230340 CPUtime=102.01 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 16536 0 0 0 10186 15 0 0 20 0 3 0 275534927 235868160 41021 33554432000 4194304 5965102 140735224275856 140000620137400 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=230340 CPUtime=102.01 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 22793 0 0 0 10183 18 0 0 20 0 3 0 275534927 235868160 41021 33554432000 4194304 5965102 140735224275856 140000609646904 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 230340
[startup+162.3 s]
/proc/loadavg: 3.98 3.97 3.94 5/181 23790
/proc/meminfo: memFree=30648064/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=296020 CPUtime=324.51 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 48473 0 0 0 32411 40 0 0 20 0 3 0 275534926 303124480 49246 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 74005 49246 217 433 0 73557 0
[pid=23731/tid=23732] ppid=23729 vsize=296020 CPUtime=161.85 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 19490 0 0 0 16165 20 0 0 20 0 3 0 275534927 303124480 49246 33554432000 4194304 5965102 140735224275856 140000620136440 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=296020 CPUtime=161.85 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 28064 0 0 0 16162 23 0 0 20 0 3 0 275534927 303124480 49246 33554432000 4194304 5965102 140735224275856 140000609646904 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 296020
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23790
/proc/meminfo: memFree=30545360/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=361696 CPUtime=444.49 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 60336 0 0 0 44395 54 0 0 20 0 3 0 275534926 370376704 61109 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 90424 61109 217 433 0 89976 0
[pid=23731/tid=23732] ppid=23729 vsize=361696 CPUtime=221.7 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 25613 0 0 0 22141 29 0 0 20 0 3 0 275534927 370376704 61109 33554432000 4194304 5965102 140735224275856 140000620136440 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=361696 CPUtime=221.69 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 33804 0 0 0 22139 30 0 0 20 0 3 0 275534927 370376704 61109 33554432000 4194304 5965102 140735224275856 140000609646904 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 361696
################
# More data... #
################
/proc/loadavg: 3.99 3.97 3.94 5/181 23791
/proc/meminfo: memFree=30393384/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=361916 CPUtime=564.46 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 66859 0 0 0 56383 63 0 0 20 0 3 0 275534926 370601984 68003 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 90479 68003 217 433 0 90031 0
[pid=23731/tid=23732] ppid=23729 vsize=361916 CPUtime=281.53 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 31188 0 0 0 28115 38 0 0 20 0 3 0 275534927 370601984 68003 33554432000 4194304 5965102 140735224275856 140000620136248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=361916 CPUtime=281.54 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 34752 0 0 0 28122 32 0 0 20 0 3 0 275534927 370601984 68003 33554432000 4194304 5965102 140735224275856 140000609646904 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 361916
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23791
/proc/meminfo: memFree=30246360/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=428016 CPUtime=684.4 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 75154 0 0 0 68366 74 0 0 20 0 3 0 275534926 438288384 76371 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 107004 76371 217 433 0 106556 0
[pid=23731/tid=23732] ppid=23729 vsize=428016 CPUtime=341.34 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 33831 0 0 0 34091 43 0 0 20 0 3 0 275534927 438288384 76371 33554432000 4194304 5965102 140735224275856 140000620136248 4401456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=428016 CPUtime=341.37 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 40404 0 0 0 34097 40 0 0 20 0 3 0 275534927 438288384 76371 33554432000 4194304 5965102 140735224275856 140000609646904 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 428016
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23791
/proc/meminfo: memFree=30104496/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=429100 CPUtime=804.36 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 80364 0 0 0 80353 83 0 0 20 0 3 0 275534926 439398400 81563 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 107275 81563 217 433 0 106827 0
[pid=23731/tid=23732] ppid=23729 vsize=429100 CPUtime=401.19 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 38990 0 0 0 40066 53 0 0 20 0 3 0 275534927 439398400 81563 33554432000 4194304 5965102 140735224275856 140000620136248 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=429100 CPUtime=401.19 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 40455 0 0 0 40078 41 0 0 20 0 3 0 275534927 439398400 81563 33554432000 4194304 5965102 140735224275856 140000609646904 4220678 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 429100
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23791
/proc/meminfo: memFree=29931868/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=429100 CPUtime=924.32 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 92297 0 0 0 92338 94 0 0 20 0 3 0 275534926 439398400 93474 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 107275 93474 217 433 0 106827 0
[pid=23731/tid=23732] ppid=23729 vsize=429100 CPUtime=461.03 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 43629 0 0 0 46045 58 0 0 20 0 3 0 275534927 439398400 93474 33554432000 4194304 5965102 140735224275856 140000620136248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=429100 CPUtime=461.02 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 47749 0 0 0 46052 50 0 0 20 0 3 0 275534927 439398400 93474 33554432000 4194304 5965102 140735224275856 140000609646712 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 429100
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23791
/proc/meminfo: memFree=29760632/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=494776 CPUtime=1044.3 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 104057 0 0 0 104323 107 0 0 20 0 3 0 275534926 506650624 105233 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 123694 105233 217 433 0 123246 0
[pid=23731/tid=23732] ppid=23729 vsize=494776 CPUtime=520.88 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 48694 0 0 0 52023 65 0 0 20 0 3 0 275534927 506650624 105233 33554432000 4194304 5965102 140735224275856 140000620136440 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=494776 CPUtime=520.87 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 54444 0 0 0 52031 56 0 0 20 0 3 0 275534927 506650624 105233 33554432000 4194304 5965102 140735224275856 140000609646904 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 494776
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 4.07 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29704304/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1074.7 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 109239 0 0 0 107358 112 0 0 20 0 3 0 275534926 573759488 110415 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 110415 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=536.04 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49737 0 0 0 53536 68 0 0 20 0 3 0 275534927 573759488 110415 33554432000 4194304 5965102 140735224275856 140000620136248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=536.03 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 58583 0 0 0 53543 60 0 0 20 0 3 0 275534927 573759488 110415 33554432000 4194304 5965102 140735224275856 140000609646904 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1074.7
Current children cumulated vsize (KiB) 560312
[startup+550.3 s]
/proc/loadavg: 4.05 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29660640/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1100.3 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 112491 0 0 0 109914 116 0 0 20 0 3 0 275534926 573759488 113667 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 113667 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=548.81 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49862 0 0 0 54813 68 0 0 20 0 3 0 275534927 573759488 113667 33554432000 4194304 5965102 140735224275856 140000620136248 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=548.8 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 61710 0 0 0 54817 63 0 0 20 0 3 0 275534927 573759488 113667 33554432000 4194304 5965102 140735224275856 140000609646904 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1100.3
Current children cumulated vsize (KiB) 560312
[startup+553.5 s]
/proc/loadavg: 4.05 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29648736/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1106.7 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 113171 0 0 0 110553 117 0 0 20 0 3 0 275534926 573759488 114347 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 114347 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=552 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49865 0 0 0 55132 68 0 0 20 0 3 0 275534927 573759488 114347 33554432000 4194304 5965102 140735224275856 140000620136248 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=551.99 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 62387 0 0 0 55135 64 0 0 20 0 3 0 275534927 573759488 114347 33554432000 4194304 5965102 140735224275856 140000609646904 4401129 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1106.7
Current children cumulated vsize (KiB) 560312
[startup+556.7 s]
/proc/loadavg: 4.05 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29638676/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1113.1 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 113840 0 0 0 111192 118 0 0 20 0 3 0 275534926 573759488 115016 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 115016 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=555.19 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49882 0 0 0 55451 68 0 0 20 0 3 0 275534927 573759488 115016 33554432000 4194304 5965102 140735224275856 140000620136248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=555.18 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 63039 0 0 0 55453 65 0 0 20 0 3 0 275534927 573759488 115016 33554432000 4194304 5965102 140735224275856 140000609646904 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1113.1
Current children cumulated vsize (KiB) 560312
[startup+557.5 s]
/proc/loadavg: 4.05 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29638676/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1114.7 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 114003 0 0 0 111352 118 0 0 20 0 3 0 275534926 573759488 115179 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 115179 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=555.99 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49883 0 0 0 55531 68 0 0 20 0 3 0 275534927 573759488 115179 33554432000 4194304 5965102 140735224275856 140000620136248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=555.98 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 63201 0 0 0 55533 65 0 0 20 0 3 0 275534927 573759488 115179 33554432000 4194304 5965102 140735224275856 140000609646904 4401046 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1114.7
Current children cumulated vsize (KiB) 560312
[startup+558.3 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29634956/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1116.29 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 114149 0 0 0 111511 118 0 0 20 0 3 0 275534926 573759488 115325 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 115325 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=556.79 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49885 0 0 0 55611 68 0 0 20 0 3 0 275534927 573759488 115325 33554432000 4194304 5965102 140735224275856 140000620136248 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=556.78 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 63345 0 0 0 55612 66 0 0 20 0 3 0 275534927 573759488 115325 33554432000 4194304 5965102 140735224275856 140000609646904 4401123 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (KiB) 560312
[startup+558.5 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 23791
/proc/meminfo: memFree=29634956/32873844 swapFree=6600/6600
[pid=23731] ppid=23729 vsize=560312 CPUtime=1116.69 cores=1,3,5,7
/proc/23731/stat : 23731 (pwbo2.0) S 23729 23731 22912 0 -1 4202496 114185 0 0 0 111551 118 0 0 20 0 3 0 275534926 573759488 115361 33554432000 4194304 5965102 140735224275856 140735224275376 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23731/statm: 140078 115361 217 433 0 139630 0
[pid=23731/tid=23732] ppid=23729 vsize=560312 CPUtime=556.99 cores=1,3,5,7
/proc/23731/task/23732/stat : 23732 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 49885 0 0 0 55631 68 0 0 20 0 3 0 275534927 573759488 115361 33554432000 4194304 5965102 140735224275856 140000620136248 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23731/tid=23733] ppid=23729 vsize=560312 CPUtime=556.98 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (pwbo2.0) R 23729 23731 22912 0 -1 4202560 63381 0 0 0 55632 66 0 0 20 0 3 0 275534927 573759488 115361 33554432000 4194304 5965102 140735224275856 140000609646904 4401041 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1116.69
Current children cumulated vsize (KiB) 560312
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23731 and gives
# childrusage.ru_utime.tv_sec=1112
# childrusage.ru_utime.tv_usec=772832
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=372791
# CPU time returned by wait4() is 1114.15
# while last known CPU time is 1116.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 558.587
CPU time (s): 1116.69
CPU user time (s): 1115.51
CPU system time (s): 1.18
CPU usage (%): 199.913
Max. virtual memory (cumulated for all children) (KiB): 560312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1112.77
system time used= 1.37279
maximum resident set size= 461508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114201
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= 327
involuntary context switches= 1138
runsolver used 0.92086 second user time and 2.6376 second system time
The end