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-3703552-1338089464/watcher-3703552-1338089464 -o /tmp/evaluation-result-3703552-1338089464/solver-3703552-1338089464 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703552-1338089464.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: 3.85 3.97 3.90 4/178 31544
/proc/meminfo: memFree=31517888/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 862 0 0 0 0 0 0 0 20 0 3 0 275071303 166240256 812 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 40586 812 199 433 0 40150 0
[pid=31544/tid=31545] ppid=31542 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 3 0 275071304 166240256 815 33554432000 4194304 5965102 140735017799808 139902120848432 5179915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 3 0 275071304 166240256 815 33554432000 4194304 5965102 140735017799808 139902110358488 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.063526 s]
/proc/loadavg: 3.85 3.97 3.90 4/178 31544
/proc/meminfo: memFree=31517888/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=162344 CPUtime=0.12 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 1297 0 0 0 12 0 0 0 20 0 3 0 275071303 166240256 1247 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 40586 1247 200 433 0 40150 0
[pid=31544/tid=31545] ppid=31542 vsize=162344 CPUtime=0.05 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 322 0 0 0 5 0 0 0 20 0 3 0 275071304 166240256 1247 33554432000 4194304 5965102 140735017799808 139902120848432 4393958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=162344 CPUtime=0.05 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 230 0 0 0 5 0 0 0 20 0 3 0 275071304 166240256 1247 33554432000 4194304 5965102 140735017799808 139902110358488 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 162344
[startup+0.10037 s]
/proc/loadavg: 3.85 3.97 3.90 4/178 31544
/proc/meminfo: memFree=31517888/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=162476 CPUtime=0.19 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 1483 0 0 0 19 0 0 0 20 0 3 0 275071303 166375424 1424 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 40619 1424 200 433 0 40183 0
[pid=31544/tid=31545] ppid=31542 vsize=162476 CPUtime=0.08 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 418 0 0 0 8 0 0 0 20 0 3 0 275071304 166375424 1424 33554432000 4194304 5965102 140735017799808 139902120848432 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=162476 CPUtime=0.08 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 320 0 0 0 8 0 0 0 20 0 3 0 275071304 166375424 1424 33554432000 4194304 5965102 140735017799808 139902110358488 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162476
[startup+0.300336 s]
/proc/loadavg: 3.85 3.97 3.90 4/178 31544
/proc/meminfo: memFree=31517888/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=162608 CPUtime=0.59 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 1866 0 0 0 59 0 0 0 20 0 3 0 275071303 166510592 1800 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 40652 1800 200 433 0 40216 0
[pid=31544/tid=31545] ppid=31542 vsize=162608 CPUtime=0.28 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 549 0 0 0 28 0 0 0 20 0 3 0 275071304 166510592 1800 33554432000 4194304 5965102 140735017799808 139902120847720 4389892 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=162608 CPUtime=0.28 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 572 0 0 0 28 0 0 0 20 0 3 0 275071304 166510592 1800 33554432000 4194304 5965102 140735017799808 139902110358488 4404738 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162608
[startup+0.700331 s]
/proc/loadavg: 3.85 3.97 3.90 4/178 31544
/proc/meminfo: memFree=31517888/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=162740 CPUtime=1.39 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 2209 0 0 0 139 0 0 0 20 0 3 0 275071303 166645760 2143 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 40685 2143 200 433 0 40249 0
[pid=31544/tid=31545] ppid=31542 vsize=162740 CPUtime=0.68 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 847 0 0 0 68 0 0 0 20 0 3 0 275071304 166645760 2143 33554432000 4194304 5965102 140735017799808 139902120847896 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=162740 CPUtime=0.68 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 617 0 0 0 68 0 0 0 20 0 3 0 275071304 166645760 2143 33554432000 4194304 5965102 140735017799808 139902110357576 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162740
[startup+1.50034 s]
/proc/loadavg: 3.85 3.97 3.90 5/181 31547
/proc/meminfo: memFree=31509424/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=163408 CPUtime=2.99 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 3215 0 0 0 298 1 0 0 20 0 3 0 275071303 167329792 3149 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 40852 3149 200 433 0 40416 0
[pid=31544/tid=31545] ppid=31542 vsize=163408 CPUtime=1.48 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 1577 0 0 0 148 0 0 0 20 0 3 0 275071304 167329792 3149 33554432000 4194304 5965102 140735017799808 139902120847704 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=163408 CPUtime=1.48 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 893 0 0 0 148 0 0 0 20 0 3 0 275071304 167329792 3149 33554432000 4194304 5965102 140735017799808 139902110357816 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 163408
[startup+3.10038 s]
/proc/loadavg: 3.86 3.97 3.90 5/181 31547
/proc/meminfo: memFree=31496644/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=164016 CPUtime=6.19 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 4192 0 0 0 618 1 0 0 20 0 3 0 275071303 167952384 4126 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 41004 4126 200 433 0 40568 0
[pid=31544/tid=31545] ppid=31542 vsize=164016 CPUtime=3.07 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 1731 0 0 0 307 0 0 0 20 0 3 0 275071304 167952384 4126 33554432000 4194304 5965102 140735017799808 139902120847288 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=164016 CPUtime=3.07 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 1716 0 0 0 307 0 0 0 20 0 3 0 275071304 167952384 4126 33554432000 4194304 5965102 140735017799808 139902110357816 4391092 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 164016
[startup+6.30037 s]
/proc/loadavg: 3.86 3.97 3.90 5/181 31547
/proc/meminfo: memFree=31482508/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=164864 CPUtime=12.58 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 5951 0 0 0 1257 1 0 0 20 0 3 0 275071303 168820736 5885 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 41216 5885 200 433 0 40780 0
[pid=31544/tid=31545] ppid=31542 vsize=164864 CPUtime=6.27 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 2899 0 0 0 626 1 0 0 20 0 3 0 275071304 168820736 5885 33554432000 4194304 5965102 140735017799808 139902120847160 4401026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=164864 CPUtime=6.27 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 2307 0 0 0 627 0 0 0 20 0 3 0 275071304 168820736 5885 33554432000 4194304 5965102 140735017799808 139902110357336 4400966 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164864
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.91 5/181 31547
/proc/meminfo: memFree=31446424/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=165288 CPUtime=25.39 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 9176 0 0 0 2536 3 0 0 20 0 3 0 275071303 169254912 9110 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 41322 9110 200 433 0 40886 0
[pid=31544/tid=31545] ppid=31542 vsize=165288 CPUtime=12.65 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 5908 0 0 0 1263 2 0 0 20 0 3 0 275071304 169254912 9110 33554432000 4194304 5965102 140735017799808 139902120847160 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=165288 CPUtime=12.65 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 2523 0 0 0 1265 0 0 0 20 0 3 0 275071304 169254912 9110 33554432000 4194304 5965102 140735017799808 139902110357960 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 165288
[startup+25.5003 s]
/proc/loadavg: 3.97 3.99 3.91 5/181 31547
/proc/meminfo: memFree=31427336/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=165892 CPUtime=50.98 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 12528 0 0 0 5094 4 0 0 20 0 3 0 275071303 169873408 12452 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 41473 12452 200 433 0 41037 0
[pid=31544/tid=31545] ppid=31542 vsize=165892 CPUtime=25.42 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 8840 0 0 0 2539 3 0 0 20 0 3 0 275071304 169873408 12452 33554432000 4194304 5965102 140735017799808 139902120847160 4401026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=165892 CPUtime=25.42 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 2943 0 0 0 2542 0 0 0 20 0 3 0 275071304 169873408 12452 33554432000 4194304 5965102 140735017799808 139902110357848 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 165892
[startup+51.1004 s]
/proc/loadavg: 3.98 3.99 3.91 5/181 31547
/proc/meminfo: memFree=31372496/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=168816 CPUtime=102.17 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 19928 0 0 0 10208 9 0 0 20 0 3 0 275071303 172867584 19852 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 42204 19852 200 433 0 41768 0
[pid=31544/tid=31545] ppid=31542 vsize=168816 CPUtime=50.95 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 14719 0 0 0 5088 7 0 0 20 0 3 0 275071304 172867584 19852 33554432000 4194304 5965102 140735017799808 139902120847160 5136307 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=168816 CPUtime=50.95 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 4464 0 0 0 5094 1 0 0 20 0 3 0 275071304 172867584 19852 33554432000 4194304 5965102 140735017799808 139902110357816 4380048 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 168816
[startup+102.307 s]
/proc/loadavg: 3.99 3.99 3.91 5/182 31548
/proc/meminfo: memFree=31269552/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=236988 CPUtime=204.57 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 29160 0 0 0 20440 17 0 0 20 0 3 0 275071303 242675712 29433 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 59247 29433 200 433 0 58811 0
[pid=31544/tid=31545] ppid=31542 vsize=236988 CPUtime=102.01 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 22761 0 0 0 10187 14 0 0 20 0 3 0 275071304 242675712 29433 33554432000 4194304 5965102 140735017799808 139902120847160 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=236988 CPUtime=102.03 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 5654 0 0 0 10199 4 0 0 20 0 3 0 275071304 242675712 29433 33554432000 4194304 5965102 140735017799808 139902110357624 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 236988
[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/181 31548
/proc/meminfo: memFree=31196864/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=237500 CPUtime=324.51 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 38052 0 0 0 32430 21 0 0 20 0 3 0 275071303 243200000 37781 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 59375 37781 200 433 0 58939 0
[pid=31544/tid=31545] ppid=31542 vsize=237500 CPUtime=161.83 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 30394 0 0 0 16165 18 0 0 20 0 3 0 275071304 243200000 37781 33554432000 4194304 5965102 140735017799808 139902120848312 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=237500 CPUtime=161.87 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 6913 0 0 0 16181 6 0 0 20 0 3 0 275071304 243200000 37781 33554432000 4194304 5965102 140735017799808 139902110357848 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 237500
[startup+222.3 s]
/proc/loadavg: 4.16 4.03 3.93 5/181 31548
/proc/meminfo: memFree=31124652/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=239352 CPUtime=444.47 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 38812 0 0 0 44426 21 0 0 20 0 3 0 275071303 245096448 39725 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 59838 39725 200 433 0 59402 0
[pid=31544/tid=31545] ppid=31542 vsize=239352 CPUtime=221.67 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 30400 0 0 0 22148 19 0 0 20 0 3 0 275071304 245096448 39725 33554432000 4194304 5965102 140735017799808 139902120848312 4390150 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=239352 CPUtime=221.7 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 7667 0 0 0 22162 8 0 0 20 0 3 0 275071304 245096448 39725 33554432000 4194304 5965102 140735017799808 139902110357848 4401462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 239352
################
# More data... #
################
[pid=31544/tid=31546] ppid=31542 vsize=239992 CPUtime=281.55 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 7798 0 0 0 28146 9 0 0 20 0 3 0 275071304 245751808 39856 33554432000 4194304 5965102 140735017799808 139902110357576 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 239992
[startup+342.3 s]
/proc/loadavg: 4.05 4.03 3.93 5/181 31549
/proc/meminfo: memFree=31019980/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=306816 CPUtime=684.44 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 45358 0 0 0 68417 27 0 0 20 0 3 0 275071303 314179584 46270 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 76704 46270 200 433 0 76268 0
[pid=31544/tid=31545] ppid=31542 vsize=306816 CPUtime=341.35 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 35387 0 0 0 34109 26 0 0 20 0 3 0 275071304 314179584 46270 33554432000 4194304 5965102 140735017799808 139902120847224 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=306816 CPUtime=341.4 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 9226 0 0 0 34129 11 0 0 20 0 3 0 275071304 314179584 46270 33554432000 4194304 5965102 140735017799808 139902110357576 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.44
Current children cumulated vsize (KiB) 306816
[startup+402.3 s]
/proc/loadavg: 4.02 4.02 3.93 5/181 31549
/proc/meminfo: memFree=30941912/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=307884 CPUtime=804.42 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 50227 0 0 0 80410 32 0 0 20 0 3 0 275071303 315273216 51138 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 76971 51138 200 433 0 76535 0
[pid=31544/tid=31545] ppid=31542 vsize=307884 CPUtime=401.19 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 39296 0 0 0 40089 30 0 0 20 0 3 0 275071304 315273216 51138 33554432000 4194304 5965102 140735017799808 139902120847160 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=307884 CPUtime=401.24 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 10186 0 0 0 40111 13 0 0 20 0 3 0 275071304 315273216 51138 33554432000 4194304 5965102 140735017799808 139902110357624 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 307884
[startup+462.3 s]
/proc/loadavg: 4.00 4.02 3.93 5/181 31549
/proc/meminfo: memFree=30893136/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=308096 CPUtime=924.38 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 55268 0 0 0 92403 35 0 0 20 0 3 0 275071303 315490304 56461 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 77024 56461 200 433 0 76588 0
[pid=31544/tid=31545] ppid=31542 vsize=308096 CPUtime=461.02 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 44276 0 0 0 46067 35 0 0 20 0 3 0 275071304 315490304 56461 33554432000 4194304 5965102 140735017799808 139902120847352 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=308096 CPUtime=461.09 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 10247 0 0 0 46095 14 0 0 20 0 3 0 275071304 315490304 56461 33554432000 4194304 5965102 140735017799808 139902110357624 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 308096
[startup+522.3 s]
/proc/loadavg: 4.06 4.03 3.94 5/181 31549
/proc/meminfo: memFree=30875204/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=373632 CPUtime=1044.36 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 60481 0 0 0 104396 40 0 0 20 0 3 0 275071303 382599168 61747 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 93408 61747 200 433 0 92972 0
[pid=31544/tid=31545] ppid=31542 vsize=373632 CPUtime=520.85 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 49470 0 0 0 52046 39 0 0 20 0 3 0 275071304 382599168 61747 33554432000 4194304 5965102 140735017799808 139902120847352 4390125 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=373632 CPUtime=520.93 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 10266 0 0 0 52079 14 0 0 20 0 3 0 275071304 382599168 61747 33554432000 4194304 5965102 140735017799808 139902110357576 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (KiB) 373632
[startup+582.3 s]
/proc/loadavg: 4.05 4.03 3.94 5/182 31553
/proc/meminfo: memFree=30839036/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=377020 CPUtime=1164.33 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 69099 0 0 0 116385 48 0 0 20 0 3 0 275071303 386068480 70436 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 94255 70436 200 433 0 93819 0
[pid=31544/tid=31545] ppid=31542 vsize=377020 CPUtime=580.69 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 57327 0 0 0 58021 48 0 0 20 0 3 0 275071304 386068480 70436 33554432000 4194304 5965102 140735017799808 139902120847160 4404600 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=377020 CPUtime=580.77 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 11027 0 0 0 58062 15 0 0 20 0 3 0 275071304 386068480 70436 33554432000 4194304 5965102 140735017799808 139902110357336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.33
Current children cumulated vsize (KiB) 377020
[startup+642.3 s]
/proc/loadavg: 4.12 4.05 3.95 5/181 31553
/proc/meminfo: memFree=30788308/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=378212 CPUtime=1284.32 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 76361 0 0 0 128377 55 0 0 20 0 3 0 275071303 387289088 77698 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 94553 77698 200 433 0 94117 0
[pid=31544/tid=31545] ppid=31542 vsize=378212 CPUtime=640.54 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 63893 0 0 0 63999 55 0 0 20 0 3 0 275071304 387289088 77698 33554432000 4194304 5965102 140735017799808 139902120847160 4401129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=378212 CPUtime=640.63 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 11723 0 0 0 64046 17 0 0 20 0 3 0 275071304 387289088 77698 33554432000 4194304 5965102 140735017799808 139902110357576 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.32
Current children cumulated vsize (KiB) 378212
[startup+702.3 s]
/proc/loadavg: 4.05 4.04 3.95 5/181 31553
/proc/meminfo: memFree=30748968/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=381100 CPUtime=1404.29 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 79395 0 0 0 140371 58 0 0 20 0 3 0 275071303 390246400 80728 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 95275 80728 200 433 0 94839 0
[pid=31544/tid=31545] ppid=31542 vsize=381100 CPUtime=700.38 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 65036 0 0 0 69982 56 0 0 20 0 3 0 275071304 390246400 80728 33554432000 4194304 5965102 140735017799808 139902120847352 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=381100 CPUtime=700.47 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 13614 0 0 0 70026 21 0 0 20 0 3 0 275071304 390246400 80728 33554432000 4194304 5965102 140735017799808 139902110357864 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.29
Current children cumulated vsize (KiB) 381100
[startup+762.307 s]
/proc/loadavg: 4.12 4.06 3.96 5/181 31553
/proc/meminfo: memFree=30721564/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=448212 CPUtime=1524.28 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 84922 0 0 0 152365 63 0 0 20 0 3 0 275071303 458969088 86253 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 112053 86253 200 433 0 111617 0
[pid=31544/tid=31545] ppid=31542 vsize=448212 CPUtime=760.23 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 69762 0 0 0 75961 62 0 0 20 0 3 0 275071304 458969088 86253 33554432000 4194304 5965102 140735017799808 139902120847352 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=448212 CPUtime=760.32 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 14415 0 0 0 76010 22 0 0 20 0 3 0 275071304 458969088 86253 33554432000 4194304 5965102 140735017799808 139902110357688 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.28
Current children cumulated vsize (KiB) 448212
[startup+822.3 s]
/proc/loadavg: 4.12 4.07 3.97 5/181 31553
/proc/meminfo: memFree=30704580/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=448212 CPUtime=1644.26 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 92081 0 0 0 164354 72 0 0 20 0 3 0 275071303 458969088 93412 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 112053 93412 200 433 0 111617 0
[pid=31544/tid=31545] ppid=31542 vsize=448212 CPUtime=820.06 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 76779 0 0 0 81935 71 0 0 20 0 3 0 275071304 458969088 93412 33554432000 4194304 5965102 140735017799808 139902120847352 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=448212 CPUtime=820.16 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 14557 0 0 0 81992 24 0 0 20 0 3 0 275071304 458969088 93413 33554432000 4194304 5965102 140735017799808 139902110357624 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.26
Current children cumulated vsize (KiB) 448212
[startup+882.3 s]
/proc/loadavg: 4.07 4.07 3.98 5/181 31554
/proc/meminfo: memFree=30675864/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=514000 CPUtime=1764.23 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 98562 0 0 0 176343 80 0 0 20 0 3 0 275071303 526336000 100134 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 128500 100134 200 433 0 128064 0
[pid=31544/tid=31545] ppid=31542 vsize=514000 CPUtime=879.9 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 83101 0 0 0 87909 81 0 0 20 0 3 0 275071304 526336000 100134 33554432000 4194304 5965102 140735017799808 139902120847352 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=514000 CPUtime=880.01 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 14716 0 0 0 87976 25 0 0 20 0 3 0 275071304 526336000 100134 33554432000 4194304 5965102 140735017799808 139902110357864 4401056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.23
Current children cumulated vsize (KiB) 514000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.05 4.06 3.98 5/181 31595
/proc/meminfo: memFree=31145636/32873844 swapFree=7112/7112
[pid=31544] ppid=31542 vsize=514800 CPUtime=1800.03 cores=0,2,4,6
/proc/31544/stat : 31544 (pwbo2.0) S 31542 31544 31075 0 -1 4202496 99064 0 0 0 179922 81 0 0 20 0 3 0 275071303 527155200 100657 33554432000 4194304 5965102 140735017799808 140735017799328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31544/statm: 128700 100657 200 433 0 128264 0
[pid=31544/tid=31545] ppid=31542 vsize=514800 CPUtime=897.75 cores=0,2,4,6
/proc/31544/task/31545/stat : 31545 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 83109 0 0 0 89694 81 0 0 20 0 3 0 275071304 527155200 100657 33554432000 4194304 5965102 140735017799808 139902120847352 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31544/tid=31546] ppid=31542 vsize=514800 CPUtime=897.87 cores=0,2,4,6
/proc/31544/task/31546/stat : 31546 (pwbo2.0) R 31542 31544 31075 0 -1 4202560 15210 0 0 0 89762 25 0 0 20 0 3 0 275071304 527155200 100657 33554432000 4194304 5965102 140735017799808 139902110357576 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 514800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31544 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=578182
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=91834
# CPU time returned by wait4() is 1795.67
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.224
CPU time (s): 1800.03
CPU user time (s): 1799.22
CPU system time (s): 0.81
CPU usage (%): 199.954
Max. virtual memory (cumulated for all children) (KiB): 514800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.09183
maximum resident set size= 402636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99066
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= 120
involuntary context switches= 1935
runsolver used 1.9427 second user time and 4.98324 second system time
The end