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-3727772-1339017766/watcher-3727772-1339017766 -o /tmp/evaluation-result-3727772-1339017766/solver-3727772-1339017766 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727772-1339017766.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: 0.00 0.00 0.00 2/173 10285
/proc/meminfo: memFree=30428536/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=7520 CPUtime=0 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) R 10283 10285 10250 0 -1 4202496 439 0 0 0 0 0 0 0 20 0 1 0 367903438 7700480 391 33554432000 4194304 5964350 140735472979248 140736291486808 4339124 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 1880 391 167 433 0 473 0
[startup+0.0202259 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 10285
/proc/meminfo: memFree=30428536/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=9936 CPUtime=0.01 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) R 10283 10285 10250 0 -1 4202496 1037 0 0 0 1 0 0 0 20 0 1 0 367903438 10174464 989 33554432000 4194304 5964350 140735472979248 140736291486808 5180076 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 2484 1000 204 433 0 1077 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9936
[startup+0.100233 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 10285
/proc/meminfo: memFree=30428536/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=16044 CPUtime=0.09 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) R 10283 10285 10250 0 -1 4202496 2724 0 0 0 9 0 0 0 20 0 1 0 367903438 16429056 2643 33554432000 4194304 5964350 140735472979248 140736291486808 4344832 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 4011 2643 462 433 0 2604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044
[startup+0.300247 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 10285
/proc/meminfo: memFree=30428536/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=27692 CPUtime=0.29 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) R 10283 10285 10250 0 -1 4202496 6282 0 0 0 29 0 0 0 20 0 1 0 367903438 28356608 6022 33554432000 4194304 5964350 140735472979248 140736291486808 4339242 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 6923 6023 1047 433 0 5516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27692
[startup+0.700329 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 10285
/proc/meminfo: memFree=30428536/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=104564 CPUtime=0.69 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 20367 0 0 0 66 3 0 0 20 0 2 0 367903438 107073536 17077 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 26141 17077 194 433 0 25705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104564
[startup+1.50033 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 10298
/proc/meminfo: memFree=30239752/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=104564 CPUtime=1.49 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 21890 0 0 0 146 3 0 0 20 0 2 0 367903438 107073536 18317 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 26141 18317 198 433 0 25705 0
[pid=10285/tid=10297] ppid=10283 vsize=104564 CPUtime=1.15 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 14671 0 0 0 112 3 0 0 20 0 2 0 367903473 107073536 18317 33554432000 4194304 5964350 140735472979248 139662216091992 4407080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104564
[startup+3.10031 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 10298
/proc/meminfo: memFree=30214816/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=104564 CPUtime=3.09 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 23282 0 0 0 305 4 0 0 20 0 2 0 367903438 107073536 19323 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 26141 19323 198 433 0 25705 0
[pid=10285/tid=10297] ppid=10283 vsize=104564 CPUtime=2.74 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 16063 0 0 0 271 3 0 0 20 0 2 0 367903473 107073536 19323 33554432000 4194304 5964350 140735472979248 139662216092488 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104564
[startup+6.30027 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 10298
/proc/meminfo: memFree=30209788/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=104564 CPUtime=6.29 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 23642 0 0 0 625 4 0 0 20 0 2 0 367903438 107073536 19683 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 26141 19683 198 433 0 25705 0
[pid=10285/tid=10297] ppid=10283 vsize=104564 CPUtime=5.94 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 16423 0 0 0 591 3 0 0 20 0 2 0 367903473 107073536 19683 33554432000 4194304 5964350 140735472979248 139662216091992 4409140 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104564
[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 3/179 10298
/proc/meminfo: memFree=30204840/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=104564 CPUtime=12.69 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 24531 0 0 0 1265 4 0 0 20 0 2 0 367903438 107073536 20572 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 26141 20572 198 433 0 25705 0
[pid=10285/tid=10297] ppid=10283 vsize=104564 CPUtime=12.35 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 17312 0 0 0 1231 4 0 0 20 0 2 0 367903473 107073536 20572 33554432000 4194304 5964350 140735472979248 139662216092200 4399895 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104564
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/179 10298
/proc/meminfo: memFree=30186560/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=170100 CPUtime=25.48 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 26400 0 0 0 2544 4 0 0 20 0 2 0 367903438 174182400 22657 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 42525 22657 198 433 0 42089 0
[pid=10285/tid=10297] ppid=10283 vsize=170100 CPUtime=25.14 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 19181 0 0 0 2510 4 0 0 20 0 2 0 367903473 174182400 22657 33554432000 4194304 5964350 140735472979248 139662216092200 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 170100
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/179 10298
/proc/meminfo: memFree=30154904/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=170100 CPUtime=51.06 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 30633 0 0 0 5101 5 0 0 20 0 2 0 367903438 174182400 26878 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 42525 26878 198 433 0 42089 0
[pid=10285/tid=10297] ppid=10283 vsize=170100 CPUtime=50.73 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 23414 0 0 0 5067 6 0 0 20 0 2 0 367903473 174182400 26878 33554432000 4194304 5964350 140735472979248 139662216092072 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 170100
[startup+102.306 s]
/proc/loadavg: 1.65 0.59 0.21 3/179 10298
/proc/meminfo: memFree=30141320/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=171724 CPUtime=102.26 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 33387 0 0 0 10219 7 0 0 20 0 2 0 367903438 175845376 29720 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 42931 29720 198 433 0 42495 0
[pid=10285/tid=10297] ppid=10283 vsize=171724 CPUtime=101.94 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 26168 0 0 0 10186 8 0 0 20 0 2 0 367903473 175845376 29720 33554432000 4194304 5964350 140735472979248 139662216091640 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 171724
[startup+162.3 s]
/proc/loadavg: 1.94 0.86 0.32 3/179 10298
/proc/meminfo: memFree=30086232/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=170100 CPUtime=162.25 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 36998 0 0 0 16215 10 0 0 20 0 2 0 367903438 174182400 32990 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 42525 32990 198 433 0 42089 0
[pid=10285/tid=10297] ppid=10283 vsize=170100 CPUtime=161.93 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 29779 0 0 0 16181 12 0 0 20 0 2 0 367903473 174182400 32990 33554432000 4194304 5964350 140735472979248 139662216092600 4399926 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 170100
[startup+222.3 s]
/proc/loadavg: 2.05 1.08 0.43 3/179 10298
/proc/meminfo: memFree=30086260/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=170100 CPUtime=222.22 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 37134 0 0 0 22212 10 0 0 20 0 2 0 367903438 174182400 33224 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 42525 33224 198 433 0 42089 0
[pid=10285/tid=10297] ppid=10283 vsize=170100 CPUtime=221.93 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 29915 0 0 0 22180 13 0 0 20 0 2 0 367903473 174182400 33224 33554432000 4194304 5964350 140735472979248 139662216092600 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 170100
[startup+282.3 s]
/proc/loadavg: 2.09 1.26 0.53 3/179 10298
/proc/meminfo: memFree=30067412/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=170100 CPUtime=282.22 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 41919 0 0 0 28207 15 0 0 20 0 2 0 367903438 174182400 38009 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 42525 38009 198 433 0 42089 0
[pid=10285/tid=10297] ppid=10283 vsize=170100 CPUtime=281.93 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 34700 0 0 0 28174 19 0 0 20 0 2 0 367903473 174182400 38009 33554432000 4194304 5964350 140735472979248 139662216091640 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 170100
[startup+342.3 s]
/proc/loadavg: 2.18 1.43 0.63 3/179 10299
/proc/meminfo: memFree=30006184/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=238068 CPUtime=342.21 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 46788 0 0 0 34202 19 0 0 20 0 2 0 367903438 243781632 42878 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 59517 42878 198 433 0 59081 0
[pid=10285/tid=10297] ppid=10283 vsize=238068 CPUtime=341.93 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 39569 0 0 0 34169 24 0 0 20 0 2 0 367903473 243781632 42878 33554432000 4194304 5964350 140735472979248 139662216091448 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 238068
[startup+402.3 s]
/proc/loadavg: 2.06 1.53 0.71 3/179 10299
/proc/meminfo: memFree=29999440/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=235636 CPUtime=402.2 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 48654 0 0 0 40201 19 0 0 20 0 2 0 367903438 241291264 44275 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 58909 44275 198 433 0 58473 0
[pid=10285/tid=10297] ppid=10283 vsize=235636 CPUtime=401.94 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 41435 0 0 0 40169 25 0 0 20 0 2 0 367903473 241291264 44275 33554432000 4194304 5964350 140735472979248 139662216092600 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 235636
[startup+462.3 s]
/proc/loadavg: 2.02 1.61 0.79 3/180 10302
/proc/meminfo: memFree=29999284/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=235636 CPUtime=462.18 cores=0,2,4,6
################
# More data... #
################
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 61359 0 0 0 130135 60 0 0 20 0 2 0 367903473 308400128 64146 33554432000 4194304 5964350 140735472979248 139662216092600 4400026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 301172
[startup+1362.3 s]
/proc/loadavg: 2.01 1.97 1.52 3/179 10310
/proc/meminfo: memFree=29795964/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=301172 CPUtime=1362 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 68578 0 0 0 136160 40 0 0 20 0 2 0 367903438 308400128 64146 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 75293 64146 198 433 0 74857 0
[pid=10285/tid=10297] ppid=10283 vsize=301172 CPUtime=1361.95 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 61359 0 0 0 136134 61 0 0 20 0 2 0 367903473 308400128 64146 33554432000 4194304 5964350 140735472979248 139662216092600 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 301172
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 10310
/proc/meminfo: memFree=29787072/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=301172 CPUtime=1422 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 68580 0 0 0 142160 40 0 0 20 0 2 0 367903438 308400128 64148 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 75293 64148 198 433 0 74857 0
[pid=10285/tid=10297] ppid=10283 vsize=301172 CPUtime=1421.96 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 61361 0 0 0 142134 62 0 0 20 0 2 0 367903473 308400128 64148 33554432000 4194304 5964350 140735472979248 139662216092600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 301172
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 10310
/proc/meminfo: memFree=29774736/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=301172 CPUtime=1481.98 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 68580 0 0 0 148158 40 0 0 20 0 2 0 367903438 308400128 64148 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 75293 64148 198 433 0 74857 0
[pid=10285/tid=10297] ppid=10283 vsize=301172 CPUtime=1481.95 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 61361 0 0 0 148132 63 0 0 20 0 2 0 367903473 308400128 64148 33554432000 4194304 5964350 140735472979248 139662216092600 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 301172
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 10311
/proc/meminfo: memFree=29773924/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=301172 CPUtime=1541.97 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 68580 0 0 0 154157 40 0 0 20 0 2 0 367903438 308400128 64148 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 75293 64148 198 433 0 74857 0
[pid=10285/tid=10297] ppid=10283 vsize=301172 CPUtime=1541.96 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 61361 0 0 0 154132 64 0 0 20 0 2 0 367903473 308400128 64148 33554432000 4194304 5964350 140735472979248 139662216092600 4400017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 301172
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/179 10311
/proc/meminfo: memFree=29774228/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=301172 CPUtime=1601.96 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 68580 0 0 0 160156 40 0 0 20 0 2 0 367903438 308400128 64148 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 75293 64148 198 433 0 74857 0
[pid=10285/tid=10297] ppid=10283 vsize=301172 CPUtime=1601.96 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 61361 0 0 0 160131 65 0 0 20 0 2 0 367903473 308400128 64148 33554432000 4194304 5964350 140735472979248 139662216092600 4399852 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 301172
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/180 10314
/proc/meminfo: memFree=29754092/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=301172 CPUtime=1661.96 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 73612 0 0 0 166149 47 0 0 20 0 2 0 367903438 308400128 69180 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 75293 69180 198 433 0 74857 0
[pid=10285/tid=10297] ppid=10283 vsize=301172 CPUtime=1661.96 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 66393 0 0 0 166124 72 0 0 20 0 2 0 367903473 308400128 69180 33554432000 4194304 5964350 140735472979248 139662216091448 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 301172
[startup+1722.3 s]
/proc/loadavg: 2.07 1.99 1.66 3/179 10314
/proc/meminfo: memFree=29736088/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1721.95 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 78132 0 0 0 172143 52 0 0 20 0 2 0 367903438 375508992 73700 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 73700 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1721.97 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 70913 0 0 0 172119 78 0 0 20 0 2 0 367903473 375508992 73700 33554432000 4194304 5964350 140735472979248 139662216091640 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 366708
[startup+1782.3 s]
/proc/loadavg: 2.02 1.99 1.68 3/179 10314
/proc/meminfo: memFree=29719720/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1781.94 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 82134 0 0 0 178136 58 0 0 20 0 2 0 367903438 375508992 77702 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 77702 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1781.97 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 74915 0 0 0 178112 85 0 0 20 0 2 0 367903473 375508992 77702 33554432000 4194304 5964350 140735472979248 139662216091640 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 366708
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 1.99 1.68 3/179 10314
/proc/meminfo: memFree=29716804/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1791.54 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 82777 0 0 0 179096 58 0 0 20 0 2 0 367903438 375508992 78344 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78344 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1791.58 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 75558 0 0 0 179073 85 0 0 20 0 2 0 367903473 375508992 78344 33554432000 4194304 5964350 140735472979248 139662216091688 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 366708
[startup+1795.1 s]
/proc/loadavg: 2.02 1.99 1.68 3/179 10314
/proc/meminfo: memFree=29716060/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1794.74 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 82950 0 0 0 179416 58 0 0 20 0 2 0 367903438 375508992 78517 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78517 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1794.78 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 75731 0 0 0 179393 85 0 0 20 0 2 0 367903473 375508992 78517 33554432000 4194304 5964350 140735472979248 139662216091640 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 366708
[startup+1798.3 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 10314
/proc/meminfo: memFree=29715688/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1797.93 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 83156 0 0 0 179735 58 0 0 20 0 2 0 367903438 375508992 78723 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78723 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1797.97 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 75937 0 0 0 179712 85 0 0 20 0 2 0 367903473 375508992 78723 33554432000 4194304 5964350 140735472979248 139662216091640 4399958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 366708
[startup+1799.1 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 10314
/proc/meminfo: memFree=29715068/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1798.73 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 83202 0 0 0 179815 58 0 0 20 0 2 0 367903438 375508992 78769 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78769 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1798.77 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 75983 0 0 0 179792 85 0 0 20 0 2 0 367903473 375508992 78769 33554432000 4194304 5964350 140735472979248 139662216091688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 366708
[startup+1799.5 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 10314
/proc/meminfo: memFree=29714820/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1799.14 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 83224 0 0 0 179856 58 0 0 20 0 2 0 367903438 375508992 78791 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78791 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1799.18 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 76005 0 0 0 179832 86 0 0 20 0 2 0 367903473 375508992 78791 33554432000 4194304 5964350 140735472979248 139662216091640 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 366708
[startup+1799.9 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 10314
/proc/meminfo: memFree=29714820/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1799.53 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 83247 0 0 0 179895 58 0 0 20 0 2 0 367903438 375508992 78814 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78814 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1799.57 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) R 10283 10285 10250 0 -1 4202560 76028 0 0 0 179871 86 0 0 20 0 2 0 367903473 375508992 78814 33554432000 4194304 5964350 140735472979248 139662216091640 4399889 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 366708
[startup+1800 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 10314
/proc/meminfo: memFree=29714820/32873648 swapFree=7372/7372
[pid=10285] ppid=10283 vsize=366708 CPUtime=1799.63 cores=0,2,4,6
/proc/10285/stat : 10285 (wbo1.72) S 10283 10285 10250 0 -1 4202496 83257 0 0 0 179905 58 0 0 20 0 2 0 367903438 375508992 78891 33554432000 4194304 5964350 140735472979248 140735472978768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10285/statm: 91677 78891 198 433 0 91241 0
[pid=10285/tid=10297] ppid=10283 vsize=366708 CPUtime=1799.67 cores=0,2,4,6
/proc/10285/task/10297/stat : 10297 (wbo1.72) D 10283 10285 10250 0 -1 4202560 76038 0 0 0 179881 86 0 0 20 0 2 0 367903473 375508992 78891 33554432000 4194304 5964350 140735472979248 139662216091688 4399837 0 0 4096 16387 18446744071581355444 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 366708
Child status: 255
Real time (s): 1800.01
CPU time (s): 1800.03
CPU user time (s): 1799.15
CPU system time (s): 0.881865
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 366708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.881865
maximum resident set size= 315604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83263
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= 114
involuntary context switches= 1856
runsolver used 2.75658 second user time and 7.14191 second system time
The end