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-3703625-1338091451/watcher-3703625-1338091451 -o /tmp/evaluation-result-3703625-1338091451/solver-3703625-1338091451 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703625-1338091451.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 3.95 3.83 4/178 12220
/proc/meminfo: memFree=30933912/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=5300 CPUtime=0 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) R 12218 12220 11438 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 275273714 5427200 376 33554432000 4194304 5965102 140736280057696 140736280055752 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 1325 377 169 433 0 646 0
[startup+0.10523 s]
/proc/loadavg: 3.99 3.95 3.83 4/178 12220
/proc/meminfo: memFree=30933912/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=171868 CPUtime=0.11 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 6707 0 0 0 10 1 0 0 20 0 3 0 275273714 175992832 6349 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 42967 6355 196 433 0 42531 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 171868
[startup+0.200234 s]
/proc/loadavg: 3.99 3.95 3.83 4/178 12220
/proc/meminfo: memFree=30933912/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=0.29 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 9566 0 0 0 27 2 0 0 20 0 3 0 275273714 179113984 8856 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 8856 203 433 0 43293 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 174916
[startup+0.300242 s]
/proc/loadavg: 3.99 3.95 3.83 4/178 12220
/proc/meminfo: memFree=30933912/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=0.48 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 9906 0 0 0 46 2 0 0 20 0 3 0 275273714 179113984 8870 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 8870 204 433 0 43293 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 174916
[startup+0.700175 s]
/proc/loadavg: 3.99 3.95 3.83 4/178 12220
/proc/meminfo: memFree=30933912/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=1.28 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 10904 0 0 0 126 2 0 0 20 0 3 0 275273714 179113984 8861 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 8861 205 433 0 43293 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 174916
[startup+1.5004 s]
/proc/loadavg: 3.99 3.95 3.83 5/181 12223
/proc/meminfo: memFree=30899300/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=2.88 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 12726 0 0 0 285 3 0 0 20 0 3 0 275273714 179113984 8932 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 8932 205 433 0 43293 0
[pid=12220/tid=12222] ppid=12218 vsize=174916 CPUtime=1.4 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 6123 0 0 0 137 3 0 0 20 0 3 0 275273721 179113984 8932 33554432000 4194304 5965102 140736280057696 139910396385688 5131557 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=174916 CPUtime=1.4 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 3839 0 0 0 139 1 0 0 20 0 3 0 275273721 179113984 8932 33554432000 4194304 5965102 140736280057696 139910385895880 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 174916
[startup+3.1004 s]
/proc/loadavg: 3.99 3.95 3.83 5/181 12223
/proc/meminfo: memFree=30897052/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=6.07 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 13450 0 0 0 604 3 0 0 20 0 3 0 275273714 179113984 9656 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 9656 205 433 0 43293 0
[pid=12220/tid=12222] ppid=12218 vsize=174916 CPUtime=2.99 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 6501 0 0 0 296 3 0 0 20 0 3 0 275273721 179113984 9656 33554432000 4194304 5965102 140736280057696 139910396385816 5136313 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=174916 CPUtime=3 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 4185 0 0 0 299 1 0 0 20 0 3 0 275273721 179113984 9656 33554432000 4194304 5965102 140736280057696 139910385895544 4393958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 174916
[startup+6.3004 s]
/proc/loadavg: 3.99 3.95 3.83 5/181 12223
/proc/meminfo: memFree=30877708/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=12.47 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 20096 0 0 0 1241 6 0 0 20 0 3 0 275273714 179113984 13107 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 13108 206 433 0 43293 0
[pid=12220/tid=12222] ppid=12218 vsize=174916 CPUtime=6.19 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 10643 0 0 0 615 4 0 0 20 0 3 0 275273721 179113984 13108 33554432000 4194304 5965102 140736280057696 139910396385816 4420712 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=174916 CPUtime=6.19 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 6690 0 0 0 617 2 0 0 20 0 3 0 275273721 179113984 13108 33554432000 4194304 5965102 140736280057696 139910385895736 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 174916
[startup+12.7004 s]
/proc/loadavg: 3.99 3.95 3.83 5/181 12223
/proc/meminfo: memFree=30834628/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=174916 CPUtime=25.26 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 30689 0 0 0 2515 11 0 0 20 0 3 0 275273714 179113984 20941 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 43729 20941 206 433 0 43293 0
[pid=12220/tid=12222] ppid=12218 vsize=174916 CPUtime=12.57 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 15832 0 0 0 1252 5 0 0 20 0 3 0 275273721 179113984 20941 33554432000 4194304 5965102 140736280057696 139910396385272 4401041 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=174916 CPUtime=12.56 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 12093 0 0 0 1250 6 0 0 20 0 3 0 275273721 179113984 20941 33554432000 4194304 5965102 140736280057696 139910385895736 4401015 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 174916
[startup+25.5004 s]
/proc/loadavg: 3.99 3.95 3.83 5/181 12223
/proc/meminfo: memFree=30777968/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=241176 CPUtime=50.84 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 43960 0 0 0 5064 20 0 0 20 0 3 0 275273714 246964224 34206 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 60294 34206 206 433 0 59858 0
[pid=12220/tid=12222] ppid=12218 vsize=241176 CPUtime=25.33 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 20202 0 0 0 2527 6 0 0 20 0 3 0 275273721 246964224 34206 33554432000 4194304 5965102 140736280057696 139910396385816 4401472 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=241176 CPUtime=25.32 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 20994 0 0 0 2519 13 0 0 20 0 3 0 275273721 246964224 34206 33554432000 4194304 5965102 140736280057696 139910385895736 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 241176
[startup+51.1004 s]
/proc/loadavg: 3.99 3.95 3.84 5/181 12223
/proc/meminfo: memFree=30700792/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=307472 CPUtime=102.01 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 62365 0 0 0 10170 31 0 0 20 0 3 0 275273714 314851328 51708 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 76868 51708 206 433 0 76432 0
[pid=12220/tid=12222] ppid=12218 vsize=307472 CPUtime=50.86 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 23325 0 0 0 5079 7 0 0 20 0 3 0 275273721 314851328 51708 33554432000 4194304 5965102 140736280057696 139910396385080 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=307472 CPUtime=50.83 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 36276 0 0 0 5060 23 0 0 20 0 3 0 275273721 314851328 51708 33554432000 4194304 5965102 140736280057696 139910385895880 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 307472
[startup+102.3 s]
/proc/loadavg: 3.99 3.96 3.84 5/181 12223
/proc/meminfo: memFree=30591120/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=439680 CPUtime=204.36 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 86765 0 0 0 20388 48 0 0 20 0 3 0 275273714 450232320 77134 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 109920 77134 206 433 0 109484 0
[pid=12220/tid=12222] ppid=12218 vsize=439680 CPUtime=101.91 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 32755 0 0 0 10177 14 0 0 20 0 3 0 275273721 450232320 77134 33554432000 4194304 5965102 140736280057696 139910396385080 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=439680 CPUtime=101.9 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 51246 0 0 0 10154 36 0 0 20 0 3 0 275273721 450232320 77134 33554432000 4194304 5965102 140736280057696 139910385895880 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.36
Current children cumulated vsize (KiB) 439680
[startup+162.3 s]
/proc/loadavg: 4.04 3.98 3.85 5/181 12223
/proc/meminfo: memFree=30410428/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=506680 CPUtime=324.33 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 124923 0 0 0 32353 80 0 0 20 0 3 0 275273714 518840320 115292 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 126670 115292 206 433 0 126234 0
[pid=12220/tid=12222] ppid=12218 vsize=506680 CPUtime=161.75 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 42107 0 0 0 16152 23 0 0 20 0 3 0 275273721 518840320 115292 33554432000 4194304 5965102 140736280057696 139910396385080 4380048 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=506680 CPUtime=161.73 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 80052 0 0 0 16113 60 0 0 20 0 3 0 275273721 518840320 115292 33554432000 4194304 5965102 140736280057696 139910385895736 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.33
Current children cumulated vsize (KiB) 506680
[startup+222.307 s]
/proc/loadavg: 4.01 3.98 3.86 5/181 12223
/proc/meminfo: memFree=30239212/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=703692 CPUtime=444.32 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 152588 0 0 0 44327 105 0 0 20 0 3 0 275273714 720580608 142957 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 175923 142957 206 433 0 175487 0
[pid=12220/tid=12222] ppid=12218 vsize=703692 CPUtime=221.6 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 46648 0 0 0 22133 27 0 0 20 0 3 0 275273721 720580608 142957 33554432000 4194304 5965102 140736280057696 139910396385320 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=703692 CPUtime=221.58 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 103176 0 0 0 22075 83 0 0 20 0 3 0 275273721 720580608 142957 33554432000 4194304 5965102 140736280057696 139910385895736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.32
Current children cumulated vsize (KiB) 703692
[startup+282.3 s]
/proc/loadavg: 4.00 3.98 3.87 5/181 12224
/proc/meminfo: memFree=30160704/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=704500 CPUtime=564.29 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 163926 0 0 0 56307 122 0 0 20 0 3 0 275273714 721408000 154295 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 176125 154295 206 433 0 175689 0
[pid=12220/tid=12222] ppid=12218 vsize=704500 CPUtime=281.44 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 55074 0 0 0 28103 41 0 0 20 0 3 0 275273721 721408000 154295 33554432000 4194304 5965102 140736280057696 139910396385080 4401475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=704500 CPUtime=281.42 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 106088 0 0 0 28054 88 0 0 20 0 3 0 275273721 721408000 154295 33554432000 4194304 5965102 140736280057696 139910385895496 4401056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.29
Current children cumulated vsize (KiB) 704500
[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.87 5/181 12224
/proc/meminfo: memFree=30146568/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=704632 CPUtime=684.28 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 164877 0 0 0 68305 123 0 0 20 0 3 0 275273714 721543168 155239 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 176158 155239 206 433 0 175722 0
################
# More data... #
################
[pid=12220/tid=12223] ppid=12218 vsize=704632 CPUtime=341.26 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 106153 0 0 0 34037 89 0 0 20 0 3 0 275273721 721543168 155239 33554432000 4194304 5965102 140736280057696 139910385895496 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.28
Current children cumulated vsize (KiB) 704632
[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.88 5/182 12227
/proc/meminfo: memFree=30034844/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=836012 CPUtime=804.2 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 181670 0 0 0 80282 138 0 0 20 0 3 0 275273714 856076288 172387 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 209003 172387 206 433 0 208567 0
[pid=12220/tid=12222] ppid=12218 vsize=836012 CPUtime=401.1 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 61353 0 0 0 40062 48 0 0 20 0 3 0 275273721 856076288 172387 33554432000 4194304 5965102 140736280057696 139910396385272 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=836012 CPUtime=401.09 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 117553 0 0 0 40007 102 0 0 20 0 3 0 275273721 856076288 172387 33554432000 4194304 5965102 140736280057696 139910385895736 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.2
Current children cumulated vsize (KiB) 836012
[startup+462.3 s]
/proc/loadavg: 4.00 3.98 3.88 5/181 12227
/proc/meminfo: memFree=29877400/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=902644 CPUtime=924.15 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 209080 0 0 0 92233 182 0 0 20 0 3 0 275273714 924307456 199965 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 225661 199965 206 433 0 225225 0
[pid=12220/tid=12222] ppid=12218 vsize=902644 CPUtime=460.94 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 67519 0 0 0 46037 57 0 0 20 0 3 0 275273721 924307456 199965 33554432000 4194304 5965102 140736280057696 139910396385080 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=902644 CPUtime=460.89 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 138797 0 0 0 45953 136 0 0 20 0 3 0 275273721 924307456 199965 33554432000 4194304 5965102 140736280057696 139910385895736 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.15
Current children cumulated vsize (KiB) 902644
[startup+522.3 s]
/proc/loadavg: 4.05 3.99 3.89 5/181 12227
/proc/meminfo: memFree=29769176/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=969200 CPUtime=1044.1 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 232219 0 0 0 104169 241 0 0 20 0 3 0 275273714 992460800 223072 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 242300 223072 206 433 0 241864 0
[pid=12220/tid=12222] ppid=12218 vsize=969200 CPUtime=520.78 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 73599 0 0 0 52001 77 0 0 20 0 3 0 275273721 992460800 223072 33554432000 4194304 5965102 140736280057696 139910396385320 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=969200 CPUtime=520.69 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 155856 0 0 0 51891 178 0 0 20 0 3 0 275273721 992460800 223072 33554432000 4194304 5965102 140736280057696 139910385895736 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.1
Current children cumulated vsize (KiB) 969200
[startup+582.3 s]
/proc/loadavg: 4.02 3.99 3.90 5/181 12228
/proc/meminfo: memFree=29743412/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1036992 CPUtime=1164.05 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 237087 0 0 0 116150 255 0 0 20 0 3 0 275273714 1061879808 228115 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 259248 228115 206 433 0 258812 0
[pid=12220/tid=12222] ppid=12218 vsize=1036992 CPUtime=580.6 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 78442 0 0 0 57968 92 0 0 20 0 3 0 275273721 1061879808 228115 33554432000 4194304 5965102 140736280057696 139910396385080 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1036992 CPUtime=580.52 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 155881 0 0 0 57873 179 0 0 20 0 3 0 275273721 1061879808 228115 33554432000 4194304 5965102 140736280057696 139910385895736 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.05
Current children cumulated vsize (KiB) 1036992
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12228
/proc/meminfo: memFree=29669660/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1037128 CPUtime=1284.02 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 237677 0 0 0 128147 255 0 0 20 0 3 0 275273714 1062019072 228656 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 259282 228656 206 433 0 258846 0
[pid=12220/tid=12222] ppid=12218 vsize=1037128 CPUtime=640.45 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 78946 0 0 0 63952 93 0 0 20 0 3 0 275273721 1062019072 228656 33554432000 4194304 5965102 140736280057696 139910396385080 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1037128 CPUtime=640.32 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 155967 0 0 0 63852 180 0 0 20 0 3 0 275273721 1062019072 228656 33554432000 4194304 5965102 140736280057696 139910385895496 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.02
Current children cumulated vsize (KiB) 1037128
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12269
/proc/meminfo: memFree=30160108/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1038356 CPUtime=1403.98 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 239513 0 0 0 140142 256 0 0 20 0 3 0 275273714 1063276544 230362 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 259589 230362 206 433 0 259153 0
[pid=12220/tid=12222] ppid=12218 vsize=1038356 CPUtime=700.29 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 80706 0 0 0 69935 94 0 0 20 0 3 0 275273721 1063276544 230362 33554432000 4194304 5965102 140736280057696 139910396385080 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1038356 CPUtime=700.13 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 156043 0 0 0 69832 181 0 0 20 0 3 0 275273721 1063276544 230362 33554432000 4194304 5965102 140736280057696 139910385895496 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.98
Current children cumulated vsize (KiB) 1038356
[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12269
/proc/meminfo: memFree=30031580/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1039944 CPUtime=1523.98 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 243857 0 0 0 152138 260 0 0 20 0 3 0 275273714 1064902656 234757 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 259986 234757 206 433 0 259550 0
[pid=12220/tid=12222] ppid=12218 vsize=1039944 CPUtime=760.15 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 85004 0 0 0 75916 99 0 0 20 0 3 0 275273721 1064902656 234757 33554432000 4194304 5965102 140736280057696 139910396385320 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1039944 CPUtime=759.98 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 156089 0 0 0 75816 182 0 0 20 0 3 0 275273721 1064902656 234757 33554432000 4194304 5965102 140736280057696 139910385895496 4389776 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.98
Current children cumulated vsize (KiB) 1039944
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12269
/proc/meminfo: memFree=29902448/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1039944 CPUtime=1643.94 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 250229 0 0 0 164129 265 0 0 20 0 3 0 275273714 1064902656 241129 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 259986 241129 206 433 0 259550 0
[pid=12220/tid=12222] ppid=12218 vsize=1039944 CPUtime=819.99 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 91375 0 0 0 81893 106 0 0 20 0 3 0 275273721 1064902656 241129 33554432000 4194304 5965102 140736280057696 139910396385272 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1039944 CPUtime=819.82 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 156090 0 0 0 81799 183 0 0 20 0 3 0 275273721 1064902656 241129 33554432000 4194304 5965102 140736280057696 139910385895496 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.94
Current children cumulated vsize (KiB) 1039944
[startup+882.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12270
/proc/meminfo: memFree=29798068/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1106340 CPUtime=1763.94 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 255873 0 0 0 176122 272 0 0 20 0 3 0 275273714 1132892160 246773 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 276585 246773 206 433 0 276149 0
[pid=12220/tid=12222] ppid=12218 vsize=1106340 CPUtime=879.84 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 96996 0 0 0 87870 114 0 0 20 0 3 0 275273721 1132892160 246773 33554432000 4194304 5965102 140736280057696 139910396385272 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1106340 CPUtime=879.67 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 156113 0 0 0 87783 184 0 0 20 0 3 0 275273721 1132892160 246773 33554432000 4194304 5965102 140736280057696 139910385895496 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.94
Current children cumulated vsize (KiB) 1106340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12270
/proc/meminfo: memFree=29791836/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1107064 CPUtime=1800.13 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 257358 0 0 0 179739 274 0 0 20 0 3 0 275273714 1133633536 248258 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 276766 248258 206 433 0 276330 0
[pid=12220/tid=12222] ppid=12218 vsize=1107064 CPUtime=897.89 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 98465 0 0 0 89673 116 0 0 20 0 3 0 275273721 1133633536 248258 33554432000 4194304 5965102 140736280057696 139910396385272 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1107064 CPUtime=897.72 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 156129 0 0 0 89588 184 0 0 20 0 3 0 275273721 1133633536 248258 33554432000 4194304 5965102 140736280057696 139910385895496 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1107064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.4 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 12270
/proc/meminfo: memFree=29791836/32873844 swapFree=7364/7364
[pid=12220] ppid=12218 vsize=1107064 CPUtime=1800.13 cores=0,2,4,6
/proc/12220/stat : 12220 (pwbo2.0) S 12218 12220 11438 0 -1 4202496 257358 0 0 0 179739 274 0 0 20 0 3 0 275273714 1133633536 248258 33554432000 4194304 5965102 140736280057696 140736280057216 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12220/statm: 276766 248258 206 433 0 276330 0
[pid=12220/tid=12222] ppid=12218 vsize=1107064 CPUtime=897.89 cores=0,2,4,6
/proc/12220/task/12222/stat : 12222 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 98465 0 0 0 89673 116 0 0 20 0 3 0 275273721 1133633536 248258 33554432000 4194304 5965102 140736280057696 139910396385272 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12220/tid=12223] ppid=12218 vsize=1107064 CPUtime=897.72 cores=0,2,4,6
/proc/12220/task/12223/stat : 12223 (pwbo2.0) R 12218 12220 11438 0 -1 4202560 156129 0 0 0 89588 184 0 0 20 0 3 0 275273721 1133633536 248258 33554432000 4194304 5965102 140736280057696 139910385895496 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1107064
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12220 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=711466
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=40537
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.437
CPU time (s): 1800.13
CPU user time (s): 1797.39
CPU system time (s): 2.74
CPU usage (%): 199.917
Max. virtual memory (cumulated for all children) (KiB): 1107064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.71
system time used= 3.04054
maximum resident set size= 993048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257362
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= 1370
involuntary context switches= 1945
runsolver used 1.84072 second user time and 5.14522 second system time
The end