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-3704773-1338097819/watcher-3704773-1338097819 -o /tmp/evaluation-result-3704773-1338097819/solver-3704773-1338097819 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704773-1338097819.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.12 2.05 2.01 2/176 10514
/proc/meminfo: memFree=29597636/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84168 CPUtime=0 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 951 0 0 0 0 0 0 0 20 0 2 0 275907386 86188032 896 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21042 897 175 432 0 20607 0
[pid=10514/tid=10515] ppid=10512 vsize=84168 CPUtime=0 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 2 0 275907386 86188032 897 33554432000 4194304 5963574 140734708897328 140733698266216 4302539 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0557139 s]
/proc/loadavg: 2.12 2.05 2.01 2/176 10514
/proc/meminfo: memFree=29597636/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84168 CPUtime=0.05 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 1253 0 0 0 5 0 0 0 20 0 2 0 275907386 86188032 1198 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21042 1198 185 432 0 20607 0
[pid=10514/tid=10515] ppid=10512 vsize=84168 CPUtime=0.03 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 408 0 0 0 3 0 0 0 20 0 2 0 275907386 86188032 1198 33554432000 4194304 5963574 140734708897328 140733698266216 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84168
[startup+0.100295 s]
/proc/loadavg: 2.12 2.05 2.01 2/176 10514
/proc/meminfo: memFree=29597636/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84168 CPUtime=0.09 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 1392 0 0 0 9 0 0 0 20 0 2 0 275907386 86188032 1337 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21042 1338 185 432 0 20607 0
[pid=10514/tid=10515] ppid=10512 vsize=84168 CPUtime=0.08 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 548 0 0 0 8 0 0 0 20 0 2 0 275907386 86188032 1338 33554432000 4194304 5963574 140734708897328 140733698266216 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84168
[startup+0.300251 s]
/proc/loadavg: 2.12 2.05 2.01 2/176 10514
/proc/meminfo: memFree=29597636/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84168 CPUtime=0.29 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 1915 0 0 0 29 0 0 0 20 0 2 0 275907386 86188032 1860 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21042 1861 185 432 0 20607 0
[pid=10514/tid=10515] ppid=10512 vsize=84168 CPUtime=0.28 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 1071 0 0 0 28 0 0 0 20 0 2 0 275907386 86188032 1861 33554432000 4194304 5963574 140734708897328 140733698266216 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84168
[startup+0.700254 s]
/proc/loadavg: 2.12 2.05 2.01 2/176 10514
/proc/meminfo: memFree=29597636/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84168 CPUtime=0.69 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 2778 0 0 0 69 0 0 0 20 0 2 0 275907386 86188032 2723 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21042 2724 185 432 0 20607 0
[pid=10514/tid=10515] ppid=10512 vsize=84168 CPUtime=0.68 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 1934 0 0 0 68 0 0 0 20 0 2 0 275907386 86188032 2724 33554432000 4194304 5963574 140734708897328 140733698266216 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84168
[startup+1.50026 s]
/proc/loadavg: 2.12 2.05 2.01 2/175 10516
/proc/meminfo: memFree=29982596/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84168 CPUtime=1.48 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 4284 0 0 0 148 0 0 0 20 0 2 0 275907386 86188032 4229 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21042 4229 185 432 0 20607 0
[pid=10514/tid=10515] ppid=10512 vsize=84168 CPUtime=1.48 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 3439 0 0 0 148 0 0 0 20 0 2 0 275907386 86188032 4229 33554432000 4194304 5963574 140734708897328 140031935240232 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84168
[startup+3.10025 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 10555
/proc/meminfo: memFree=29963652/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84312 CPUtime=3.09 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 5642 0 0 0 308 1 0 0 20 0 2 0 275907386 86335488 5587 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21078 5587 185 432 0 20643 0
[pid=10514/tid=10515] ppid=10512 vsize=84312 CPUtime=3.07 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 4797 0 0 0 306 1 0 0 20 0 2 0 275907386 86335488 5587 33554432000 4194304 5963574 140734708897328 140031935240184 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84312
[startup+6.30026 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 10555
/proc/meminfo: memFree=29941192/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84384 CPUtime=6.28 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 8062 0 0 0 626 2 0 0 20 0 2 0 275907386 86409216 8011 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21096 8011 185 432 0 20661 0
[pid=10514/tid=10515] ppid=10512 vsize=84384 CPUtime=6.26 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 7217 0 0 0 624 2 0 0 20 0 2 0 275907386 86409216 8011 33554432000 4194304 5963574 140734708897328 140031935240184 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84384
[startup+12.7002 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 10555
/proc/meminfo: memFree=29907032/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=84384 CPUtime=12.68 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 11928 0 0 0 1264 4 0 0 20 0 2 0 275907386 86409216 11877 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 21096 11877 185 432 0 20661 0
[pid=10514/tid=10515] ppid=10512 vsize=84384 CPUtime=12.64 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 11083 0 0 0 1260 4 0 0 20 0 2 0 275907386 86409216 11877 33554432000 4194304 5963574 140734708897328 140031935239992 4399627 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) 84384
[startup+25.5003 s]
/proc/loadavg: 2.15 2.06 2.01 3/178 10555
/proc/meminfo: memFree=29851952/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=150028 CPUtime=25.47 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 17391 0 0 0 2541 6 0 0 20 0 2 0 275907386 153628672 17338 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 37507 17338 185 432 0 37072 0
[pid=10514/tid=10515] ppid=10512 vsize=150028 CPUtime=25.39 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 16546 0 0 0 2533 6 0 0 20 0 2 0 275907386 153628672 17338 33554432000 4194304 5963574 140734708897328 140031935240184 4381399 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 150028
[startup+51.1003 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 10556
/proc/meminfo: memFree=29781268/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=150188 CPUtime=51.06 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 26072 0 0 0 5098 8 0 0 20 0 2 0 275907386 153792512 26720 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 37547 26720 185 432 0 37112 0
[pid=10514/tid=10515] ppid=10512 vsize=150188 CPUtime=50.92 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 25227 0 0 0 5084 8 0 0 20 0 2 0 275907386 153792512 26720 33554432000 4194304 5963574 140734708897328 140031935239992 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150188
[startup+102.306 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 10556
/proc/meminfo: memFree=29680032/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=215964 CPUtime=102.25 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 40629 0 0 0 10211 14 0 0 20 0 2 0 275907386 221147136 41277 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 53991 41277 185 432 0 53556 0
[pid=10514/tid=10515] ppid=10512 vsize=215964 CPUtime=102 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 39784 0 0 0 10185 15 0 0 20 0 2 0 275907386 221147136 41277 33554432000 4194304 5963574 140734708897328 140031935239992 4400032 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 215964
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10556
/proc/meminfo: memFree=29565112/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=281644 CPUtime=162.24 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 50595 0 0 0 16206 18 0 0 20 0 2 0 275907386 288403456 51243 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 70411 51243 185 432 0 69976 0
[pid=10514/tid=10515] ppid=10512 vsize=281644 CPUtime=161.84 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 49750 0 0 0 16164 20 0 0 20 0 2 0 275907386 288403456 51243 33554432000 4194304 5963574 140734708897328 140031935240184 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 281644
[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 10556
/proc/meminfo: memFree=29508544/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=282652 CPUtime=222.23 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 58807 0 0 0 22201 22 0 0 20 0 2 0 275907386 289435648 59518 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 70663 59518 185 432 0 70228 0
[pid=10514/tid=10515] ppid=10512 vsize=282652 CPUtime=221.67 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 57962 0 0 0 22143 24 0 0 20 0 2 0 275907386 289435648 59518 33554432000 4194304 5963574 140734708897328 140031935240184 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 282652
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10556
/proc/meminfo: memFree=29473484/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=282652 CPUtime=282.19 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 58864 0 0 0 28197 22 0 0 20 0 2 0 275907386 289435648 59687 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 70663 59687 185 432 0 70228 0
[pid=10514/tid=10515] ppid=10512 vsize=282652 CPUtime=281.49 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 58019 0 0 0 28124 25 0 0 20 0 2 0 275907386 289435648 59687 33554432000 4194304 5963574 140734708897328 140031935240184 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 282652
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10556
/proc/meminfo: memFree=29373424/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=351284 CPUtime=342.18 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 77095 0 0 0 34190 28 0 0 20 0 2 0 275907386 359714816 77918 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 87821 77918 185 432 0 87386 0
[pid=10514/tid=10515] ppid=10512 vsize=351284 CPUtime=341.33 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 76250 0 0 0 34101 32 0 0 20 0 2 0 275907386 359714816 77918 33554432000 4194304 5963574 140734708897328 140031935240232 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 351284
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10557
/proc/meminfo: memFree=29243192/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=351428 CPUtime=402.17 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 77137 0 0 0 40189 28 0 0 20 0 2 0 275907386 359862272 77960 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10590
/proc/meminfo: memFree=28744560/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=622368 CPUtime=1421.92 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 136874 0 0 0 142136 56 0 0 20 0 2 0 275907386 637304832 137580 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 155592 137580 185 432 0 155157 0
[pid=10514/tid=10515] ppid=10512 vsize=622368 CPUtime=1418.47 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 136029 0 0 0 141770 77 0 0 20 0 2 0 275907386 637304832 137580 33554432000 4194304 5963574 140734708897328 140031935240184 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 622368
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10590
/proc/meminfo: memFree=28744260/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=622368 CPUtime=1481.91 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 136874 0 0 0 148135 56 0 0 20 0 2 0 275907386 637304832 137580 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 155592 137580 185 432 0 155157 0
[pid=10514/tid=10515] ppid=10512 vsize=622368 CPUtime=1478.31 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 136029 0 0 0 147753 78 0 0 20 0 2 0 275907386 637304832 137580 33554432000 4194304 5963574 140734708897328 140031935240184 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 622368
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10590
/proc/meminfo: memFree=28699464/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=625296 CPUtime=1541.9 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 148119 0 0 0 154127 63 0 0 20 0 2 0 275907386 640303104 148825 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 156324 148825 185 432 0 155889 0
[pid=10514/tid=10515] ppid=10512 vsize=625296 CPUtime=1538.16 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 147274 0 0 0 153730 86 0 0 20 0 2 0 275907386 640303104 148825 33554432000 4194304 5963574 140734708897328 140031935240184 4378847 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 625296
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10591
/proc/meminfo: memFree=28699088/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=625728 CPUtime=1601.89 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 148217 0 0 0 160126 63 0 0 20 0 2 0 275907386 640745472 148923 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 156432 148923 185 432 0 155997 0
[pid=10514/tid=10515] ppid=10512 vsize=625728 CPUtime=1598.01 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 147372 0 0 0 159714 87 0 0 20 0 2 0 275907386 640745472 148923 33554432000 4194304 5963574 140734708897328 140031935239992 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 625728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10591
/proc/meminfo: memFree=28697476/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=627708 CPUtime=1661.88 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 148608 0 0 0 166125 63 0 0 20 0 2 0 275907386 642772992 149314 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 156927 149314 185 432 0 156492 0
[pid=10514/tid=10515] ppid=10512 vsize=627708 CPUtime=1657.85 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 147763 0 0 0 165697 88 0 0 20 0 2 0 275907386 642772992 149314 33554432000 4194304 5963574 140734708897328 140031935239992 4381557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 627708
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10591
/proc/meminfo: memFree=28671932/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=696372 CPUtime=1721.87 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 155315 0 0 0 172120 67 0 0 20 0 2 0 275907386 713084928 156021 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174093 156021 185 432 0 173658 0
[pid=10514/tid=10515] ppid=10512 vsize=696372 CPUtime=1717.7 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 154470 0 0 0 171677 93 0 0 20 0 2 0 275907386 713084928 156021 33554432000 4194304 5963574 140734708897328 140031935240184 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 696372
[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1781.87 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 178111 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1777.55 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 177652 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 699104
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1791.47 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179071 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1787.13 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 178610 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 699104
[startup+1795.1 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1794.67 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179391 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1790.32 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 178929 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 699104
[startup+1798.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1797.86 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179710 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1793.5 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 179247 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 699104
[startup+1799.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1798.66 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179790 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1794.3 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 179327 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 699104
[startup+1799.5 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1799.07 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179831 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1794.71 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 179368 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 699104
[startup+1799.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1799.46 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179870 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1795.1 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 179407 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 699104
[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10594
/proc/meminfo: memFree=28620340/32873852 swapFree=7624/7624
[pid=10514] ppid=10512 vsize=699104 CPUtime=1799.56 cores=0,2,4,6
/proc/10514/stat : 10514 (wbo1.7) S 10512 10514 9313 0 -1 4202496 167789 0 0 0 179880 76 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140734708896848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10514/statm: 174776 168495 185 432 0 174341 0
[pid=10514/tid=10515] ppid=10512 vsize=699104 CPUtime=1795.2 cores=0,2,4,6
/proc/10514/task/10515/stat : 10515 (wbo1.7) R 10512 10514 9313 0 -1 4202560 166944 0 0 0 179417 103 0 0 20 0 2 0 275907386 715882496 168495 33554432000 4194304 5963574 140734708897328 140031935239992 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 699104
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10514 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=180243
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=54839
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.56
CPU user time (s): 1798.8
CPU system time (s): 0.76
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 699104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 1.05484
maximum resident set size= 673984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167790
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= 227
involuntary context switches= 1854
runsolver used 2.75658 second user time and 7.06792 second system time
The end