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-3726908-1338651522/watcher-3726908-1338651522 -o /tmp/evaluation-result-3726908-1338651522/solver-3726908-1338651522 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3726908-1338651522.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: 1.84 1.29 1.36 3/177 21431
/proc/meminfo: memFree=27166812/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=3920 CPUtime=0 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) R 21429 21431 19663 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 331279567 4014080 409 33554432000 4194304 5964350 140735402660832 140733975646248 4344327 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 980 409 164 433 0 531 0
[startup+0.083294 s]
/proc/loadavg: 1.84 1.29 1.36 3/177 21431
/proc/meminfo: memFree=27166812/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84584 CPUtime=0.07 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 1514 0 0 0 7 0 0 0 20 0 2 0 331279567 86614016 1453 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21146 1453 184 433 0 20710 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 84584
[startup+0.100162 s]
/proc/loadavg: 1.84 1.29 1.36 3/177 21431
/proc/meminfo: memFree=27166812/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84584 CPUtime=0.09 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 1559 0 0 0 9 0 0 0 20 0 2 0 331279567 86614016 1498 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21146 1498 184 433 0 20710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84584
[startup+0.300112 s]
/proc/loadavg: 1.84 1.29 1.36 3/177 21431
/proc/meminfo: memFree=27166812/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84584 CPUtime=0.29 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 2083 0 0 0 29 0 0 0 20 0 2 0 331279567 86614016 2022 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21146 2022 184 433 0 20710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84584
[startup+0.700111 s]
/proc/loadavg: 1.84 1.29 1.36 3/177 21431
/proc/meminfo: memFree=27166812/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84584 CPUtime=0.69 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 2995 0 0 0 69 0 0 0 20 0 2 0 331279567 86614016 2934 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21146 2934 184 433 0 20710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84584
[startup+1.50025 s]
/proc/loadavg: 1.84 1.29 1.36 3/179 21433
/proc/meminfo: memFree=27152884/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84584 CPUtime=1.48 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 4517 0 0 0 148 0 0 0 20 0 2 0 331279567 86614016 4456 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21146 4456 184 433 0 20710 0
[pid=21431/tid=21433] ppid=21429 vsize=84584 CPUtime=1.47 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 3590 0 0 0 147 0 0 0 20 0 2 0 331279568 86614016 4456 33554432000 4194304 5964350 140735402660832 140587305175032 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84584
[startup+3.10027 s]
/proc/loadavg: 1.86 1.30 1.36 3/179 21433
/proc/meminfo: memFree=27147676/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84728 CPUtime=3.09 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 5554 0 0 0 308 1 0 0 20 0 2 0 331279567 86761472 5493 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21182 5493 184 433 0 20746 0
[pid=21431/tid=21433] ppid=21429 vsize=84728 CPUtime=3.07 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 4627 0 0 0 307 0 0 0 20 0 2 0 331279568 86761472 5493 33554432000 4194304 5964350 140735402660832 140587305175032 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84728
[startup+6.30021 s]
/proc/loadavg: 1.86 1.30 1.36 3/179 21472
/proc/meminfo: memFree=27200420/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84800 CPUtime=6.29 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 7920 0 0 0 628 1 0 0 20 0 2 0 331279567 86835200 7859 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21200 7859 184 433 0 20764 0
[pid=21431/tid=21433] ppid=21429 vsize=84800 CPUtime=6.27 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 6993 0 0 0 626 1 0 0 20 0 2 0 331279568 86835200 7859 33554432000 4194304 5964350 140735402660832 140587305174840 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84800
[startup+12.7003 s]
/proc/loadavg: 1.88 1.32 1.37 3/179 21472
/proc/meminfo: memFree=27167172/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84800 CPUtime=12.69 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 11306 0 0 0 1267 2 0 0 20 0 2 0 331279567 86835200 11245 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21200 11245 184 433 0 20764 0
[pid=21431/tid=21433] ppid=21429 vsize=84800 CPUtime=12.67 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 10379 0 0 0 1265 2 0 0 20 0 2 0 331279568 86835200 11245 33554432000 4194304 5964350 140735402660832 140587305175032 4381949 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84800
[startup+25.5003 s]
/proc/loadavg: 1.90 1.34 1.37 3/179 21472
/proc/meminfo: memFree=27119696/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=84908 CPUtime=25.47 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 15902 0 0 0 2543 4 0 0 20 0 2 0 331279567 86945792 15835 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 21227 15835 184 433 0 20791 0
[pid=21431/tid=21433] ppid=21429 vsize=84908 CPUtime=25.47 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 14975 0 0 0 2542 5 0 0 20 0 2 0 331279568 86945792 15835 33554432000 4194304 5964350 140735402660832 140587305175032 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 84908
[startup+51.1003 s]
/proc/loadavg: 1.93 1.39 1.39 3/179 21472
/proc/meminfo: memFree=27026964/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=150604 CPUtime=51.05 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 30737 0 0 0 5096 9 0 0 20 0 2 0 331279567 154218496 30700 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 37651 30700 184 433 0 37215 0
[pid=21431/tid=21433] ppid=21429 vsize=150604 CPUtime=51.05 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 29810 0 0 0 5095 10 0 0 20 0 2 0 331279568 154218496 30700 33554432000 4194304 5964350 140735402660832 140587305175032 4400029 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 150604
[startup+102.307 s]
/proc/loadavg: 1.97 1.49 1.42 3/180 21475
/proc/meminfo: memFree=26945620/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=216380 CPUtime=102.24 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 37253 0 0 0 10213 11 0 0 20 0 2 0 331279567 221573120 37408 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 54095 37408 184 433 0 53659 0
[pid=21431/tid=21433] ppid=21429 vsize=216380 CPUtime=102.25 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 36326 0 0 0 10212 13 0 0 20 0 2 0 331279568 221573120 37408 33554432000 4194304 5964350 140735402660832 140587305175032 4381928 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 216380
[startup+162.3 s]
/proc/loadavg: 1.99 1.58 1.45 3/179 21475
/proc/meminfo: memFree=26773196/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=281916 CPUtime=162.23 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 51335 0 0 0 16207 16 0 0 20 0 2 0 331279567 288681984 51773 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 70479 51773 184 433 0 70043 0
[pid=21431/tid=21433] ppid=21429 vsize=281916 CPUtime=162.24 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 50408 0 0 0 16206 18 0 0 20 0 2 0 331279568 288681984 51773 33554432000 4194304 5964350 140735402660832 140587305175032 4388148 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 281916
[startup+222.3 s]
/proc/loadavg: 1.99 1.66 1.48 3/179 21475
/proc/meminfo: memFree=26745572/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=284076 CPUtime=222.18 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 58129 0 0 0 22199 19 0 0 20 0 2 0 331279567 290893824 58627 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 71019 58627 184 433 0 70583 0
[pid=21431/tid=21433] ppid=21429 vsize=284076 CPUtime=222.21 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 57202 0 0 0 22198 23 0 0 20 0 2 0 331279568 290893824 58627 33554432000 4194304 5964350 140735402660832 140587305175032 4381928 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 284076
[startup+282.3 s]
/proc/loadavg: 1.99 1.71 1.51 3/179 21476
/proc/meminfo: memFree=26745788/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=284076 CPUtime=282.16 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 58159 0 0 0 28197 19 0 0 20 0 2 0 331279567 290893824 58586 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 71019 58586 184 433 0 70583 0
[pid=21431/tid=21433] ppid=21429 vsize=284076 CPUtime=282.2 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 57232 0 0 0 28196 24 0 0 20 0 2 0 331279568 290893824 58586 33554432000 4194304 5964350 140735402660832 140587305175064 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 284076
[startup+342.3 s]
/proc/loadavg: 1.99 1.76 1.54 3/179 21476
/proc/meminfo: memFree=26691640/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=350332 CPUtime=342.15 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 71011 0 0 0 34191 24 0 0 20 0 2 0 331279567 358739968 71938 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 87583 71938 184 433 0 87147 0
[pid=21431/tid=21433] ppid=21429 vsize=350332 CPUtime=342.2 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 70084 0 0 0 34190 30 0 0 20 0 2 0 331279568 358739968 71938 33554432000 4194304 5964350 140735402660832 140587305175032 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 350332
[startup+402.3 s]
/proc/loadavg: 2.07 1.82 1.57 3/179 21476
/proc/meminfo: memFree=26565020/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=416444 CPUtime=402.13 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 84531 0 0 0 40183 30 0 0 20 0 2 0 331279567 426438656 85458 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 104111 85458 184 433 0 103675 0
[pid=21431/tid=21433] ppid=21429 vsize=416444 CPUtime=402.19 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 83604 0 0 0 40182 37 0 0 20 0 2 0 331279568 426438656 85458 33554432000 4194304 5964350 140735402660832 140587305175032 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 416444
[startup+462.3 s]
/proc/loadavg: 2.02 1.85 1.60 3/179 21476
/proc/meminfo: memFree=26506164/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=416876 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 148202 0 0 0 130136 78 0 0 20 0 2 0 331279568 635723776 149628 33554432000 4194304 5964350 140735402660832 140587305175080 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 620824
[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.83 3/180 21508
/proc/meminfo: memFree=25791284/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=620824 CPUtime=1361.9 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 149129 0 0 0 136132 58 0 0 20 0 2 0 331279567 635723776 149628 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 155206 149628 184 433 0 154770 0
[pid=21431/tid=21433] ppid=21429 vsize=620824 CPUtime=1362.14 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 148202 0 0 0 136135 79 0 0 20 0 2 0 331279568 635723776 149628 33554432000 4194304 5964350 140735402660832 140587305175080 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 620824
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 21508
/proc/meminfo: memFree=25727380/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=620824 CPUtime=1421.9 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 149159 0 0 0 142132 58 0 0 20 0 2 0 331279567 635723776 149583 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 155206 149583 184 433 0 154770 0
[pid=21431/tid=21433] ppid=21429 vsize=620824 CPUtime=1422.15 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 148232 0 0 0 142135 80 0 0 20 0 2 0 331279568 635723776 149583 33554432000 4194304 5964350 140735402660832 140587305175064 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 620824
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 21509
/proc/meminfo: memFree=25677532/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=620824 CPUtime=1481.88 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 149159 0 0 0 148130 58 0 0 20 0 2 0 331279567 635723776 149583 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 155206 149583 184 433 0 154770 0
[pid=21431/tid=21433] ppid=21429 vsize=620824 CPUtime=1482.14 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 148232 0 0 0 148133 81 0 0 20 0 2 0 331279568 635723776 149583 33554432000 4194304 5964350 140735402660832 140587305175064 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 620824
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 21509
/proc/meminfo: memFree=25628860/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=620824 CPUtime=1541.87 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 149159 0 0 0 154129 58 0 0 20 0 2 0 331279567 635723776 149583 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 155206 149583 184 433 0 154770 0
[pid=21431/tid=21433] ppid=21429 vsize=620824 CPUtime=1542.15 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 148232 0 0 0 154133 82 0 0 20 0 2 0 331279568 635723776 149583 33554432000 4194304 5964350 140735402660832 140587305175064 4400732 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 620824
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 21509
/proc/meminfo: memFree=25566268/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689588 CPUtime=1601.86 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 156100 0 0 0 160124 62 0 0 20 0 2 0 331279567 706138112 156524 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172397 156524 184 433 0 171961 0
[pid=21431/tid=21433] ppid=21429 vsize=689588 CPUtime=1602.15 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 155173 0 0 0 160128 87 0 0 20 0 2 0 331279568 706138112 156524 33554432000 4194304 5964350 140735402660832 140587305175080 4220944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 689588
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 21509
/proc/meminfo: memFree=25569212/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689588 CPUtime=1661.85 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 156106 0 0 0 166123 62 0 0 20 0 2 0 331279567 706138112 155606 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172397 155606 184 433 0 171961 0
[pid=21431/tid=21433] ppid=21429 vsize=689588 CPUtime=1662.15 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 155179 0 0 0 166127 88 0 0 20 0 2 0 331279568 706138112 155606 33554432000 4194304 5964350 140735402660832 140587305175064 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 689588
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 21509
/proc/meminfo: memFree=25569740/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689588 CPUtime=1721.84 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 156106 0 0 0 172122 62 0 0 20 0 2 0 331279567 706138112 155606 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172397 155606 184 433 0 171961 0
[pid=21431/tid=21433] ppid=21429 vsize=689588 CPUtime=1722.15 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 155179 0 0 0 172126 89 0 0 20 0 2 0 331279568 706138112 155606 33554432000 4194304 5964350 140735402660832 140587305175064 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 689588
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25569360/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689588 CPUtime=1781.83 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 156113 0 0 0 178121 62 0 0 20 0 2 0 331279567 706138112 155613 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172397 155613 184 433 0 171961 0
[pid=21431/tid=21433] ppid=21429 vsize=689588 CPUtime=1782.16 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 155186 0 0 0 178126 90 0 0 20 0 2 0 331279568 706138112 155613 33554432000 4194304 5964350 140735402660832 140587305175064 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 689588
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25568368/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689588 CPUtime=1791.44 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 156636 0 0 0 179082 62 0 0 20 0 2 0 331279567 706138112 156136 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172397 156136 184 433 0 171961 0
[pid=21431/tid=21433] ppid=21429 vsize=689588 CPUtime=1791.76 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 155709 0 0 0 179086 90 0 0 20 0 2 0 331279568 706138112 156136 33554432000 4194304 5964350 140735402660832 140587305175064 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 689588
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25562664/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689732 CPUtime=1794.64 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 157957 0 0 0 179401 63 0 0 20 0 2 0 331279567 706285568 157457 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172433 157457 184 433 0 171997 0
[pid=21431/tid=21433] ppid=21429 vsize=689732 CPUtime=1794.97 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 157030 0 0 0 179406 91 0 0 20 0 2 0 331279568 706285568 157457 33554432000 4194304 5964350 140735402660832 140587305175032 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 689732
[startup+1798.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25561176/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689948 CPUtime=1797.83 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 158659 0 0 0 179720 63 0 0 20 0 2 0 331279567 706506752 158159 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172487 158159 184 433 0 172051 0
[pid=21431/tid=21433] ppid=21429 vsize=689948 CPUtime=1798.16 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 157732 0 0 0 179725 91 0 0 20 0 2 0 331279568 706506752 158159 33554432000 4194304 5964350 140735402660832 140587305175032 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 689948
[startup+1799.1 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25560060/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689948 CPUtime=1798.63 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 158819 0 0 0 179800 63 0 0 20 0 2 0 331279567 706506752 158319 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172487 158319 184 433 0 172051 0
[pid=21431/tid=21433] ppid=21429 vsize=689948 CPUtime=1798.96 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 157892 0 0 0 179805 91 0 0 20 0 2 0 331279568 706506752 158319 33554432000 4194304 5964350 140735402660832 140587305174840 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 689948
[startup+1799.5 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25558820/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689948 CPUtime=1799.03 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 158921 0 0 0 179840 63 0 0 20 0 2 0 331279567 706506752 158421 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172487 158421 184 433 0 172051 0
[pid=21431/tid=21433] ppid=21429 vsize=689948 CPUtime=1799.37 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 157994 0 0 0 179846 91 0 0 20 0 2 0 331279568 706506752 158421 33554432000 4194304 5964350 140735402660832 140587305174840 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 689948
[startup+1799.9 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25558820/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689948 CPUtime=1799.44 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 159049 0 0 0 179880 64 0 0 20 0 2 0 331279567 706506752 158549 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172487 158549 184 433 0 172051 0
[pid=21431/tid=21433] ppid=21429 vsize=689948 CPUtime=1799.76 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 158122 0 0 0 179885 91 0 0 20 0 2 0 331279568 706506752 158549 33554432000 4194304 5964350 140735402660832 140587305174840 4381894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 689948
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 21510
/proc/meminfo: memFree=25558820/32873648 swapFree=7120/7120
[pid=21431] ppid=21429 vsize=689948 CPUtime=1799.54 cores=1,3,5,7
/proc/21431/stat : 21431 (wbo1.72) S 21429 21431 19663 0 -1 4202496 159076 0 0 0 179890 64 0 0 20 0 2 0 331279567 706506752 158576 33554432000 4194304 5964350 140735402660832 140735402660352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21431/statm: 172487 158576 184 433 0 172051 0
[pid=21431/tid=21433] ppid=21429 vsize=689948 CPUtime=1799.86 cores=1,3,5,7
/proc/21431/task/21433/stat : 21433 (wbo1.72) R 21429 21431 19663 0 -1 4202560 158149 0 0 0 179895 91 0 0 20 0 2 0 331279568 706506752 158576 33554432000 4194304 5964350 140735402660832 140587305174840 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 689948
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.89
CPU user time (s): 1798.96
CPU system time (s): 0.925859
CPU usage (%): 99.9933
Max. virtual memory (cumulated for all children) (KiB): 689948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 0.925859
maximum resident set size= 634320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159080
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= 244
involuntary context switches= 4525
runsolver used 2.71059 second user time and 7.2189 second system time
The end