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-3704512-1338093763/watcher-3704512-1338093763 -o /tmp/evaluation-result-3704512-1338093763/solver-3704512-1338093763 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704512-1338093763.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.92 3.97 3.93 4/176 26450
/proc/meminfo: memFree=27854096/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=162908 CPUtime=0 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 3 0 275502206 166817792 935 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40727 938 176 433 0 40291 0
[pid=26450/tid=26451] ppid=26448 vsize=162908 CPUtime=0 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 3 0 275502207 166817792 948 33554432000 4194304 5965102 140735041263760 140246565984808 5244967 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=162908 CPUtime=0 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 3 0 275502207 166817792 954 33554432000 4194304 5965102 140735041263760 140246555494840 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.010949 s]
/proc/loadavg: 3.92 3.97 3.93 4/176 26450
/proc/meminfo: memFree=27854096/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163472 CPUtime=0.01 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 1346 0 0 0 1 0 0 0 20 0 3 0 275502206 167395328 1286 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40868 1286 204 433 0 40432 0
[pid=26450/tid=26451] ppid=26448 vsize=163472 CPUtime=0 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 3 0 275502207 167395328 1286 33554432000 4194304 5965102 140735041263760 140246565984712 5237527 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163472 CPUtime=0 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 266 0 0 0 0 0 0 0 20 0 3 0 275502207 167395328 1286 33554432000 4194304 5965102 140735041263760 140246555493672 5244967 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 163472
[startup+0.100307 s]
/proc/loadavg: 3.92 3.97 3.93 4/176 26450
/proc/meminfo: memFree=27854096/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163472 CPUtime=0.18 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 1688 0 0 0 18 0 0 0 20 0 3 0 275502206 167395328 1627 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40868 1627 206 433 0 40432 0
[pid=26450/tid=26451] ppid=26448 vsize=163472 CPUtime=0.08 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 343 0 0 0 8 0 0 0 20 0 3 0 275502207 167395328 1627 33554432000 4194304 5965102 140735041263760 140246565984712 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163472 CPUtime=0.08 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 425 0 0 0 8 0 0 0 20 0 3 0 275502207 167395328 1627 33554432000 4194304 5965102 140735041263760 140246555494712 4401663 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) 163472
[startup+0.300303 s]
/proc/loadavg: 3.92 3.97 3.93 4/176 26450
/proc/meminfo: memFree=27854096/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163472 CPUtime=0.58 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 2196 0 0 0 58 0 0 0 20 0 3 0 275502206 167395328 2135 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40868 2135 206 433 0 40432 0
[pid=26450/tid=26451] ppid=26448 vsize=163472 CPUtime=0.28 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 561 0 0 0 28 0 0 0 20 0 3 0 275502207 167395328 2135 33554432000 4194304 5965102 140735041263760 140246565984248 4401078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163472 CPUtime=0.28 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 715 0 0 0 28 0 0 0 20 0 3 0 275502207 167395328 2135 33554432000 4194304 5965102 140735041263760 140246555494712 4401701 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) 163472
[startup+0.700306 s]
/proc/loadavg: 3.92 3.97 3.93 4/176 26450
/proc/meminfo: memFree=27854096/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163472 CPUtime=1.39 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 3186 0 0 0 138 1 0 0 20 0 3 0 275502206 167395328 3125 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40868 3126 206 433 0 40432 0
[pid=26450/tid=26451] ppid=26448 vsize=163472 CPUtime=0.68 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 1058 0 0 0 68 0 0 0 20 0 3 0 275502207 167395328 3126 33554432000 4194304 5965102 140735041263760 140246565984056 4400952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163472 CPUtime=0.68 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 1209 0 0 0 68 0 0 0 20 0 3 0 275502207 167395328 3126 33554432000 4194304 5965102 140735041263760 140246555494712 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 163472
[startup+1.50031 s]
/proc/loadavg: 3.92 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27839424/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163616 CPUtime=2.99 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 4463 0 0 0 297 2 0 0 20 0 3 0 275502206 167542784 4402 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40904 4402 206 433 0 40468 0
[pid=26450/tid=26451] ppid=26448 vsize=163616 CPUtime=1.48 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 1507 0 0 0 148 0 0 0 20 0 3 0 275502207 167542784 4402 33554432000 4194304 5965102 140735041263760 140246565984600 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163616 CPUtime=1.48 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 2036 0 0 0 148 0 0 0 20 0 3 0 275502207 167542784 4402 33554432000 4194304 5965102 140735041263760 140246555494712 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 163616
[startup+3.10034 s]
/proc/loadavg: 3.92 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27835952/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163760 CPUtime=6.19 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 5304 0 0 0 617 2 0 0 20 0 3 0 275502206 167690240 5243 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40940 5243 206 433 0 40504 0
[pid=26450/tid=26451] ppid=26448 vsize=163760 CPUtime=3.08 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 2099 0 0 0 307 1 0 0 20 0 3 0 275502207 167690240 5243 33554432000 4194304 5965102 140735041263760 140246565984296 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163760 CPUtime=3.08 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 2285 0 0 0 308 0 0 0 20 0 3 0 275502207 167690240 5243 33554432000 4194304 5965102 140735041263760 140246555494760 4401058 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 163760
[startup+6.30035 s]
/proc/loadavg: 3.92 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27824792/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163688 CPUtime=12.58 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 7640 0 0 0 1254 4 0 0 20 0 3 0 275502206 167616512 7546 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40922 7546 206 433 0 40486 0
[pid=26450/tid=26451] ppid=26448 vsize=163688 CPUtime=6.28 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 3100 0 0 0 625 3 0 0 20 0 3 0 275502207 167616512 7546 33554432000 4194304 5965102 140735041263760 140246565985208 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163688 CPUtime=6.28 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 3620 0 0 0 626 2 0 0 20 0 3 0 275502207 167616512 7546 33554432000 4194304 5965102 140735041263760 140246555494712 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163688
[startup+12.7004 s]
/proc/loadavg: 3.93 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27806968/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=163904 CPUtime=25.38 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 10918 0 0 0 2533 5 0 0 20 0 3 0 275502206 167837696 10824 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 40976 10824 206 433 0 40540 0
[pid=26450/tid=26451] ppid=26448 vsize=163904 CPUtime=12.69 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 4884 0 0 0 1265 4 0 0 20 0 3 0 275502207 167837696 10824 33554432000 4194304 5965102 140735041263760 140246565984056 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=163904 CPUtime=12.68 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 5114 0 0 0 1265 3 0 0 20 0 3 0 275502207 167837696 10824 33554432000 4194304 5965102 140735041263760 140246555494712 4389864 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163904
[startup+25.5004 s]
/proc/loadavg: 3.94 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27775456/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=164260 CPUtime=50.98 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 16679 0 0 0 5089 9 0 0 20 0 3 0 275502206 168202240 16585 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 41065 16585 206 433 0 40629 0
[pid=26450/tid=26451] ppid=26448 vsize=164260 CPUtime=25.48 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 7744 0 0 0 2542 6 0 0 20 0 3 0 275502207 168202240 16585 33554432000 4194304 5965102 140735041263760 140246565984056 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=164260 CPUtime=25.48 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 8015 0 0 0 2544 4 0 0 20 0 3 0 275502207 168202240 16585 33554432000 4194304 5965102 140735041263760 140246555494712 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 164260
[startup+51.1004 s]
/proc/loadavg: 3.96 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27682968/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=167204 CPUtime=102.17 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 27812 0 0 0 10200 17 0 0 20 0 3 0 275502206 171216896 27706 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 41801 27706 206 433 0 41365 0
[pid=26450/tid=26451] ppid=26448 vsize=167204 CPUtime=51.08 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 13190 0 0 0 5098 10 0 0 20 0 3 0 275502207 171216896 27706 33554432000 4194304 5965102 140735041263760 140246565984248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=167204 CPUtime=51.08 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 13702 0 0 0 5100 8 0 0 20 0 3 0 275502207 171216896 27706 33554432000 4194304 5965102 140735041263760 140246555494712 4401475 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 167204
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.93 5/179 26453
/proc/meminfo: memFree=27567568/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=230316 CPUtime=204.56 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 33195 0 0 0 20437 19 0 0 20 0 3 0 275502206 235843584 32353 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 57579 32353 206 433 0 57143 0
[pid=26450/tid=26451] ppid=26448 vsize=230316 CPUtime=102.29 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 14891 0 0 0 10217 12 0 0 20 0 3 0 275502207 235843584 32353 33554432000 4194304 5965102 140735041263760 140246565985208 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=230316 CPUtime=102.29 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 17384 0 0 0 10218 11 0 0 20 0 3 0 275502207 235843584 32353 33554432000 4194304 5965102 140735041263760 140246555494520 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 230316
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26454
/proc/meminfo: memFree=27502248/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=296712 CPUtime=324.53 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 39195 0 0 0 32429 24 0 0 20 0 3 0 275502206 303833088 38353 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 74178 38353 206 433 0 73742 0
[pid=26450/tid=26451] ppid=26448 vsize=296712 CPUtime=162.28 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 19173 0 0 0 16212 16 0 0 20 0 3 0 275502207 303833088 38353 33554432000 4194304 5965102 140735041263760 140246565984056 4401041 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=296712 CPUtime=162.28 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 19102 0 0 0 16215 13 0 0 20 0 3 0 275502207 303833088 38353 33554432000 4194304 5965102 140735041263760 140246555494520 4401116 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 296712
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26454
/proc/meminfo: memFree=27416468/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=296876 CPUtime=444.52 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 54795 0 0 0 44412 40 0 0 20 0 3 0 275502206 304001024 53952 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 74219 53952 206 433 0 73783 0
[pid=26450/tid=26451] ppid=26448 vsize=296876 CPUtime=222.29 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 27329 0 0 0 22202 27 0 0 20 0 3 0 275502207 304001024 53952 33554432000 4194304 5965102 140735041263760 140246565984056 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=296876 CPUtime=222.29 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 26546 0 0 0 22209 20 0 0 20 0 3 0 275502207 304001024 53952 33554432000 4194304 5965102 140735041263760 140246555494712 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 296876
################
# More data... #
################
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26454
/proc/meminfo: memFree=27289008/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=428816 CPUtime=684.4 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 74259 0 0 0 68378 62 0 0 20 0 3 0 275502206 439107584 74188 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 107204 74188 206 433 0 106768 0
[pid=26450/tid=26451] ppid=26448 vsize=428816 CPUtime=342.22 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 38052 0 0 0 34180 42 0 0 20 0 3 0 275502207 439107584 74188 33554432000 4194304 5965102 140735041263760 140246565984248 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=428816 CPUtime=342.28 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 35287 0 0 0 34196 32 0 0 20 0 3 0 275502207 439107584 74188 33554432000 4194304 5965102 140735041263760 140246555494760 4401118 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) 428816
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26454
/proc/meminfo: memFree=27282960/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=428816 CPUtime=804.33 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 75213 0 0 0 80369 64 0 0 20 0 3 0 275502206 439107584 75144 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 107204 75144 206 433 0 106768 0
[pid=26450/tid=26451] ppid=26448 vsize=428816 CPUtime=402.22 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 38957 0 0 0 40178 44 0 0 20 0 3 0 275502207 439107584 75144 33554432000 4194304 5965102 140735041263760 140246565984120 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=428816 CPUtime=402.22 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 35336 0 0 0 40189 33 0 0 20 0 3 0 275502207 439107584 75144 33554432000 4194304 5965102 140735041263760 140246555494760 4401096 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 428816
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26457
/proc/meminfo: memFree=27166604/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=428816 CPUtime=924.31 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 81496 0 0 0 92360 71 0 0 20 0 3 0 275502206 439107584 83132 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 107204 83132 206 433 0 106768 0
[pid=26450/tid=26451] ppid=26448 vsize=428816 CPUtime=462.23 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 42785 0 0 0 46173 50 0 0 20 0 3 0 275502207 439107584 83132 33554432000 4194304 5965102 140735041263760 140246565984120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=428816 CPUtime=462.22 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 37791 0 0 0 46186 36 0 0 20 0 3 0 275502207 439107584 83132 33554432000 4194304 5965102 140735041263760 140246555494760 4401129 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (KiB) 428816
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26458
/proc/meminfo: memFree=27101284/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495384 CPUtime=1044.28 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 94014 0 0 0 104341 87 0 0 20 0 3 0 275502206 507273216 95646 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123846 95646 206 433 0 123410 0
[pid=26450/tid=26451] ppid=26448 vsize=495384 CPUtime=522.23 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 49756 0 0 0 52164 59 0 0 20 0 3 0 275502207 507273216 95646 33554432000 4194304 5965102 140735041263760 140246565984056 4389776 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495384 CPUtime=522.22 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 43338 0 0 0 52179 43 0 0 20 0 3 0 275502207 507273216 95646 33554432000 4194304 5965102 140735041263760 140246555494712 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 495384
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26458
/proc/meminfo: memFree=27057544/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495384 CPUtime=1164.27 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 101853 0 0 0 116328 99 0 0 20 0 3 0 275502206 507273216 103482 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123846 103482 206 433 0 123410 0
[pid=26450/tid=26451] ppid=26448 vsize=495384 CPUtime=582.23 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 54977 0 0 0 58155 68 0 0 20 0 3 0 275502207 507273216 103482 33554432000 4194304 5965102 140735041263760 140246565984248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495384 CPUtime=582.22 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45956 0 0 0 58173 49 0 0 20 0 3 0 275502207 507273216 103482 33554432000 4194304 5965102 140735041263760 140246555494712 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 495384
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 3.99 3.97 3.93 5/179 26458
/proc/meminfo: memFree=27049096/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495384 CPUtime=1177.06 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103112 0 0 0 117605 101 0 0 20 0 3 0 275502206 507273216 104741 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123846 104741 206 433 0 123410 0
[pid=26450/tid=26451] ppid=26448 vsize=495384 CPUtime=588.63 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56234 0 0 0 58793 70 0 0 20 0 3 0 275502207 507273216 104741 33554432000 4194304 5965102 140735041263760 140246565984248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495384 CPUtime=588.62 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45958 0 0 0 58813 49 0 0 20 0 3 0 275502207 507273216 104741 33554432000 4194304 5965102 140735041263760 140246555494712 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1177.06
Current children cumulated vsize (KiB) 495384
[startup+614.3 s]
/proc/loadavg: 3.92 3.95 3.93 5/179 26511
/proc/meminfo: memFree=27595780/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1228.25 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103804 0 0 0 122723 102 0 0 20 0 3 0 275502206 507416576 105686 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105686 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=614.23 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56905 0 0 0 61352 71 0 0 20 0 3 0 275502207 507416576 105686 33554432000 4194304 5965102 140735041263760 140246565984248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=614.22 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45979 0 0 0 61372 50 0 0 20 0 3 0 275502207 507416576 105686 33554432000 4194304 5965102 140735041263760 140246555494472 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1228.25
Current children cumulated vsize (KiB) 495524
[startup+620.7 s]
/proc/loadavg: 3.93 3.96 3.93 5/179 26511
/proc/meminfo: memFree=27595532/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1241.04 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103812 0 0 0 124002 102 0 0 20 0 3 0 275502206 507416576 105783 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105783 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=620.62 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56913 0 0 0 61991 71 0 0 20 0 3 0 275502207 507416576 105783 33554432000 4194304 5965102 140735041263760 140246565984248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=620.62 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45979 0 0 0 62012 50 0 0 20 0 3 0 275502207 507416576 105783 33554432000 4194304 5965102 140735041263760 140246555494472 4401109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.04
Current children cumulated vsize (KiB) 495524
[startup+627.1 s]
/proc/loadavg: 3.94 3.96 3.93 5/179 26511
/proc/meminfo: memFree=27595284/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1253.84 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103815 0 0 0 125282 102 0 0 20 0 3 0 275502206 507416576 105786 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105786 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=627.02 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56915 0 0 0 62631 71 0 0 20 0 3 0 275502207 507416576 105786 33554432000 4194304 5965102 140735041263760 140246565984248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=627.03 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45980 0 0 0 62653 50 0 0 20 0 3 0 275502207 507416576 105786 33554432000 4194304 5965102 140735041263760 140246555494472 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1253.84
Current children cumulated vsize (KiB) 495524
[startup+628.7 s]
/proc/loadavg: 3.94 3.96 3.93 5/179 26511
/proc/meminfo: memFree=27595284/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1257.04 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103823 0 0 0 125602 102 0 0 20 0 3 0 275502206 507416576 105790 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105790 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=628.62 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56916 0 0 0 62791 71 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246565984248 4389907 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=628.62 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45987 0 0 0 62812 50 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246555494472 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1257.04
Current children cumulated vsize (KiB) 495524
[startup+629.5 s]
/proc/loadavg: 3.94 3.96 3.93 5/179 26511
/proc/meminfo: memFree=27594836/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1258.63 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103823 0 0 0 125761 102 0 0 20 0 3 0 275502206 507416576 105790 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105790 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=629.42 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56916 0 0 0 62871 71 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246565984248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=629.42 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45987 0 0 0 62892 50 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246555494472 4401155 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1258.63
Current children cumulated vsize (KiB) 495524
[startup+629.9 s]
/proc/loadavg: 3.94 3.96 3.93 5/179 26511
/proc/meminfo: memFree=27594836/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1259.43 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103823 0 0 0 125841 102 0 0 20 0 3 0 275502206 507416576 105790 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105790 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=629.82 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56916 0 0 0 62911 71 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246565984248 4401510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=629.82 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45987 0 0 0 62932 50 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246555494472 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1259.43
Current children cumulated vsize (KiB) 495524
[startup+630.307 s]
/proc/loadavg: 3.94 3.96 3.93 5/179 26511
/proc/meminfo: memFree=27594712/32873852 swapFree=6848/6848
[pid=26450] ppid=26448 vsize=495524 CPUtime=1260.25 cores=1,3,5,7
/proc/26450/stat : 26450 (pwbo2.0) S 26448 26450 23596 0 -1 4202496 103823 0 0 0 125923 102 0 0 20 0 3 0 275502206 507416576 105790 33554432000 4194304 5965102 140735041263760 140735041263280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26450/statm: 123881 105790 206 433 0 123445 0
[pid=26450/tid=26451] ppid=26448 vsize=495524 CPUtime=630.23 cores=1,3,5,7
/proc/26450/task/26451/stat : 26451 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 56916 0 0 0 62952 71 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246565984248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26450/tid=26452] ppid=26448 vsize=495524 CPUtime=630.23 cores=1,3,5,7
/proc/26450/task/26452/stat : 26452 (pwbo2.0) R 26448 26450 23596 0 -1 4202560 45987 0 0 0 62973 50 0 0 20 0 3 0 275502207 507416576 105790 33554432000 4194304 5965102 140735041263760 140246555494472 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1260.25
Current children cumulated vsize (KiB) 495524
Child status: 255
Real time (s): 630.321
CPU time (s): 1260.5
CPU user time (s): 1259.26
CPU system time (s): 1.24181
CPU usage (%): 199.978
Max. virtual memory (cumulated for all children) (KiB): 495524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1259.26
system time used= 1.24181
maximum resident set size= 423184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103829
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= 325
involuntary context switches= 1347
runsolver used 1.3258 second user time and 3.16552 second system time
The end