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-3712485-1338196627/watcher-3712485-1338196627 -o /tmp/evaluation-result-3712485-1338196627/solver-3712485-1338196627 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712485-1338196627.wbo
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: 3.91 3.92 3.41 4/178 15275
/proc/meminfo: memFree=31328336/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=4448 CPUtime=0 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) R 15273 15275 14514 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 1 0 285788185 4554752 380 33554432000 4194304 5964478 140737031855120 140733932003928 5139024 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 1112 380 168 433 0 653 0
[startup+0.0237181 s]
/proc/loadavg: 3.91 3.92 3.41 4/178 15275
/proc/meminfo: memFree=31328336/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=164492 CPUtime=0.02 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 1738 0 0 0 2 0 0 0 20 0 3 0 285788185 168439808 2679 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 41123 2679 196 433 0 40687 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 164492
[startup+0.100186 s]
/proc/loadavg: 3.91 3.92 3.41 4/178 15275
/proc/meminfo: memFree=31328336/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=163948 CPUtime=0.18 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 3222 0 0 0 18 0 0 0 20 0 3 0 285788185 167882752 3291 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 40987 3291 198 433 0 40551 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163948
[startup+0.300096 s]
/proc/loadavg: 3.91 3.92 3.41 4/178 15275
/proc/meminfo: memFree=31328336/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=163948 CPUtime=0.57 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 4451 0 0 0 57 0 0 0 20 0 3 0 285788185 167882752 4033 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 40987 4033 198 433 0 40551 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163948
[startup+0.700153 s]
/proc/loadavg: 3.91 3.92 3.41 4/178 15275
/proc/meminfo: memFree=31328336/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=163948 CPUtime=1.37 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 5960 0 0 0 137 0 0 0 20 0 3 0 285788185 167882752 4878 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 40987 4878 198 433 0 40551 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163948
[startup+1.50018 s]
/proc/loadavg: 3.91 3.92 3.41 5/181 15278
/proc/meminfo: memFree=31306592/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=163948 CPUtime=2.97 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 8083 0 0 0 296 1 0 0 20 0 3 0 285788185 167882752 6648 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 40987 6648 198 433 0 40551 0
[pid=15275/tid=15277] ppid=15273 vsize=163948 CPUtime=1.46 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 3168 0 0 0 146 0 0 0 20 0 3 0 285788187 167882752 6648 33554432000 4194304 5964478 140737031855120 139751266973688 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=163948 CPUtime=1.47 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 3893 0 0 0 147 0 0 0 20 0 3 0 285788187 167882752 6648 33554432000 4194304 5964478 140737031855120 139751256484296 4403701 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163948
[startup+3.1002 s]
/proc/loadavg: 3.91 3.92 3.41 5/181 15278
/proc/meminfo: memFree=31298764/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=163948 CPUtime=6.17 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 10521 0 0 0 615 2 0 0 20 0 3 0 285788185 167882752 9020 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 40987 9020 198 433 0 40551 0
[pid=15275/tid=15277] ppid=15273 vsize=163948 CPUtime=3.06 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 4980 0 0 0 305 1 0 0 20 0 3 0 285788187 167882752 9020 33554432000 4194304 5964478 140737031855120 139751266973688 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=163948 CPUtime=3.06 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 4519 0 0 0 306 0 0 0 20 0 3 0 285788187 167882752 9020 33554432000 4194304 5964478 140737031855120 139751256484296 18446744073699066008 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163948
[startup+6.30021 s]
/proc/loadavg: 3.91 3.92 3.42 5/181 15278
/proc/meminfo: memFree=31273204/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=164344 CPUtime=12.56 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 16858 0 0 0 1251 5 0 0 20 0 3 0 285788185 168288256 15743 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 41086 15743 198 433 0 40650 0
[pid=15275/tid=15277] ppid=15273 vsize=164344 CPUtime=6.25 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 10650 0 0 0 621 4 0 0 20 0 3 0 285788187 168288256 15743 33554432000 4194304 5964478 140737031855120 139751266973688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=164344 CPUtime=6.25 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 5186 0 0 0 625 0 0 0 20 0 3 0 285788187 168288256 15743 33554432000 4194304 5964478 140737031855120 139751256484144 4389148 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164344
[startup+12.7002 s]
/proc/loadavg: 3.92 3.92 3.42 5/181 15278
/proc/meminfo: memFree=31234772/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=230432 CPUtime=25.35 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 25966 0 0 0 2527 8 0 0 20 0 3 0 285788185 235962368 24789 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 57608 24789 198 433 0 57172 0
[pid=15275/tid=15277] ppid=15273 vsize=230432 CPUtime=12.63 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 17403 0 0 0 1257 6 0 0 20 0 3 0 285788187 235962368 24789 33554432000 4194304 5964478 140737031855120 139751266973688 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=230432 CPUtime=12.63 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 7541 0 0 0 1262 1 0 0 20 0 3 0 285788187 235962368 24789 33554432000 4194304 5964478 140737031855120 139751256484256 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 230432
[startup+25.5003 s]
/proc/loadavg: 3.94 3.93 3.43 5/181 15278
/proc/meminfo: memFree=31126364/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=230856 CPUtime=50.94 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 47874 0 0 0 5078 16 0 0 20 0 3 0 285788185 236396544 46622 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 57714 46622 198 433 0 57278 0
[pid=15275/tid=15277] ppid=15273 vsize=230856 CPUtime=25.38 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 32146 0 0 0 2527 11 0 0 20 0 3 0 285788187 236396544 46622 33554432000 4194304 5964478 140737031855120 139751266973688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=230856 CPUtime=25.4 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 14706 0 0 0 2536 4 0 0 20 0 3 0 285788187 236396544 46622 33554432000 4194304 5964478 140737031855120 139751256484152 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 230856
[startup+51.1003 s]
/proc/loadavg: 3.96 3.93 3.44 5/181 15318
/proc/meminfo: memFree=31114796/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=364104 CPUtime=102.12 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 78268 0 0 0 10185 27 0 0 20 0 3 0 285788185 372842496 77010 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 91026 77012 198 433 0 90590 0
[pid=15275/tid=15277] ppid=15273 vsize=364104 CPUtime=50.91 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 43391 0 0 0 5076 15 0 0 20 0 3 0 285788187 372842496 77012 33554432000 4194304 5964478 140737031855120 139751266973688 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=364104 CPUtime=50.93 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 33857 0 0 0 5081 12 0 0 20 0 3 0 285788187 372842496 77012 33554432000 4194304 5964478 140737031855120 139751256484152 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 364104
[startup+102.306 s]
/proc/loadavg: 3.98 3.94 3.47 5/181 15318
/proc/meminfo: memFree=30769864/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=562260 CPUtime=204.51 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 114857 0 0 0 20411 40 0 0 20 0 3 0 285788185 575754240 114674 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 140565 114674 198 433 0 140129 0
[pid=15275/tid=15277] ppid=15273 vsize=562260 CPUtime=101.98 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 75627 0 0 0 10170 28 0 0 20 0 3 0 285788187 575754240 114674 33554432000 4194304 5964478 140737031855120 139751266973688 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=562260 CPUtime=102.01 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 38208 0 0 0 10187 14 0 0 20 0 3 0 285788187 575754240 114674 33554432000 4194304 5964478 140737031855120 139751256483912 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 562260
[startup+162.3 s]
/proc/loadavg: 3.99 3.95 3.50 5/181 15318
/proc/meminfo: memFree=30450780/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=826128 CPUtime=324.48 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 176946 0 0 0 32385 63 0 0 20 0 3 0 285788185 845955072 176538 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 206532 176538 198 433 0 206096 0
[pid=15275/tid=15277] ppid=15273 vsize=826128 CPUtime=161.81 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 116098 0 0 0 16136 45 0 0 20 0 3 0 285788187 845955072 176538 33554432000 4194304 5964478 140737031855120 139751266973688 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=826128 CPUtime=161.84 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 59826 0 0 0 16163 21 0 0 20 0 3 0 285788187 845955072 176538 33554432000 4194304 5964478 140737031855120 139751256484184 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 826128
[startup+222.3 s]
/proc/loadavg: 3.99 3.95 3.53 5/182 15322
/proc/meminfo: memFree=30257428/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=892756 CPUtime=444.46 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 191690 0 0 0 44377 69 0 0 20 0 3 0 285788185 914182144 191280 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 223189 191280 198 433 0 222753 0
[pid=15275/tid=15277] ppid=15273 vsize=892756 CPUtime=221.65 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 116127 0 0 0 22119 46 0 0 20 0 3 0 285788187 914182144 191280 33554432000 4194304 5964478 140737031855120 139751266973600 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=892756 CPUtime=221.69 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 74541 0 0 0 22141 28 0 0 20 0 3 0 285788187 914182144 191280 33554432000 4194304 5964478 140737031855120 139751256483912 4388212 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 892756
[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.56 5/181 15322
/proc/meminfo: memFree=30055900/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1025236 CPUtime=564.41 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 235969 0 0 0 56350 91 0 0 20 0 3 0 285788185 1049841664 235556 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 256309 235556 198 433 0 255873 0
[pid=15275/tid=15277] ppid=15273 vsize=1025236 CPUtime=281.49 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 142040 0 0 0 28088 61 0 0 20 0 3 0 285788187 1049841664 235556 33554432000 4194304 5964478 140737031855120 139751266973688 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1025236 CPUtime=281.51 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 92907 0 0 0 28114 37 0 0 20 0 3 0 285788187 1049841664 235556 33554432000 4194304 5964478 140737031855120 139751256484152 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 1025236
############
# WARNING:
# current cumulated CPU time (629.35 s) is less than in the last sample (629.98 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.630005 s) to the 'lost time'.
[startup+315.1 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29931960/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090952 CPUtime=629.98 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 261272 0 0 0 62894 104 0 0 20 0 3 0 285788185 1117134848 260854 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272738 260854 198 433 0 272302 0
[pid=15275/tid=15277] ppid=15273 vsize=1090952 CPUtime=314.19 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 161492 0 0 0 31349 70 0 0 20 0 3 0 285788187 1117134848 260854 33554432000 4194304 5964478 140737031855120 139751266973688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090952 CPUtime=314.22 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98758 0 0 0 31381 41 0 0 20 0 3 0 285788187 1117134848 260854 33554432000 4194304 5964478 140737031855120 139751256483912 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (KiB) 1090952
[startup+315.2 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29931960/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=0 CPUtime=629.35 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) Z 15273 15275 14514 0 -1 4203532 261433 0 0 0 62822 113 0 0 20 0 2 0 285788185 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 0 0 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=0 CPUtime=314.32 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4203588 98758 0 0 0 31386 46 0 0 20 0 2 0 285788187 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 629.35
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 3.99 3.96 3.56 5/181 15322
/proc/meminfo: memFree=29988056/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090772 CPUtime=588.39 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 249041 0 0 0 58741 98 0 0 20 0 3 0 285788185 1116950528 248613 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272693 248613 198 433 0 272257 0
[pid=15275/tid=15277] ppid=15273 vsize=1090772 CPUtime=293.46 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 149290 0 0 0 29282 64 0 0 20 0 3 0 285788187 1116950528 248613 33554432000 4194304 5964478 140737031855120 139751266973688 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090772 CPUtime=293.47 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98729 0 0 0 29306 41 0 0 20 0 3 0 285788187 1116950528 248613 33554432000 4194304 5964478 140737031855120 139751256484152 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 588.39
Current children cumulated vsize (KiB) 1090772
[startup+307.1 s]
/proc/loadavg: 3.99 3.96 3.56 5/181 15322
/proc/meminfo: memFree=29951568/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090772 CPUtime=613.99 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 257635 0 0 0 61297 102 0 0 20 0 3 0 285788185 1116950528 257214 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272693 257214 198 433 0 272257 0
[pid=15275/tid=15277] ppid=15273 vsize=1090772 CPUtime=306.22 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 157883 0 0 0 30554 68 0 0 20 0 3 0 285788187 1116950528 257214 33554432000 4194304 5964478 140737031855120 139751266973688 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090772 CPUtime=306.24 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98730 0 0 0 30583 41 0 0 20 0 3 0 285788187 1116950528 257214 33554432000 4194304 5964478 140737031855120 139751256484256 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 613.99
Current children cumulated vsize (KiB) 1090772
[startup+310.3 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29946236/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090772 CPUtime=620.38 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 258915 0 0 0 61936 102 0 0 20 0 3 0 285788185 1116950528 258494 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272693 258494 198 433 0 272257 0
[pid=15275/tid=15277] ppid=15273 vsize=1090772 CPUtime=309.41 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 159163 0 0 0 30872 69 0 0 20 0 3 0 285788187 1116950528 258494 33554432000 4194304 5964478 140737031855120 139751266973688 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090772 CPUtime=309.43 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98730 0 0 0 30902 41 0 0 20 0 3 0 285788187 1116950528 258494 33554432000 4194304 5964478 140737031855120 139751256484256 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 620.38
Current children cumulated vsize (KiB) 1090772
[startup+313.507 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29939168/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090952 CPUtime=626.79 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 260259 0 0 0 62576 103 0 0 20 0 3 0 285788185 1117134848 259838 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272738 259838 198 433 0 272302 0
[pid=15275/tid=15277] ppid=15273 vsize=1090952 CPUtime=312.61 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 160481 0 0 0 31192 69 0 0 20 0 3 0 285788187 1117134848 259838 33554432000 4194304 5964478 140737031855120 139751266973688 4400419 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090952 CPUtime=312.63 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98756 0 0 0 31222 41 0 0 20 0 3 0 285788187 1117134848 259838 33554432000 4194304 5964478 140737031855120 139751256483912 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 626.79
Current children cumulated vsize (KiB) 1090952
[startup+314.3 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29939168/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090952 CPUtime=628.37 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 260870 0 0 0 62734 103 0 0 20 0 3 0 285788185 1117134848 260452 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272738 260452 198 433 0 272302 0
[pid=15275/tid=15277] ppid=15273 vsize=1090952 CPUtime=313.39 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 161092 0 0 0 31269 70 0 0 20 0 3 0 285788187 1117134848 260452 33554432000 4194304 5964478 140737031855120 139751266973688 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090952 CPUtime=313.42 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98756 0 0 0 31301 41 0 0 20 0 3 0 285788187 1117134848 260452 33554432000 4194304 5964478 140737031855120 139751256483912 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 628.37
Current children cumulated vsize (KiB) 1090952
[startup+314.7 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29931960/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090952 CPUtime=629.18 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 261128 0 0 0 62814 104 0 0 20 0 3 0 285788185 1117134848 260710 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272738 260710 198 433 0 272302 0
[pid=15275/tid=15277] ppid=15273 vsize=1090952 CPUtime=313.79 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 161348 0 0 0 31309 70 0 0 20 0 3 0 285788187 1117134848 260710 33554432000 4194304 5964478 140737031855120 139751266973688 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090952 CPUtime=313.82 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98758 0 0 0 31341 41 0 0 20 0 3 0 285788187 1117134848 260710 33554432000 4194304 5964478 140737031855120 139751256483912 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 629.18
Current children cumulated vsize (KiB) 1090952
[startup+315.1 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29931960/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=1090952 CPUtime=629.98 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) S 15273 15275 14514 0 -1 4202496 261272 0 0 0 62894 104 0 0 20 0 3 0 285788185 1117134848 260854 33554432000 4194304 5964478 140737031855120 140737031854640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 272738 260854 198 433 0 272302 0
[pid=15275/tid=15277] ppid=15273 vsize=1090952 CPUtime=314.19 cores=0,2,4,6
/proc/15275/task/15277/stat : 15277 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 161492 0 0 0 31349 70 0 0 20 0 3 0 285788187 1117134848 260854 33554432000 4194304 5964478 140737031855120 139751266973688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=1090952 CPUtime=314.22 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4202560 98758 0 0 0 31381 41 0 0 20 0 3 0 285788187 1117134848 260854 33554432000 4194304 5964478 140737031855120 139751256483912 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (KiB) 1090952
[startup+315.2 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15322
/proc/meminfo: memFree=29931960/32873648 swapFree=7116/7116
[pid=15275] ppid=15273 vsize=0 CPUtime=629.35 cores=0,2,4,6
/proc/15275/stat : 15275 (pwbo2.01) Z 15273 15275 14514 0 -1 4203532 261433 0 0 0 62822 113 0 0 20 0 2 0 285788185 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 0 0 0 0 0 0 0
[pid=15275/tid=15278] ppid=15273 vsize=0 CPUtime=314.32 cores=0,2,4,6
/proc/15275/task/15278/stat : 15278 (pwbo2.01) R 15273 15275 14514 0 -1 4203588 98758 0 0 0 31386 46 0 0 20 0 2 0 285788187 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 629.35
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15275 and gives
# childrusage.ru_utime.tv_sec=627
# childrusage.ru_utime.tv_usec=412618
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=182820
# CPU time returned by wait4() is 628.595
# while last known CPU time is 629.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.630005
# lost CPU user time (s): 0.720032
# lost CPU system time (s): -0.09
Real time (s): 315.208
CPU time (s): 629.98
CPU user time (s): 628.94
CPU system time (s): 1.04
CPU usage (%): 199.862
Max. virtual memory (cumulated for all children) (KiB): 1090952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 627.413
system time used= 1.18282
maximum resident set size= 1044060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261433
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= 610
involuntary context switches= 710
runsolver used 0.463929 second user time and 1.25981 second system time
The end