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-3703621-1338092365/watcher-3703621-1338092365 -o /tmp/evaluation-result-3703621-1338092365/solver-3703621-1338092365 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703621-1338092365.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 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=4712 CPUtime=0 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) R 7899 7901 7065 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275362482 4825088 309 33554432000 4194304 5965102 140734641054448 140734641052200 4224389 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 1178 309 162 433 0 579 0
[startup+0.0725321 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=169232 CPUtime=0.08 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 4842 0 0 0 7 1 0 0 20 0 3 0 275362482 173293568 4631 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42308 4634 196 433 0 41872 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 169232
[startup+0.100219 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=0.13 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 6772 0 0 0 12 1 0 0 20 0 3 0 275362482 175484928 6450 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6450 203 433 0 42407 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 171372
[startup+0.300179 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=0.53 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 7087 0 0 0 52 1 0 0 20 0 3 0 275362482 175484928 6515 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6515 205 433 0 42407 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 171372
[startup+0.700176 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=1.32 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 7218 0 0 0 131 1 0 0 20 0 3 0 275362482 175484928 6571 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6571 205 433 0 42407 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 171372
[startup+1.50029 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27986016/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=2.92 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 7645 0 0 0 290 2 0 0 20 0 3 0 275362482 175484928 6998 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6998 205 433 0 42407 0
[pid=7901/tid=7903] ppid=7899 vsize=171372 CPUtime=1.43 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 2480 0 0 0 143 0 0 0 20 0 3 0 275362488 175484928 6998 33554432000 4194304 5965102 140734641054448 139912761055688 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171372 CPUtime=1.43 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 3101 0 0 0 142 1 0 0 20 0 3 0 275362488 175484928 6998 33554432000 4194304 5965102 140734641054448 139912750565208 4401146 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 171372
[startup+3.10029 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27975584/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=6.12 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 10451 0 0 0 609 3 0 0 20 0 3 0 275362482 175484928 9021 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 9021 206 433 0 42407 0
[pid=7901/tid=7903] ppid=7899 vsize=171372 CPUtime=3.03 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 3924 0 0 0 303 0 0 0 20 0 3 0 275362488 175484928 9021 33554432000 4194304 5965102 140734641054448 139912761055576 4420575 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171372 CPUtime=3.03 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 4463 0 0 0 301 2 0 0 20 0 3 0 275362488 175484928 9022 33554432000 4194304 5965102 140734641054448 139912750565688 4400902 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 171372
[startup+6.3003 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27947436/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=12.52 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 16078 0 0 0 1247 5 0 0 20 0 3 0 275362482 175484928 13172 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 13172 206 433 0 42407 0
[pid=7901/tid=7903] ppid=7899 vsize=171372 CPUtime=6.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 6857 0 0 0 621 1 0 0 20 0 3 0 275362488 175484928 13172 33554432000 4194304 5965102 140734641054448 139912761055768 5123014 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171372 CPUtime=6.23 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 7157 0 0 0 619 4 0 0 20 0 3 0 275362488 175484928 13172 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 171372
[startup+12.7002 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27892752/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171856 CPUtime=25.32 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 24061 0 0 0 2524 8 0 0 20 0 3 0 275362482 175980544 21155 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42964 21155 206 433 0 42528 0
[pid=7901/tid=7903] ppid=7899 vsize=171856 CPUtime=12.62 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 9677 0 0 0 1260 2 0 0 20 0 3 0 275362488 175980544 21155 33554432000 4194304 5965102 140734641054448 139912761055560 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171856 CPUtime=12.63 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 12320 0 0 0 1256 7 0 0 20 0 3 0 275362488 175980544 21155 33554432000 4194304 5965102 140734641054448 139912750565688 4401137 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 171856
[startup+25.5002 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27844624/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171856 CPUtime=50.91 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 30031 0 0 0 5080 11 0 0 20 0 3 0 275362482 175980544 27125 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42964 27125 206 433 0 42528 0
[pid=7901/tid=7903] ppid=7899 vsize=171856 CPUtime=25.43 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 12856 0 0 0 2539 4 0 0 20 0 3 0 275362488 175980544 27125 33554432000 4194304 5965102 140734641054448 139912761055032 4393869 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171856 CPUtime=25.43 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 15111 0 0 0 2534 9 0 0 20 0 3 0 275362488 175980544 27125 33554432000 4194304 5965102 140734641054448 139912750565688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 171856
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 7908
/proc/meminfo: memFree=27753724/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=238384 CPUtime=102.11 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 42409 0 0 0 10193 18 0 0 20 0 3 0 275362482 244105216 39503 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 59596 39503 206 433 0 59160 0
[pid=7901/tid=7903] ppid=7899 vsize=238384 CPUtime=51.02 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 17354 0 0 0 5096 6 0 0 20 0 3 0 275362488 244105216 39503 33554432000 4194304 5965102 140734641054448 139912761055224 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=238384 CPUtime=51.03 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 22991 0 0 0 5090 13 0 0 20 0 3 0 275362488 244105216 39503 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 238384
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27542104/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=370808 CPUtime=204.5 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 72534 0 0 0 20411 39 0 0 20 0 3 0 275362482 379707392 69627 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 92702 69627 206 433 0 92266 0
[pid=7901/tid=7903] ppid=7899 vsize=370808 CPUtime=102.23 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 24042 0 0 0 10213 10 0 0 20 0 3 0 275362488 379707392 69627 33554432000 4194304 5965102 140734641054448 139912761054824 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=370808 CPUtime=102.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46428 0 0 0 10192 32 0 0 20 0 3 0 275362488 379707392 69627 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 370808
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27477280/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=370372 CPUtime=324.47 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 80171 0 0 0 32403 44 0 0 20 0 3 0 275362482 379260928 77092 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 92593 77092 206 433 0 92157 0
[pid=7901/tid=7903] ppid=7899 vsize=370372 CPUtime=162.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 28014 0 0 0 16208 14 0 0 20 0 3 0 275362488 379260928 77092 33554432000 4194304 5965102 140734641054448 139912761056184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=370372 CPUtime=162.23 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 50093 0 0 0 16187 36 0 0 20 0 3 0 275362488 379260928 77092 33554432000 4194304 5965102 140734641054448 139912750565448 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 370372
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27450728/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=371788 CPUtime=444.45 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 86324 0 0 0 44395 50 0 0 20 0 3 0 275362482 380710912 83245 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 92947 83245 206 433 0 92511 0
[pid=7901/tid=7903] ppid=7899 vsize=371788 CPUtime=222.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 34110 0 0 0 22201 21 0 0 20 0 3 0 275362488 380710912 83245 33554432000 4194304 5965102 140734641054448 139912761055224 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=371788 CPUtime=222.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 50150 0 0 0 22187 37 0 0 20 0 3 0 275362488 380710912 83245 33554432000 4194304 5965102 140734641054448 139912750565448 4400992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 371788
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27385440/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=564.43 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 97040 0 0 0 56385 58 0 0 20 0 3 0 275362482 515207168 93960 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 93960 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=282.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 41507 0 0 0 28194 28 0 0 20 0 3 0 275362488 515207168 93960 33554432000 4194304 5965102 140734641054448 139912761054824 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=282.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53469 0 0 0 28184 40 0 0 20 0 3 0 275362488 515207168 93960 33554432000 4194304 5965102 140734641054448 139912750565688 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 503132
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27369536/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=588.43 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 99535 0 0 0 58779 64 0 0 20 0 3 0 275362482 515207168 96455 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 96455 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=294.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 44002 0 0 0 29389 33 0 0 20 0 3 0 275362488 515207168 96455 33554432000 4194304 5965102 140734641054448 139912761055032 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=294.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53469 0 0 0 29384 40 0 0 20 0 3 0 275362488 515207168 96455 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 588.43
Current children cumulated vsize (KiB) 503132
[startup+300.7 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27360112/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=601.23 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 100862 0 0 0 60058 65 0 0 20 0 3 0 275362482 515207168 97782 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 97782 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=300.62 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 45324 0 0 0 30028 34 0 0 20 0 3 0 275362488 515207168 97782 33554432000 4194304 5965102 140734641054448 139912761055224 4389308 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=300.64 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53474 0 0 0 30024 40 0 0 20 0 3 0 275362488 515207168 97782 33554432000 4194304 5965102 140734641054448 139912750565688 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 601.23
Current children cumulated vsize (KiB) 503132
[startup+303.9 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27355012/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=607.63 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 101570 0 0 0 60697 66 0 0 20 0 3 0 275362482 515207168 98490 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 98490 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=303.82 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46026 0 0 0 30347 35 0 0 20 0 3 0 275362488 515207168 98490 33554432000 4194304 5965102 140734641054448 139912761055272 4401015 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=303.84 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30344 40 0 0 20 0 3 0 275362488 515207168 98490 33554432000 4194304 5965102 140734641054448 139912750565688 4400981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 607.63
Current children cumulated vsize (KiB) 503132
[startup+305.5 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27353152/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=610.83 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 101907 0 0 0 61017 66 0 0 20 0 3 0 275362482 515207168 98827 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 98827 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=305.42 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46363 0 0 0 30507 35 0 0 20 0 3 0 275362488 515207168 98827 33554432000 4194304 5965102 140734641054448 139912761055032 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=305.44 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30504 40 0 0 20 0 3 0 275362488 515207168 98827 33554432000 4194304 5965102 140734641054448 139912750565688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 610.83
Current children cumulated vsize (KiB) 503132
[startup+307.1 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27351044/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=614.03 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 102300 0 0 0 61337 66 0 0 20 0 3 0 275362482 515207168 99217 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 99217 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=307.02 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46756 0 0 0 30667 35 0 0 20 0 3 0 275362488 515207168 99217 33554432000 4194304 5965102 140734641054448 139912761055224 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=307.04 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30664 40 0 0 20 0 3 0 275362488 515207168 99217 33554432000 4194304 5965102 140734641054448 139912750565720 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 614.03
Current children cumulated vsize (KiB) 503132
[startup+307.9 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27349432/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=615.64 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 102403 0 0 0 61498 66 0 0 20 0 3 0 275362482 515207168 99320 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 99320 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=307.82 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46859 0 0 0 30747 35 0 0 20 0 3 0 275362488 515207168 99320 33554432000 4194304 5965102 140734641054448 139912761055272 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=307.85 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30745 40 0 0 20 0 3 0 275362488 515207168 99320 33554432000 4194304 5965102 140734641054448 139912750565720 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 615.64
Current children cumulated vsize (KiB) 503132
[startup+308.1 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27349432/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=616.03 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 102444 0 0 0 61537 66 0 0 20 0 3 0 275362482 515207168 99361 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 99361 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=308.02 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46900 0 0 0 30767 35 0 0 20 0 3 0 275362488 515207168 99361 33554432000 4194304 5965102 140734641054448 139912761055272 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=308.04 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30764 40 0 0 20 0 3 0 275362488 515207168 99361 33554432000 4194304 5965102 140734641054448 139912750565720 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 616.03
Current children cumulated vsize (KiB) 503132
Child status: 255
Real time (s): 308.188
CPU time (s): 616.286
CPU user time (s): 615.482
CPU system time (s): 0.803877
CPU usage (%): 199.971
Max. virtual memory (cumulated for all children) (KiB): 503132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 615.482
system time used= 0.803877
maximum resident set size= 397560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102473
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= 507
involuntary context switches= 688
runsolver used 0.440932 second user time and 1.25281 second system time
The end