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-3726884-1338660620/watcher-3726884-1338660620 -o /tmp/evaluation-result-3726884-1338660620/solver-3726884-1338660620 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726884-1338660620.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: 2.82 3.65 3.83 3/180 25286
/proc/meminfo: memFree=28224888/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=5088 CPUtime=0 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) R 25284 25286 22415 0 -1 4202496 648 0 0 0 0 0 0 0 20 0 1 0 332187417 5210112 600 33554432000 4194304 5964478 140736184823856 140734019616232 5110082 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 1272 602 168 433 0 705 0
[startup+0.034108 s]
/proc/loadavg: 2.82 3.65 3.83 3/180 25286
/proc/meminfo: memFree=28224888/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=7488 CPUtime=0.03 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) R 25284 25286 22415 0 -1 4202496 1293 0 0 0 3 0 0 0 20 0 1 0 332187417 7667712 1245 33554432000 4194304 5964478 140736184823856 140734019616232 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 1872 1246 256 433 0 1305 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7488
[startup+0.100165 s]
/proc/loadavg: 2.82 3.65 3.83 3/180 25286
/proc/meminfo: memFree=28224888/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=0.09 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 3350 0 0 0 9 0 0 0 20 0 2 0 332187417 90333184 3038 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 3038 184 433 0 21618 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 88216
[startup+0.300114 s]
/proc/loadavg: 2.82 3.65 3.83 3/180 25286
/proc/meminfo: memFree=28224888/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=0.29 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 3429 0 0 0 29 0 0 0 20 0 2 0 332187417 90333184 3117 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 3117 186 433 0 21618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88216
[startup+0.70012 s]
/proc/loadavg: 2.82 3.65 3.83 3/180 25286
/proc/meminfo: memFree=28224888/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=0.69 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 3965 0 0 0 69 0 0 0 20 0 2 0 332187417 90333184 3653 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 3653 186 433 0 21618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88216
[startup+1.50021 s]
/proc/loadavg: 2.75 3.62 3.82 3/182 25288
/proc/meminfo: memFree=28208852/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=1.48 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 4610 0 0 0 148 0 0 0 20 0 2 0 332187417 90333184 4298 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 4298 186 433 0 21618 0
[pid=25286/tid=25288] ppid=25284 vsize=88216 CPUtime=1.43 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 2675 0 0 0 143 0 0 0 20 0 2 0 332187421 90333184 4298 33554432000 4194304 5964478 140736184823856 140631713015320 4403473 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88216
[startup+3.10024 s]
/proc/loadavg: 2.75 3.62 3.82 3/182 25288
/proc/meminfo: memFree=28199304/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=3.08 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 6420 0 0 0 307 1 0 0 20 0 2 0 332187417 90333184 6108 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 6108 186 433 0 21618 0
[pid=25286/tid=25288] ppid=25284 vsize=88216 CPUtime=3.03 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 4486 0 0 0 302 1 0 0 20 0 2 0 332187421 90333184 6109 33554432000 4194304 5964478 140736184823856 140631713015800 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88216
[startup+6.30025 s]
/proc/loadavg: 2.69 3.59 3.81 3/182 25288
/proc/meminfo: memFree=28167064/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=6.29 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 7432 0 0 0 627 2 0 0 20 0 2 0 332187417 90333184 7120 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 7120 186 433 0 21618 0
[pid=25286/tid=25288] ppid=25284 vsize=88216 CPUtime=6.22 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 5497 0 0 0 621 1 0 0 20 0 2 0 332187421 90333184 7120 33554432000 4194304 5964478 140736184823856 140631713015800 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88216
[startup+12.7002 s]
/proc/loadavg: 2.64 3.57 3.80 3/182 25288
/proc/meminfo: memFree=28146780/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88216 CPUtime=12.68 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 9770 0 0 0 1266 2 0 0 20 0 2 0 332187417 90333184 9458 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22054 9458 186 433 0 21618 0
[pid=25286/tid=25288] ppid=25284 vsize=88216 CPUtime=12.6 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 7835 0 0 0 1258 2 0 0 20 0 2 0 332187421 90333184 9458 33554432000 4194304 5964478 140736184823856 140631713015608 4391512 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88216
[startup+25.5003 s]
/proc/loadavg: 2.50 3.49 3.77 3/182 25288
/proc/meminfo: memFree=28078852/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=88540 CPUtime=25.48 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 16172 0 0 0 2544 4 0 0 20 0 2 0 332187417 90664960 15860 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 22135 15860 186 433 0 21699 0
[pid=25286/tid=25288] ppid=25284 vsize=88540 CPUtime=25.37 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 14237 0 0 0 2533 4 0 0 20 0 2 0 332187421 90664960 15860 33554432000 4194304 5964478 140736184823856 140631713015848 4389104 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88540
[startup+51.1003 s]
/proc/loadavg: 2.33 3.37 3.72 3/181 25288
/proc/meminfo: memFree=27987548/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=154476 CPUtime=51.08 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 26078 0 0 0 5101 7 0 0 20 0 2 0 332187417 158183424 25766 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 38619 25766 186 433 0 38183 0
[pid=25286/tid=25288] ppid=25284 vsize=154476 CPUtime=50.91 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 24143 0 0 0 5084 7 0 0 20 0 2 0 332187421 158183424 25766 33554432000 4194304 5964478 140736184823856 140631713015320 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154476
[startup+102.307 s]
/proc/loadavg: 2.14 3.16 3.63 3/181 25288
/proc/meminfo: memFree=27896356/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=154476 CPUtime=102.26 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 27391 0 0 0 10218 8 0 0 20 0 2 0 332187417 158183424 27088 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 38619 27089 186 433 0 38183 0
[pid=25286/tid=25288] ppid=25284 vsize=154476 CPUtime=101.96 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 25457 0 0 0 10188 8 0 0 20 0 2 0 332187421 158183424 27089 33554432000 4194304 5964478 140736184823856 140631713015320 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 154476
[startup+162.3 s]
/proc/loadavg: 2.05 2.94 3.52 3/181 25288
/proc/meminfo: memFree=27843776/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=221020 CPUtime=162.22 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 35290 0 0 0 16211 11 0 0 20 0 2 0 332187417 226324480 34976 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 55255 34976 186 433 0 54819 0
[pid=25286/tid=25288] ppid=25284 vsize=221020 CPUtime=161.78 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 33355 0 0 0 16166 12 0 0 20 0 2 0 332187421 226324480 34976 33554432000 4194304 5964478 140736184823856 140631713015320 4403367 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 221020
[startup+222.3 s]
/proc/loadavg: 2.02 2.77 3.42 3/181 25289
/proc/meminfo: memFree=27768972/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=221668 CPUtime=222.2 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 47282 0 0 0 22204 16 0 0 20 0 2 0 332187417 226988032 46967 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 55417 46967 186 433 0 54981 0
[pid=25286/tid=25288] ppid=25284 vsize=221668 CPUtime=221.62 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 45347 0 0 0 22143 19 0 0 20 0 2 0 332187421 226988032 46967 33554432000 4194304 5964478 140736184823856 140631713015320 4381702 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 221668
[startup+282.3 s]
/proc/loadavg: 2.00 2.63 3.33 3/181 25289
/proc/meminfo: memFree=27667404/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=289220 CPUtime=282.2 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 54700 0 0 0 28200 20 0 0 20 0 2 0 332187417 296161280 54264 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 72305 54264 186 433 0 71869 0
[pid=25286/tid=25288] ppid=25284 vsize=289220 CPUtime=281.47 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 52765 0 0 0 28123 24 0 0 20 0 2 0 332187421 296161280 54264 33554432000 4194304 5964478 140736184823856 140631713015800 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 289220
[startup+342.3 s]
/proc/loadavg: 2.00 2.51 3.25 3/181 25289
/proc/meminfo: memFree=27449944/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=357508 CPUtime=342.17 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 79908 0 0 0 34188 29 0 0 20 0 2 0 332187417 366088192 79506 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 89377 79506 186 433 0 88941 0
[pid=25286/tid=25288] ppid=25284 vsize=357508 CPUtime=341.3 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 77973 0 0 0 34096 34 0 0 20 0 2 0 332187421 366088192 79506 33554432000 4194304 5964478 140736184823856 140631713015800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 357508
[startup+402.3 s]
/proc/loadavg: 2.00 2.41 3.16 3/181 25289
/proc/meminfo: memFree=27448996/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=358048 CPUtime=402.13 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 79966 0 0 0 40184 29 0 0 20 0 2 0 332187417 366641152 79703 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 89512 79703 186 433 0 89076 0
[pid=25286/tid=25288] ppid=25284 vsize=358048 CPUtime=401.12 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 78031 0 0 0 40077 35 0 0 20 0 2 0 332187421 366641152 79703 33554432000 4194304 5964478 140736184823856 140631713015976 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 358048
[startup+462.3 s]
/proc/loadavg: 2.00 2.34 3.09 3/181 25289
/proc/meminfo: memFree=27370356/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=358048 CPUtime=462.08 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.37 3/180 25298
/proc/meminfo: memFree=26682628/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=626444 CPUtime=1421.9 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 135972 0 0 0 142119 71 0 0 20 0 2 0 332187417 641478656 136269 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 156611 136269 186 433 0 156175 0
[pid=25286/tid=25288] ppid=25284 vsize=626444 CPUtime=1418.43 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 134037 0 0 0 141752 91 0 0 20 0 2 0 332187421 641478656 136269 33554432000 4194304 5964478 140736184823856 140631713015832 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 626444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.34 3/181 25299
/proc/meminfo: memFree=26682628/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=626444 CPUtime=1481.89 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 135972 0 0 0 148118 71 0 0 20 0 2 0 332187417 641478656 136269 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 156611 136269 186 433 0 156175 0
[pid=25286/tid=25288] ppid=25284 vsize=626444 CPUtime=1478.27 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 134037 0 0 0 147735 92 0 0 20 0 2 0 332187421 641478656 136269 33554432000 4194304 5964478 140736184823856 140631713015832 4400422 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 626444
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.32 3/181 25299
/proc/meminfo: memFree=26654852/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=626928 CPUtime=1541.87 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 142908 0 0 0 154110 77 0 0 20 0 2 0 332187417 641974272 143205 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 156732 143205 186 433 0 156296 0
[pid=25286/tid=25288] ppid=25284 vsize=626928 CPUtime=1538.12 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 140973 0 0 0 153712 100 0 0 20 0 2 0 332187421 641974272 143205 33554432000 4194304 5964478 140736184823856 140631713015800 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 626928
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.30 3/181 25299
/proc/meminfo: memFree=26632532/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=627652 CPUtime=1601.86 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 148497 0 0 0 160104 82 0 0 20 0 2 0 332187417 642715648 148773 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 156913 148773 186 433 0 156477 0
[pid=25286/tid=25288] ppid=25284 vsize=627652 CPUtime=1597.96 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 146562 0 0 0 159690 106 0 0 20 0 2 0 332187421 642715648 148773 33554432000 4194304 5964478 140736184823856 140631713015320 4379248 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 627652
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.28 3/181 25299
/proc/meminfo: memFree=26632656/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=627812 CPUtime=1661.85 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 148506 0 0 0 166103 82 0 0 20 0 2 0 332187417 642879488 148782 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 156953 148782 186 433 0 156517 0
[pid=25286/tid=25288] ppid=25284 vsize=627812 CPUtime=1657.81 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 146571 0 0 0 165674 107 0 0 20 0 2 0 332187421 642879488 148782 33554432000 4194304 5964478 140736184823856 140631713015848 4399932 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 627812
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.26 3/181 25299
/proc/meminfo: memFree=26632652/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=627812 CPUtime=1721.84 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 148508 0 0 0 172102 82 0 0 20 0 2 0 332187417 642879488 148782 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 156953 148782 186 433 0 156517 0
[pid=25286/tid=25288] ppid=25284 vsize=627812 CPUtime=1717.66 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 146573 0 0 0 171658 108 0 0 20 0 2 0 332187421 642879488 148782 33554432000 4194304 5964478 140736184823856 140631713015848 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 627812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26599772/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1781.8 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156618 0 0 0 178091 89 0 0 20 0 2 0 332187417 710565888 156892 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156892 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1777.46 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154683 0 0 0 177631 115 0 0 20 0 2 0 332187421 710565888 156892 33554432000 4194304 5964478 140736184823856 140631713015800 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 693912
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26574748/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1791.39 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156626 0 0 0 179050 89 0 0 20 0 2 0 332187417 710565888 156892 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156892 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1787.03 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154691 0 0 0 178588 115 0 0 20 0 2 0 332187421 710565888 156892 33554432000 4194304 5964478 140736184823856 140631713015800 4392968 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 693912
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26565076/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1794.59 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156626 0 0 0 179370 89 0 0 20 0 2 0 332187417 710565888 156892 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156892 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1790.23 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154691 0 0 0 178908 115 0 0 20 0 2 0 332187421 710565888 156892 33554432000 4194304 5964478 140736184823856 140631713015800 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 693912
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26558752/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1797.78 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156626 0 0 0 179689 89 0 0 20 0 2 0 332187417 710565888 156892 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156892 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1793.41 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154691 0 0 0 179226 115 0 0 20 0 2 0 332187421 710565888 156892 33554432000 4194304 5964478 140736184823856 140631713015800 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 693912
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26553916/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1798.58 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156626 0 0 0 179769 89 0 0 20 0 2 0 332187417 710565888 156892 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156892 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1794.21 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154691 0 0 0 179306 115 0 0 20 0 2 0 332187421 710565888 156892 33554432000 4194304 5964478 140736184823856 140631713015800 4403385 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 693912
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26550072/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1798.99 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156626 0 0 0 179810 89 0 0 20 0 2 0 332187417 710565888 156892 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156892 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1794.62 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154691 0 0 0 179347 115 0 0 20 0 2 0 332187421 710565888 156892 33554432000 4194304 5964478 140736184823856 140631713015800 4387951 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 693912
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26550072/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1799.38 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156632 0 0 0 179849 89 0 0 20 0 2 0 332187417 710565888 156899 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156899 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1795 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154697 0 0 0 179385 115 0 0 20 0 2 0 332187421 710565888 156899 33554432000 4194304 5964478 140736184823856 140631713015800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 693912
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.24 3/182 25303
/proc/meminfo: memFree=26550072/32873844 swapFree=7124/7124
[pid=25286] ppid=25284 vsize=693912 CPUtime=1799.48 cores=0,2,4,6
/proc/25286/stat : 25286 (pwbo2.02) S 25284 25286 22415 0 -1 4202496 156632 0 0 0 179859 89 0 0 20 0 2 0 332187417 710565888 156899 33554432000 4194304 5964478 140736184823856 140736184823376 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25286/statm: 173478 156899 186 433 0 173042 0
[pid=25286/tid=25288] ppid=25284 vsize=693912 CPUtime=1795.1 cores=0,2,4,6
/proc/25286/task/25288/stat : 25288 (pwbo2.02) R 25284 25286 22415 0 -1 4202560 154697 0 0 0 179394 116 0 0 20 0 2 0 332187421 710565888 156900 33554432000 4194304 5964478 140736184823856 140631713015800 4462592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 693912
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25286 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=990272
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=178820
# CPU time returned by wait4() is 1795.17
# while last known CPU time is 1799.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.48
CPU user time (s): 1798.59
CPU system time (s): 0.89
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 693912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 1.17882
maximum resident set size= 627608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156635
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= 242
involuntary context switches= 1990
runsolver used 7.30089 second user time and 12.7481 second system time
The end