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-3703740-1338094671/watcher-3703740-1338094671 -o /tmp/evaluation-result-3703740-1338094671/solver-3703740-1338094671 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703740-1338094671.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.77 3.94 3.95 4/178 5879
/proc/meminfo: memFree=30196808/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=162248 CPUtime=0 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 3 0 275591153 166141952 747 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40562 747 193 433 0 40126 0
[pid=5879/tid=5880] ppid=5877 vsize=162248 CPUtime=0 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 3 0 275591154 166141952 747 33554432000 4194304 5965102 140735226820032 140306553998296 5137146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=162248 CPUtime=0 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 3 0 275591154 166141952 748 33554432000 4194304 5965102 140735226820032 140306543508384 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0304551 s]
/proc/loadavg: 3.77 3.94 3.95 4/178 5879
/proc/meminfo: memFree=30196808/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=162248 CPUtime=0.05 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 938 0 0 0 5 0 0 0 20 0 3 0 275591153 166141952 890 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40562 891 195 433 0 40126 0
[pid=5879/tid=5880] ppid=5877 vsize=162248 CPUtime=0.01 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 112 0 0 0 1 0 0 0 20 0 3 0 275591154 166141952 891 33554432000 4194304 5965102 140735226820032 140306553997296 4390116 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=162248 CPUtime=0.01 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 88 0 0 0 1 0 0 0 20 0 3 0 275591154 166141952 892 33554432000 4194304 5965102 140735226820032 140306543507760 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 162248
[startup+0.100272 s]
/proc/loadavg: 3.77 3.94 3.95 4/178 5879
/proc/meminfo: memFree=30196808/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=162248 CPUtime=0.19 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 1250 0 0 0 19 0 0 0 20 0 3 0 275591153 166141952 1202 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40562 1202 195 433 0 40126 0
[pid=5879/tid=5880] ppid=5877 vsize=162248 CPUtime=0.08 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 300 0 0 0 8 0 0 0 20 0 3 0 275591154 166141952 1202 33554432000 4194304 5965102 140735226820032 140306553997112 4404735 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=162248 CPUtime=0.08 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 211 0 0 0 8 0 0 0 20 0 3 0 275591154 166141952 1202 33554432000 4194304 5965102 140735226820032 140306543507760 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162248
[startup+0.300229 s]
/proc/loadavg: 3.77 3.94 3.95 4/178 5879
/proc/meminfo: memFree=30196808/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=162248 CPUtime=0.58 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 1815 0 0 0 58 0 0 0 20 0 3 0 275591153 166141952 1767 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40562 1767 195 433 0 40126 0
[pid=5879/tid=5880] ppid=5877 vsize=162248 CPUtime=0.28 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 669 0 0 0 28 0 0 0 20 0 3 0 275591154 166141952 1767 33554432000 4194304 5965102 140735226820032 140306553997296 5143614 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=162248 CPUtime=0.28 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 407 0 0 0 28 0 0 0 20 0 3 0 275591154 166141952 1767 33554432000 4194304 5965102 140735226820032 140306543507760 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162248
[startup+0.700231 s]
/proc/loadavg: 3.77 3.94 3.95 4/178 5879
/proc/meminfo: memFree=30196808/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=162392 CPUtime=1.38 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 2328 0 0 0 138 0 0 0 20 0 3 0 275591153 166289408 2280 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40598 2280 195 433 0 40162 0
[pid=5879/tid=5880] ppid=5877 vsize=162392 CPUtime=0.68 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 1056 0 0 0 68 0 0 0 20 0 3 0 275591154 166289408 2280 33554432000 4194304 5965102 140735226820032 140306553997296 4383033 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=162392 CPUtime=0.68 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 533 0 0 0 68 0 0 0 20 0 3 0 275591154 166289408 2280 33554432000 4194304 5965102 140735226820032 140306543507760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162392
[startup+1.50025 s]
/proc/loadavg: 3.77 3.94 3.95 5/181 5882
/proc/meminfo: memFree=30187608/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=162752 CPUtime=2.97 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 3063 0 0 0 297 0 0 0 20 0 3 0 275591153 166658048 3015 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40688 3015 195 433 0 40252 0
[pid=5879/tid=5880] ppid=5877 vsize=162752 CPUtime=1.48 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 1475 0 0 0 148 0 0 0 20 0 3 0 275591154 166658048 3015 33554432000 4194304 5965102 140735226820032 140306553997296 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=162752 CPUtime=1.47 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 849 0 0 0 147 0 0 0 20 0 3 0 275591154 166658048 3015 33554432000 4194304 5965102 140735226820032 140306543507760 4401824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 162752
[startup+3.10027 s]
/proc/loadavg: 3.77 3.94 3.95 5/181 5882
/proc/meminfo: memFree=30182764/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=163292 CPUtime=6.18 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 4172 0 0 0 617 1 0 0 20 0 3 0 275591153 167211008 4124 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 40823 4124 195 433 0 40387 0
[pid=5879/tid=5880] ppid=5877 vsize=163292 CPUtime=3.08 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 2216 0 0 0 308 0 0 0 20 0 3 0 275591154 167211008 4124 33554432000 4194304 5965102 140735226820032 140306553997296 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=163292 CPUtime=3.07 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 1217 0 0 0 307 0 0 0 20 0 3 0 275591154 167211008 4124 33554432000 4194304 5965102 140735226820032 140306543507760 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163292
[startup+6.3003 s]
/proc/loadavg: 3.79 3.94 3.95 5/181 5882
/proc/meminfo: memFree=30170512/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=164012 CPUtime=12.57 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 5663 0 0 0 1255 2 0 0 20 0 3 0 275591153 167948288 5615 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 41003 5615 195 433 0 40567 0
[pid=5879/tid=5880] ppid=5877 vsize=164012 CPUtime=6.28 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 3153 0 0 0 626 2 0 0 20 0 3 0 275591154 167948288 5615 33554432000 4194304 5965102 140735226820032 140306553997296 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=164012 CPUtime=6.27 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 1771 0 0 0 627 0 0 0 20 0 3 0 275591154 167948288 5615 33554432000 4194304 5965102 140735226820032 140306543507760 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164012
[startup+12.7003 s]
/proc/loadavg: 3.81 3.94 3.95 5/181 5882
/proc/meminfo: memFree=30154672/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=166476 CPUtime=25.36 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 7639 0 0 0 2532 4 0 0 20 0 3 0 275591153 170471424 7591 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 41619 7591 195 433 0 41183 0
[pid=5879/tid=5880] ppid=5877 vsize=166476 CPUtime=12.68 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 4644 0 0 0 1265 3 0 0 20 0 3 0 275591154 170471424 7591 33554432000 4194304 5965102 140735226820032 140306553997296 4400992 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=166476 CPUtime=12.66 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 2256 0 0 0 1266 0 0 0 20 0 3 0 275591154 170471424 7591 33554432000 4194304 5965102 140735226820032 140306543507576 4412088 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166476
[startup+25.5004 s]
/proc/loadavg: 3.85 3.94 3.95 5/181 5882
/proc/meminfo: memFree=30130600/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=171192 CPUtime=50.95 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 11033 0 0 0 5087 8 0 0 20 0 3 0 275591153 175300608 10971 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 42798 10971 195 433 0 42362 0
[pid=5879/tid=5880] ppid=5877 vsize=171192 CPUtime=25.47 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 7255 0 0 0 2540 7 0 0 20 0 3 0 275591154 175300608 10971 33554432000 4194304 5965102 140735226820032 140306553997304 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=171192 CPUtime=25.46 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 3039 0 0 0 2544 2 0 0 20 0 3 0 275591154 175300608 10971 33554432000 4194304 5965102 140735226820032 140306543507768 4380288 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 171192
[startup+51.1004 s]
/proc/loadavg: 3.90 3.94 3.95 5/181 5882
/proc/meminfo: memFree=30095848/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=176024 CPUtime=102.12 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 15353 0 0 0 10199 13 0 0 20 0 3 0 275591153 180248576 15119 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 44006 15119 195 433 0 43570 0
[pid=5879/tid=5880] ppid=5877 vsize=176024 CPUtime=51.08 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 10633 0 0 0 5097 11 0 0 20 0 3 0 275591154 180248576 15119 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=176024 CPUtime=51.04 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 3981 0 0 0 5100 4 0 0 20 0 3 0 275591154 180248576 15119 33554432000 4194304 5965102 140735226820032 140306543507760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 176024
[startup+102.3 s]
/proc/loadavg: 3.95 3.95 3.95 5/181 5882
/proc/meminfo: memFree=30031412/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=185248 CPUtime=204.46 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 21282 0 0 0 20425 21 0 0 20 0 3 0 275591153 189693952 21014 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 46312 21014 195 433 0 45876 0
[pid=5879/tid=5880] ppid=5877 vsize=185248 CPUtime=102.27 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 15367 0 0 0 10209 18 0 0 20 0 3 0 275591154 189693952 21014 33554432000 4194304 5965102 140735226820032 140306553996824 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=185248 CPUtime=102.2 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 5176 0 0 0 10214 6 0 0 20 0 3 0 275591154 189693952 21014 33554432000 4194304 5965102 140735226820032 140306543507680 4380272 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 185248
[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.95 5/182 5886
/proc/meminfo: memFree=29980856/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=191588 CPUtime=324.34 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 25735 0 0 0 32408 26 0 0 20 0 3 0 275591153 196186112 26053 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 47897 26053 195 433 0 47461 0
[pid=5879/tid=5880] ppid=5877 vsize=191588 CPUtime=162.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 18961 0 0 0 16200 23 0 0 20 0 3 0 275591154 196186112 26053 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=191588 CPUtime=162.13 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 6035 0 0 0 16205 8 0 0 20 0 3 0 275591154 196186112 26053 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.34
Current children cumulated vsize (KiB) 191588
[startup+222.307 s]
/proc/loadavg: 3.99 3.96 3.95 5/182 5909
/proc/meminfo: memFree=29940972/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=260692 CPUtime=444.3 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 28933 0 0 0 44401 29 0 0 20 0 3 0 275591153 266948608 29251 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 65173 29251 195 433 0 64737 0
[pid=5879/tid=5880] ppid=5877 vsize=260692 CPUtime=222.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 21773 0 0 0 22196 27 0 0 20 0 3 0 275591154 266948608 29251 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=260692 CPUtime=222.1 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 6421 0 0 0 22200 10 0 0 20 0 3 0 275591154 266948608 29251 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.3
Current children cumulated vsize (KiB) 260692
################
# More data... #
################
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 25349 0 0 0 28191 32 0 0 20 0 3 0 275591154 274464768 33264 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=268032 CPUtime=282.04 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 6858 0 0 0 28193 11 0 0 20 0 3 0 275591154 274464768 33264 33554432000 4194304 5965102 140735226820032 140306543507816 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.21
Current children cumulated vsize (KiB) 268032
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/181 5909
/proc/meminfo: memFree=29862504/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=276200 CPUtime=684.14 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 36674 0 0 0 68375 39 0 0 20 0 3 0 275591153 282828800 36980 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 69050 36980 195 433 0 68614 0
[pid=5879/tid=5880] ppid=5877 vsize=276200 CPUtime=342.22 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 28313 0 0 0 34186 36 0 0 20 0 3 0 275591154 282828800 36980 33554432000 4194304 5965102 140735226820032 140306553996824 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=276200 CPUtime=342 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 7622 0 0 0 34185 15 0 0 20 0 3 0 275591154 282828800 36980 33554432000 4194304 5965102 140735226820032 140306543507680 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.14
Current children cumulated vsize (KiB) 276200
[startup+402.3 s]
/proc/loadavg: 4.03 3.99 3.95 5/181 5909
/proc/meminfo: memFree=29833428/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=278600 CPUtime=804.1 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 38590 0 0 0 80367 43 0 0 20 0 3 0 275591153 285286400 39650 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 69650 39650 195 433 0 69214 0
[pid=5879/tid=5880] ppid=5877 vsize=278600 CPUtime=402.22 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 30161 0 0 0 40182 40 0 0 20 0 3 0 275591154 285286400 39650 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=278600 CPUtime=401.97 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 7690 0 0 0 40181 16 0 0 20 0 3 0 275591154 285286400 39650 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.1
Current children cumulated vsize (KiB) 278600
[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.95 5/181 5910
/proc/meminfo: memFree=29806448/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=280188 CPUtime=924.04 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 40997 0 0 0 92359 45 0 0 20 0 3 0 275591153 286912512 41712 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 70047 41712 195 433 0 69611 0
[pid=5879/tid=5880] ppid=5877 vsize=280188 CPUtime=462.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 32439 0 0 0 46180 43 0 0 20 0 3 0 275591154 286912512 41712 33554432000 4194304 5965102 140735226820032 140306553996824 4401009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=280188 CPUtime=461.93 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 7819 0 0 0 46176 17 0 0 20 0 3 0 275591154 286912512 41712 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.04
Current children cumulated vsize (KiB) 280188
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 5950
/proc/meminfo: memFree=30098652/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=286104 CPUtime=1043.94 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 44694 0 0 0 104344 50 0 0 20 0 3 0 275591153 292970496 45405 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 71526 45405 195 433 0 71090 0
[pid=5879/tid=5880] ppid=5877 vsize=286104 CPUtime=522.22 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 35550 0 0 0 52175 47 0 0 20 0 3 0 275591154 292970496 45405 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=286104 CPUtime=521.86 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 8405 0 0 0 52168 18 0 0 20 0 3 0 275591154 292970496 45405 33554432000 4194304 5965102 140735226820032 140306543507816 4401078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1043.94
Current children cumulated vsize (KiB) 286104
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 5950
/proc/meminfo: memFree=30067260/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=289668 CPUtime=1163.87 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 47343 0 0 0 116335 52 0 0 20 0 3 0 275591153 296620032 48105 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 72417 48105 195 433 0 71981 0
[pid=5879/tid=5880] ppid=5877 vsize=289668 CPUtime=582.22 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 37704 0 0 0 58173 49 0 0 20 0 3 0 275591154 296620032 48105 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=289668 CPUtime=581.81 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 8900 0 0 0 58160 21 0 0 20 0 3 0 275591154 296620032 48105 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.87
Current children cumulated vsize (KiB) 289668
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 5950
/proc/meminfo: memFree=30044424/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=293676 CPUtime=1283.84 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 49509 0 0 0 128329 55 0 0 20 0 3 0 275591153 300724224 50270 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 73419 50270 195 433 0 72983 0
[pid=5879/tid=5880] ppid=5877 vsize=293676 CPUtime=642.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 39339 0 0 0 64172 51 0 0 20 0 3 0 275591154 300724224 50270 33554432000 4194304 5965102 140735226820032 140306553997320 4401536 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=293676 CPUtime=641.8 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9431 0 0 0 64157 23 0 0 20 0 3 0 275591154 300724224 50270 33554432000 4194304 5965102 140735226820032 140306543507768 4379871 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.84
Current children cumulated vsize (KiB) 293676
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 5950
/proc/meminfo: memFree=30011652/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=294796 CPUtime=1403.73 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 52325 0 0 0 140317 56 0 0 20 0 3 0 275591153 301871104 53085 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 73699 53085 195 433 0 73263 0
[pid=5879/tid=5880] ppid=5877 vsize=294796 CPUtime=702.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 42134 0 0 0 70170 53 0 0 20 0 3 0 275591154 301871104 53085 33554432000 4194304 5965102 140735226820032 140306553996824 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=294796 CPUtime=701.71 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9452 0 0 0 70147 24 0 0 20 0 3 0 275591154 301871104 53085 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.73
Current children cumulated vsize (KiB) 294796
[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/182 5954
/proc/meminfo: memFree=30003444/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=365560 CPUtime=1523.69 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 54051 0 0 0 152311 58 0 0 20 0 3 0 275591153 374333440 54608 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 91390 54608 195 433 0 90954 0
[pid=5879/tid=5880] ppid=5877 vsize=365560 CPUtime=762.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 43683 0 0 0 76168 55 0 0 20 0 3 0 275591154 374333440 54608 33554432000 4194304 5965102 140735226820032 140306553997304 4401462 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=365560 CPUtime=761.68 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9629 0 0 0 76142 26 0 0 20 0 3 0 275591154 374333440 54608 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.69
Current children cumulated vsize (KiB) 365560
[startup+822.3 s]
/proc/loadavg: 4.06 4.00 3.96 5/181 5954
/proc/meminfo: memFree=29994832/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=365800 CPUtime=1643.63 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 55520 0 0 0 164304 59 0 0 20 0 3 0 275591153 374579200 56076 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 91450 56076 195 433 0 91014 0
[pid=5879/tid=5880] ppid=5877 vsize=365800 CPUtime=822.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 45131 0 0 0 82166 57 0 0 20 0 3 0 275591154 374579200 56076 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=365800 CPUtime=821.64 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9650 0 0 0 82137 27 0 0 20 0 3 0 275591154 374579200 56076 33554432000 4194304 5965102 140735226820032 140306543507872 4400952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.63
Current children cumulated vsize (KiB) 365800
[startup+882.307 s]
/proc/loadavg: 4.02 4.00 3.96 5/181 5954
/proc/meminfo: memFree=29970752/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=374860 CPUtime=1763.6 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 58271 0 0 0 176299 61 0 0 20 0 3 0 275591153 383856640 58840 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 93715 58840 195 433 0 93279 0
[pid=5879/tid=5880] ppid=5877 vsize=374860 CPUtime=882.23 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 47765 0 0 0 88163 60 0 0 20 0 3 0 275591154 383856640 58840 33554432000 4194304 5965102 140735226820032 140306553996968 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=374860 CPUtime=881.63 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9767 0 0 0 88135 28 0 0 20 0 3 0 275591154 383856640 58840 33554432000 4194304 5965102 140735226820032 140306543507816 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.6
Current children cumulated vsize (KiB) 374860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.6 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 5954
/proc/meminfo: memFree=29957488/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=376076 CPUtime=1800.18 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 58745 0 0 0 179957 61 0 0 20 0 3 0 275591153 385101824 59825 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 94019 59825 195 433 0 93583 0
[pid=5879/tid=5880] ppid=5877 vsize=376076 CPUtime=900.53 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 48226 0 0 0 89992 61 0 0 20 0 3 0 275591154 385101824 59825 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=376076 CPUtime=899.92 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9780 0 0 0 89964 28 0 0 20 0 3 0 275591154 385101824 59825 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 376076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.6 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 5954
/proc/meminfo: memFree=29957488/32873648 swapFree=7368/7368
[pid=5879] ppid=5877 vsize=376076 CPUtime=1800.18 cores=1,3,5,7
/proc/5879/stat : 5879 (pwbo2.0) S 5877 5879 3829 0 -1 4202496 58745 0 0 0 179957 61 0 0 20 0 3 0 275591153 385101824 59825 33554432000 4194304 5965102 140735226820032 140735226819552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 94019 59825 195 433 0 93583 0
[pid=5879/tid=5880] ppid=5877 vsize=376076 CPUtime=900.53 cores=1,3,5,7
/proc/5879/task/5880/stat : 5880 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 48226 0 0 0 89992 61 0 0 20 0 3 0 275591154 385101824 59825 33554432000 4194304 5965102 140735226820032 140306553996824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5879/tid=5881] ppid=5877 vsize=376076 CPUtime=899.92 cores=1,3,5,7
/proc/5879/task/5881/stat : 5881 (pwbo2.0) R 5877 5879 3829 0 -1 4202560 9780 0 0 0 89964 28 0 0 20 0 3 0 275591154 385101824 59825 33554432000 4194304 5965102 140735226820032 140306543507872 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 376076
Child status: 0
Real time (s): 900.617
CPU time (s): 1800.51
CPU user time (s): 1799.6
CPU system time (s): 0.911861
CPU usage (%): 199.919
Max. virtual memory (cumulated for all children) (KiB): 376076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.911861
maximum resident set size= 239308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58747
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= 727
involuntary context switches= 1993
runsolver used 1.81172 second user time and 5.2452 second system time
The end