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 /var/tmp/evaluation-result-3500315-1307993337/watcher-3500315-1307993337 -o /var/tmp/evaluation-result-3500315-1307993337/solver-3500315-1307993337 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500315-1307993337.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: 3.85 3.97 3.90 3/179 16763
/proc/meminfo: memFree=29863792/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=2936 CPUtime=0 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) R 16761 16763 15608 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 1 0 910932535 3006464 360 33554432000 4194304 5714118 140736327566336 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/16763/statm: 734 361 167 372 0 255 0
[startup+0.0510609 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 16763
/proc/meminfo: memFree=29863792/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=154500 CPUtime=0.06 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 5969 0 0 0 5 1 0 0 25 0 3 0 910932535 158208000 5733 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 38625 5744 177 372 0 38250 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 154500
[startup+0.101083 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 16763
/proc/meminfo: memFree=29863792/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=163940 CPUtime=0.16 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 12878 0 0 0 14 2 0 0 25 0 3 0 910932535 167874560 12586 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 40985 12589 177 372 0 40610 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 163940
[startup+0.301075 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 16763
/proc/meminfo: memFree=29863792/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=166776 CPUtime=0.56 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 18114 0 0 0 53 3 0 0 25 0 3 0 910932535 170778624 17703 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41694 17703 178 372 0 41319 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 166776
[startup+0.701003 s]
/proc/loadavg: 3.85 3.97 3.90 3/179 16763
/proc/meminfo: memFree=29863792/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=166776 CPUtime=1.36 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 18459 0 0 0 133 3 0 0 25 0 3 0 910932535 170778624 17836 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41694 17836 178 372 0 41319 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 166776
[startup+1.50086 s]
/proc/loadavg: 3.85 3.97 3.90 5/182 16766
/proc/meminfo: memFree=29793164/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=166776 CPUtime=2.96 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 19182 0 0 0 291 5 0 0 25 0 3 0 910932535 170778624 18214 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41694 18214 179 372 0 41319 0
[pid=16763/tid=16765] ppid=16761 vsize=166776 CPUtime=1.46 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 2497 0 0 0 145 1 0 0 25 0 3 0 910932538 170778624 18214 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=166776 CPUtime=1.46 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 15526 0 0 0 143 3 0 0 25 0 3 0 910932538 170778624 18214 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 166776
[startup+3.10052 s]
/proc/loadavg: 3.85 3.97 3.90 5/182 16766
/proc/meminfo: memFree=29790932/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=166776 CPUtime=6.16 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 20651 0 0 0 601 15 0 0 25 0 3 0 910932535 170778624 19082 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41694 19082 179 372 0 41319 0
[pid=16763/tid=16765] ppid=16761 vsize=166776 CPUtime=3.06 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 3966 0 0 0 296 10 0 0 25 0 3 0 910932538 170778624 19082 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=166776 CPUtime=3.06 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 15526 0 0 0 302 4 0 0 25 0 3 0 910932538 170778624 19082 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 166776
[startup+6.30095 s]
/proc/loadavg: 3.87 3.97 3.90 5/182 16766
/proc/meminfo: memFree=29782156/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=167068 CPUtime=12.56 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 22702 0 0 0 1234 22 0 0 25 0 3 0 910932535 171077632 21133 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41767 21133 179 372 0 41392 0
[pid=16763/tid=16765] ppid=16761 vsize=167068 CPUtime=6.26 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 5862 0 0 0 610 16 0 0 25 0 3 0 910932538 171077632 21133 33554432000 4194304 5714118 140736327566336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=167068 CPUtime=6.26 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 15681 0 0 0 621 5 0 0 25 0 3 0 910932538 171077632 21133 33554432000 4194304 5714118 140736327566336 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 167068
[startup+12.7008 s]
/proc/loadavg: 3.88 3.97 3.90 5/182 16766
/proc/meminfo: memFree=29765104/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=167068 CPUtime=25.36 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 26058 0 0 0 2491 45 0 0 25 0 3 0 910932535 171077632 24489 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41767 24489 179 372 0 41392 0
[pid=16763/tid=16765] ppid=16761 vsize=167068 CPUtime=12.66 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 6481 0 0 0 1233 33 0 0 25 0 3 0 910932538 171077632 24489 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=167068 CPUtime=12.66 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 18418 0 0 0 1255 11 0 0 25 0 3 0 910932538 171077632 24489 33554432000 4194304 5714118 140736327566336 18446744073709551615 4310591 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 167068
[startup+25.5005 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 16766
/proc/meminfo: memFree=29741056/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=167068 CPUtime=50.96 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 30513 0 0 0 5020 76 0 0 25 0 3 0 910932535 171077632 28944 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 41767 28944 180 372 0 41392 0
[pid=16763/tid=16765] ppid=16761 vsize=167068 CPUtime=25.46 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 8745 0 0 0 2490 56 0 0 25 0 3 0 910932538 171077632 28944 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=167068 CPUtime=25.46 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 20609 0 0 0 2527 19 0 0 25 0 3 0 910932538 171077632 28944 33554432000 4194304 5714118 140736327566336 18446744073709551615 4311658 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 167068
[startup+51.101 s]
/proc/loadavg: 3.93 3.97 3.91 5/182 16767
/proc/meminfo: memFree=29657564/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=232604 CPUtime=102.16 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 49514 0 0 0 10072 144 0 0 25 0 3 0 910932535 238186496 47849 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 58151 47849 180 372 0 57776 0
[pid=16763/tid=16765] ppid=16761 vsize=232604 CPUtime=51.06 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 10466 0 0 0 5005 101 0 0 25 0 3 0 910932538 238186496 47849 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=232604 CPUtime=51.06 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 37889 0 0 0 5064 42 0 0 25 0 3 0 910932538 238186496 47849 33554432000 4194304 5714118 140736327566336 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 232604
[startup+102.307 s]
/proc/loadavg: 3.84 3.94 3.90 5/182 16809
/proc/meminfo: memFree=29784392/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=364000 CPUtime=204.57 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 64030 0 0 0 20214 243 0 0 25 0 3 0 910932535 372736000 62365 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 91000 62365 180 372 0 90625 0
[pid=16763/tid=16765] ppid=16761 vsize=364000 CPUtime=102.26 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 19368 0 0 0 10049 177 0 0 25 0 3 0 910932538 372736000 62365 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=364000 CPUtime=102.27 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 43503 0 0 0 10162 65 0 0 25 0 3 0 910932538 372736000 62365 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 364000
[startup+162.301 s]
/proc/loadavg: 3.94 3.95 3.91 6/182 16811
/proc/meminfo: memFree=29569480/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=364000 CPUtime=324.56 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 76355 0 0 0 32123 333 0 0 25 0 3 0 910932535 372736000 74690 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 91000 74690 180 372 0 90625 0
[pid=16763/tid=16765] ppid=16761 vsize=364000 CPUtime=162.26 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 28690 0 0 0 15977 249 0 0 25 0 3 0 910932538 372736000 74690 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=364000 CPUtime=162.26 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 46506 0 0 0 16143 83 0 0 25 0 3 0 910932538 372736000 74690 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 364000
[startup+222.3 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 16813
/proc/meminfo: memFree=29460560/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=430152 CPUtime=444.56 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 89646 0 0 0 44038 418 0 0 25 0 3 0 910932535 440475648 87981 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 107538 87981 180 372 0 107163 0
[pid=16763/tid=16765] ppid=16761 vsize=430152 CPUtime=222.26 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 37550 0 0 0 21909 317 0 0 25 0 3 0 910932538 440475648 87981 33554432000 4194304 5714118 140736327566336 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=430152 CPUtime=222.26 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 50937 0 0 0 22126 100 0 0 25 0 3 0 910932538 440475648 87981 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 430152
[startup+282.301 s]
/proc/loadavg: 4.02 3.97 3.91 5/182 16814
/proc/meminfo: memFree=29365008/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=430816 CPUtime=564.57 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 100372 0 0 0 55968 489 0 0 25 0 3 0 910932535 441155584 98707 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 107704 98707 180 372 0 107329 0
[pid=16763/tid=16765] ppid=16761 vsize=430816 CPUtime=282.27 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 44783 0 0 0 27850 377 0 0 25 0 3 0 910932538 441155584 98707 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=430816 CPUtime=282.26 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 54430 0 0 0 28115 111 0 0 25 0 3 0 910932538 441155584 98707 33554432000 4194304 5714118 140736327566336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 430816
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 3.89 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29460404/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=430956 CPUtime=614.17 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 106370 0 0 0 60902 515 0 0 25 0 3 0 910932535 441298944 104705 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 107739 104705 180 372 0 107364 0
[pid=16763/tid=16765] ppid=16761 vsize=430956 CPUtime=307.07 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 49496 0 0 0 30307 400 0 0 25 0 3 0 910932538 441298944 104705 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=430956 CPUtime=307.06 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 55715 0 0 0 30592 114 0 0 25 0 3 0 910932538 441298944 104705 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 614.17
Current children cumulated vsize (KiB) 430956
[startup+313.506 s]
/proc/loadavg: 3.90 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29428408/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=496492 CPUtime=626.98 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 107106 0 0 0 62179 519 0 0 25 0 3 0 910932535 508407808 105441 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 124123 105441 180 372 0 123748 0
[pid=16763/tid=16765] ppid=16761 vsize=496492 CPUtime=313.47 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 49912 0 0 0 30943 404 0 0 25 0 3 0 910932538 508407808 105441 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=496492 CPUtime=313.47 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 56035 0 0 0 31232 115 0 0 25 0 3 0 910932538 508407808 105441 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 626.98
Current children cumulated vsize (KiB) 496492
[startup+319.901 s]
/proc/loadavg: 3.90 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29402488/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=562028 CPUtime=639.77 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 108583 0 0 0 63449 528 0 0 25 0 3 0 910932535 575516672 106918 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 140507 106918 180 372 0 140132 0
[pid=16763/tid=16765] ppid=16761 vsize=562028 CPUtime=319.86 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 51054 0 0 0 31575 411 0 0 25 0 3 0 910932538 575516672 106918 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=562028 CPUtime=319.87 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 56370 0 0 0 31871 116 0 0 25 0 3 0 910932538 575516672 106918 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (KiB) 562028
[startup+321.501 s]
/proc/loadavg: 3.91 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29396040/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=562028 CPUtime=642.98 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 108669 0 0 0 63768 530 0 0 25 0 3 0 910932535 575516672 107004 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 140507 107004 180 372 0 140132 0
[pid=16763/tid=16765] ppid=16761 vsize=562028 CPUtime=321.47 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 51054 0 0 0 31734 413 0 0 25 0 3 0 910932538 575516672 107004 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=562028 CPUtime=321.47 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 56456 0 0 0 32031 116 0 0 25 0 3 0 910932538 575516672 107004 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 642.98
Current children cumulated vsize (KiB) 562028
[startup+322.307 s]
/proc/loadavg: 3.91 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29390704/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=562028 CPUtime=644.59 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 109128 0 0 0 63928 531 0 0 25 0 3 0 910932535 575516672 107463 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 140507 107464 180 372 0 140132 0
[pid=16763/tid=16765] ppid=16761 vsize=562028 CPUtime=322.27 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 51472 0 0 0 31813 414 0 0 25 0 3 0 910932538 575516672 107464 33554432000 4194304 5714118 140736327566336 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=562028 CPUtime=322.27 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 56498 0 0 0 32111 116 0 0 25 0 3 0 910932538 575516672 107464 33554432000 4194304 5714118 140736327566336 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 644.59
Current children cumulated vsize (KiB) 562028
[startup+322.701 s]
/proc/loadavg: 3.91 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29390704/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=562028 CPUtime=645.37 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 109456 0 0 0 64005 532 0 0 25 0 3 0 910932535 575516672 107791 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 140507 107791 180 372 0 140132 0
[pid=16763/tid=16765] ppid=16761 vsize=562028 CPUtime=322.66 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 51784 0 0 0 31852 414 0 0 25 0 3 0 910932538 575516672 107791 33554432000 4194304 5714118 140736327566336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=562028 CPUtime=322.67 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 56513 0 0 0 32150 117 0 0 25 0 3 0 910932538 575516672 107791 33554432000 4194304 5714118 140736327566336 18446744073709551615 4300337 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 645.37
Current children cumulated vsize (KiB) 562028
[startup+323.101 s]
/proc/loadavg: 3.91 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29390704/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=562028 CPUtime=646.17 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 109676 0 0 0 64085 532 0 0 25 0 3 0 910932535 575516672 108011 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 140507 108011 180 372 0 140132 0
[pid=16763/tid=16765] ppid=16761 vsize=562028 CPUtime=323.07 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 52004 0 0 0 31892 415 0 0 25 0 3 0 910932538 575516672 108011 33554432000 4194304 5714118 140736327566336 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=16763/tid=16766] ppid=16761 vsize=562028 CPUtime=323.07 cores=1,3,5,7
/proc/16763/task/16766/stat : 16766 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 56513 0 0 0 32190 117 0 0 25 0 3 0 910932538 575516672 108011 33554432000 4194304 5714118 140736327566336 18446744073709551615 4274849 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.17
Current children cumulated vsize (KiB) 562028
[startup+323.201 s]
/proc/loadavg: 3.91 3.94 3.91 5/182 16855
/proc/meminfo: memFree=29390704/32950928 swapFree=67048888/67111528
[pid=16763] ppid=16761 vsize=562028 CPUtime=646.36 cores=1,3,5,7
/proc/16763/stat : 16763 (pwbo1.1) S 16761 16763 15608 0 -1 4202496 109677 0 0 0 64104 532 0 0 25 0 2 0 910932535 575516672 108012 33554432000 4194304 5714118 140736327566336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16763/statm: 140507 108012 181 372 0 140132 0
[pid=16763/tid=16765] ppid=16761 vsize=562028 CPUtime=323.17 cores=1,3,5,7
/proc/16763/task/16765/stat : 16765 (pwbo1.1) R 16761 16763 15608 0 -1 4202560 52004 0 0 0 31902 415 0 0 25 0 2 0 910932538 575516672 108012 33554432000 4194304 5714118 140736327566336 18446744073709551615 4324832 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.36
Current children cumulated vsize (KiB) 562028
Child status: 0
Real time (s): 323.219
CPU time (s): 646.393
CPU user time (s): 641.049
CPU system time (s): 5.34419
CPU usage (%): 199.986
Max. virtual memory (cumulated for all children) (KiB): 562028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.049
system time used= 5.34419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109681
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= 455
involuntary context switches= 1500
runsolver used 0.555915 second user time and 1.21281 second system time
The end