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-3704144-1338088822/watcher-3704144-1338088822 -o /tmp/evaluation-result-3704144-1338088822/solver-3704144-1338088822 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704144-1338088822.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: 2.07 1.77 1.82 3/178 13337
/proc/meminfo: memFree=27602336/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) R 13335 13337 12898 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 275007902 3309568 258 33554432000 4194304 5965102 140735570614480 140737396156856 5369038 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 808 258 169 433 0 351 0
[startup+0.0893291 s]
/proc/loadavg: 2.07 1.77 1.82 3/178 13337
/proc/meminfo: memFree=27602336/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=83840 CPUtime=0.08 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 1131 0 0 0 8 0 0 0 20 0 2 0 275007902 85852160 1062 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 20960 1062 190 433 0 20524 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83840
[startup+0.100157 s]
/proc/loadavg: 2.07 1.77 1.82 3/178 13337
/proc/meminfo: memFree=27602336/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=83840 CPUtime=0.09 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 1159 0 0 0 9 0 0 0 20 0 2 0 275007902 85852160 1090 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 20960 1090 190 433 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83840
[startup+0.300113 s]
/proc/loadavg: 2.07 1.77 1.82 3/178 13337
/proc/meminfo: memFree=27602336/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=83840 CPUtime=0.29 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 1559 0 0 0 29 0 0 0 20 0 2 0 275007902 85852160 1490 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 20960 1490 190 433 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83840
[startup+0.70011 s]
/proc/loadavg: 2.07 1.77 1.82 3/178 13337
/proc/meminfo: memFree=27602336/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=83984 CPUtime=0.69 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 1977 0 0 0 69 0 0 0 20 0 2 0 275007902 85999616 1908 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 20996 1908 190 433 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83984
[startup+1.50019 s]
/proc/loadavg: 2.06 1.78 1.82 3/180 13339
/proc/meminfo: memFree=27594120/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=84056 CPUtime=1.48 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 2615 0 0 0 148 0 0 0 20 0 2 0 275007902 86073344 2546 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 21014 2548 190 433 0 20578 0
[pid=13337/tid=13339] ppid=13335 vsize=84056 CPUtime=1.47 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 1828 0 0 0 147 0 0 0 20 0 2 0 275007903 86073344 2548 33554432000 4194304 5965102 140735570614480 139987992729608 5179915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84056
[startup+3.10013 s]
/proc/loadavg: 2.06 1.78 1.82 3/180 13339
/proc/meminfo: memFree=27590772/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=84056 CPUtime=3.08 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 3512 0 0 0 308 0 0 0 20 0 2 0 275007902 86073344 3443 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 21014 3443 190 433 0 20578 0
[pid=13337/tid=13339] ppid=13335 vsize=84056 CPUtime=3.06 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 2723 0 0 0 306 0 0 0 20 0 2 0 275007903 86073344 3443 33554432000 4194304 5965102 140735570614480 139987992729400 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84056
[startup+6.30014 s]
/proc/loadavg: 2.06 1.78 1.82 3/180 13339
/proc/meminfo: memFree=27583408/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=84164 CPUtime=6.28 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 4813 0 0 0 627 1 0 0 20 0 2 0 275007902 86183936 4744 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 21041 4744 190 433 0 20605 0
[pid=13337/tid=13339] ppid=13335 vsize=84164 CPUtime=6.26 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 4024 0 0 0 625 1 0 0 20 0 2 0 275007903 86183936 4744 33554432000 4194304 5965102 140735570614480 139987992729400 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84164
[startup+12.7002 s]
/proc/loadavg: 2.05 1.78 1.82 3/180 13339
/proc/meminfo: memFree=27574012/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=84324 CPUtime=12.68 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 6734 0 0 0 1266 2 0 0 20 0 2 0 275007902 86347776 6660 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 21081 6660 190 433 0 20645 0
[pid=13337/tid=13339] ppid=13335 vsize=84324 CPUtime=12.63 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 5945 0 0 0 1261 2 0 0 20 0 2 0 275007903 86347776 6660 33554432000 4194304 5965102 140735570614480 139987992729400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84324
[startup+25.5003 s]
/proc/loadavg: 2.04 1.79 1.82 3/180 13339
/proc/meminfo: memFree=27554756/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=84324 CPUtime=25.46 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 10264 0 0 0 2543 3 0 0 20 0 2 0 275007902 86347776 10254 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 21081 10254 190 433 0 20645 0
[pid=13337/tid=13339] ppid=13335 vsize=84324 CPUtime=25.39 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 9475 0 0 0 2536 3 0 0 20 0 2 0 275007903 86347776 10254 33554432000 4194304 5965102 140735570614480 139987992729592 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 84324
[startup+51.1002 s]
/proc/loadavg: 2.09 1.82 1.83 3/179 13339
/proc/meminfo: memFree=27513816/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=85284 CPUtime=51.06 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 15614 0 0 0 5101 5 0 0 20 0 2 0 275007902 87330816 15968 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 21321 15968 190 433 0 20885 0
[pid=13337/tid=13339] ppid=13335 vsize=85284 CPUtime=50.93 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 14825 0 0 0 5088 5 0 0 20 0 2 0 275007903 87330816 15968 33554432000 4194304 5965102 140735570614480 139987992729592 4401824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85284
[startup+102.307 s]
/proc/loadavg: 2.03 1.85 1.83 3/179 13456
/proc/meminfo: memFree=27576584/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=152548 CPUtime=102.25 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 21910 0 0 0 10217 8 0 0 20 0 2 0 275007902 156209152 22285 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 38137 22285 190 433 0 37701 0
[pid=13337/tid=13339] ppid=13335 vsize=152548 CPUtime=101.99 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 21121 0 0 0 10190 9 0 0 20 0 2 0 275007903 156209152 22285 33554432000 4194304 5965102 140735570614480 139987992729592 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 152548
[startup+162.3 s]
/proc/loadavg: 2.01 1.87 1.84 3/179 13456
/proc/meminfo: memFree=27477824/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=155644 CPUtime=162.23 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 30843 0 0 0 16208 15 0 0 20 0 2 0 275007902 159379456 31270 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 38911 31270 190 433 0 38475 0
[pid=13337/tid=13339] ppid=13335 vsize=155644 CPUtime=161.82 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 30054 0 0 0 16165 17 0 0 20 0 2 0 275007903 159379456 31270 33554432000 4194304 5965102 140735570614480 139987992729640 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 155644
[startup+222.3 s]
/proc/loadavg: 2.00 1.89 1.84 3/179 13456
/proc/meminfo: memFree=27412200/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=223304 CPUtime=222.22 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 37358 0 0 0 22201 21 0 0 20 0 2 0 275007902 228663296 37785 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 55826 37785 190 433 0 55390 0
[pid=13337/tid=13339] ppid=13335 vsize=223304 CPUtime=221.66 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 36569 0 0 0 22143 23 0 0 20 0 2 0 275007903 228663296 37785 33554432000 4194304 5965102 140735570614480 139987992729400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 223304
[startup+282.3 s]
/proc/loadavg: 2.00 1.91 1.85 3/179 13457
/proc/meminfo: memFree=27378672/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=224996 CPUtime=282.19 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 41584 0 0 0 28193 26 0 0 20 0 2 0 275007902 230395904 42132 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 56249 42132 190 433 0 55813 0
[pid=13337/tid=13339] ppid=13335 vsize=224996 CPUtime=281.49 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 40795 0 0 0 28119 30 0 0 20 0 2 0 275007903 230395904 42132 33554432000 4194304 5965102 140735570614480 139987992729640 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 224996
[startup+342.3 s]
/proc/loadavg: 2.00 1.92 1.86 3/179 13457
/proc/meminfo: memFree=27304124/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=226724 CPUtime=342.18 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 49696 0 0 0 34184 34 0 0 20 0 2 0 275007902 232165376 50269 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 56681 50269 190 433 0 56245 0
[pid=13337/tid=13339] ppid=13335 vsize=226724 CPUtime=341.33 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 48907 0 0 0 34094 39 0 0 20 0 2 0 275007903 232165376 50269 33554432000 4194304 5965102 140735570614480 139987992729400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 226724
[startup+402.3 s]
/proc/loadavg: 2.00 1.93 1.86 3/179 13457
/proc/meminfo: memFree=27247060/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=293824 CPUtime=402.16 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 55905 0 0 0 40176 40 0 0 20 0 2 0 275007902 300875776 56478 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 73456 56478 190 433 0 73020 0
[pid=13337/tid=13339] ppid=13335 vsize=293824 CPUtime=401.17 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 55116 0 0 0 40071 46 0 0 20 0 2 0 275007903 300875776 56478 33554432000 4194304 5965102 140735570614480 139987992729640 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 293824
[startup+462.3 s]
/proc/loadavg: 2.00 1.94 1.87 3/179 13457
/proc/meminfo: memFree=27215780/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=294884 CPUtime=462.15 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 61486 0 0 0 46168 47 0 0 20 0 2 0 275007902 301961216 62059 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 73721 62059 190 433 0 73285 0
[pid=13337/tid=13339] ppid=13335 vsize=294884 CPUtime=461.02 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 60697 0 0 0 46048 54 0 0 20 0 2 0 275007903 301961216 62059 33554432000 4194304 5965102 140735570614480 139987992729592 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 294884
[startup+522.3 s]
/proc/loadavg: 2.00 1.95 1.87 3/179 13457
/proc/meminfo: memFree=27182540/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=296540 CPUtime=522.14 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 68878 0 0 0 52160 54 0 0 20 0 2 0 275007902 303656960 69475 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 74135 69475 190 433 0 73699 0
[pid=13337/tid=13339] ppid=13335 vsize=296540 CPUtime=520.86 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 68089 0 0 0 52025 61 0 0 20 0 2 0 275007903 303656960 69475 33554432000 4194304 5965102 140735570614480 139987992729592 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 296540
[startup+582.3 s]
/proc/loadavg: 2.00 1.96 1.88 3/180 13461
/proc/meminfo: memFree=27123384/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=363048 CPUtime=582.11 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 74876 0 0 0 58149 62 0 0 20 0 2 0 275007902 371761152 75493 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 90762 75493 190 433 0 90326 0
[pid=13337/tid=13339] ppid=13335 vsize=363048 CPUtime=580.69 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 74087 0 0 0 57999 70 0 0 20 0 2 0 275007903 371761152 75493 33554432000 4194304 5965102 140735570614480 139987992729640 4401668 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 363048
[startup+642.3 s]
/proc/loadavg: 2.00 1.96 1.89 3/179 13461
/proc/meminfo: memFree=27072660/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=365280 CPUtime=642.09 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 79807 0 0 0 64140 69 0 0 20 0 2 0 275007902 374046720 80433 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91320 80433 190 433 0 90884 0
[pid=13337/tid=13339] ppid=13335 vsize=365280 CPUtime=640.53 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 79018 0 0 0 63975 78 0 0 20 0 2 0 275007903 374046720 80433 33554432000 4194304 5965102 140735570614480 139987992729592 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 365280
Solver just ended. Dumping a history of the last processes samples
[startup+665.507 s]
/proc/loadavg: 2.00 1.96 1.89 3/179 13461
/proc/meminfo: memFree=27059020/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=365496 CPUtime=665.29 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 80593 0 0 0 66459 70 0 0 20 0 2 0 275007902 374267904 81219 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91374 81219 190 433 0 90938 0
[pid=13337/tid=13339] ppid=13335 vsize=365496 CPUtime=663.67 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 79804 0 0 0 66287 80 0 0 20 0 2 0 275007903 374267904 81219 33554432000 4194304 5965102 140735570614480 139987992729592 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 665.29
Current children cumulated vsize (KiB) 365496
[startup+678.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27046496/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=366104 CPUtime=678.09 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 82556 0 0 0 67736 73 0 0 20 0 2 0 275007902 374890496 83182 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91526 83182 190 433 0 91090 0
[pid=13337/tid=13339] ppid=13335 vsize=366104 CPUtime=676.43 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 81767 0 0 0 67560 83 0 0 20 0 2 0 275007903 374890496 83182 33554432000 4194304 5965102 140735570614480 139987992729592 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 678.09
Current children cumulated vsize (KiB) 366104
[startup+691.1 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27032916/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=366572 CPUtime=690.89 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 84005 0 0 0 69014 75 0 0 20 0 2 0 275007902 375369728 85136 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91643 85136 190 433 0 91207 0
[pid=13337/tid=13339] ppid=13335 vsize=366572 CPUtime=689.2 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 83216 0 0 0 68836 84 0 0 20 0 2 0 275007903 375369728 85136 33554432000 4194304 5965102 140735570614480 139987992729592 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 690.89
Current children cumulated vsize (KiB) 366572
[startup+694.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27030560/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=366572 CPUtime=694.08 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 84249 0 0 0 69333 75 0 0 20 0 2 0 275007902 375369728 85380 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91643 85380 190 433 0 91207 0
[pid=13337/tid=13339] ppid=13335 vsize=366572 CPUtime=692.39 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 83460 0 0 0 69154 85 0 0 20 0 2 0 275007903 375369728 85380 33554432000 4194304 5965102 140735570614480 139987992729640 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 694.08
Current children cumulated vsize (KiB) 366572
[startup+697.5 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27028452/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=367704 CPUtime=697.28 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 84547 0 0 0 69653 75 0 0 20 0 2 0 275007902 376528896 85678 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91926 85678 190 433 0 91490 0
[pid=13337/tid=13339] ppid=13335 vsize=367704 CPUtime=695.58 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 83758 0 0 0 69473 85 0 0 20 0 2 0 275007903 376528896 85678 33554432000 4194304 5965102 140735570614480 139987992729592 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 697.28
Current children cumulated vsize (KiB) 367704
[startup+699.1 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27027336/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=367704 CPUtime=698.88 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 84661 0 0 0 69813 75 0 0 20 0 2 0 275007902 376528896 85792 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91926 85792 190 433 0 91490 0
[pid=13337/tid=13339] ppid=13335 vsize=367704 CPUtime=697.18 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 83872 0 0 0 69633 85 0 0 20 0 2 0 275007903 376528896 85792 33554432000 4194304 5965102 140735570614480 139987992729640 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 698.88
Current children cumulated vsize (KiB) 367704
[startup+699.5 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27026592/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=367704 CPUtime=699.28 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 84697 0 0 0 69853 75 0 0 20 0 2 0 275007902 376528896 85828 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91926 85828 190 433 0 91490 0
[pid=13337/tid=13339] ppid=13335 vsize=367704 CPUtime=697.58 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 83908 0 0 0 69673 85 0 0 20 0 2 0 275007903 376528896 85828 33554432000 4194304 5965102 140735570614480 139987992729640 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 699.28
Current children cumulated vsize (KiB) 367704
[startup+699.7 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 13461
/proc/meminfo: memFree=27026592/32873660 swapFree=7120/7120
[pid=13337] ppid=13335 vsize=367848 CPUtime=699.48 cores=1,3,5,7
/proc/13337/stat : 13337 (pwbo2.0) S 13335 13337 12898 0 -1 4202496 84725 0 0 0 69873 75 0 0 20 0 2 0 275007902 376676352 85856 33554432000 4194304 5965102 140735570614480 140735570614000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13337/statm: 91962 85856 190 433 0 91526 0
[pid=13337/tid=13339] ppid=13335 vsize=367848 CPUtime=697.78 cores=1,3,5,7
/proc/13337/task/13339/stat : 13339 (pwbo2.0) R 13335 13337 12898 0 -1 4202560 83936 0 0 0 69693 85 0 0 20 0 2 0 275007903 376676352 85856 33554432000 4194304 5965102 140735570614480 139987992729400 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 699.48
Current children cumulated vsize (KiB) 367848
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13337 and gives
# childrusage.ru_utime.tv_sec=696
# childrusage.ru_utime.tv_usec=959046
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=867868
# CPU time returned by wait4() is 697.827
# while last known CPU time is 699.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 699.726
CPU time (s): 699.48
CPU user time (s): 698.73
CPU system time (s): 0.75
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 367848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 696.959
system time used= 0.867868
maximum resident set size= 343436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84728
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= 125
involuntary context switches= 826
runsolver used 1.58876 second user time and 4.49532 second system time
The end