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-3741765-1339250536/watcher-3741765-1339250536 -o /tmp/evaluation-result-3741765-1339250536/solver-3741765-1339250536 -C 1800 -W 1900 -M 15500 run HOME/instance-3741765-1339250536.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.00 2.05 3.49 3/177 446
/proc/meminfo: memFree=29668920/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[startup+0.0378351 s]
/proc/loadavg: 2.00 2.05 3.49 3/177 446
/proc/meminfo: memFree=29668920/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100217 s]
/proc/loadavg: 2.00 2.05 3.49 3/177 446
/proc/meminfo: memFree=29668920/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 2.00 2.05 3.49 3/177 446
/proc/meminfo: memFree=29668920/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 2.00 2.05 3.49 3/177 446
/proc/meminfo: memFree=29668920/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.05 3.48 3/179 448
/proc/meminfo: memFree=29665440/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=64268 CPUtime=1.49 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 1254 0 0 0 149 0 0 0 20 0 1 0 391179657 65810432 1209 33554432000 134512640 146736320 4292616128 4292552944 140714084 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/447/statm: 16067 1209 319 2985 0 997 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73416
[startup+3.10022 s]
/proc/loadavg: 2.00 2.05 3.48 3/179 448
/proc/meminfo: memFree=29664696/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=64400 CPUtime=3.09 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 1288 0 0 0 309 0 0 0 20 0 1 0 391179657 65945600 1243 33554432000 134512640 146736320 4292616128 4292552768 140679064 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/447/statm: 16100 1243 319 2985 0 1030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73548
[startup+6.30026 s]
/proc/loadavg: 2.00 2.05 3.48 3/179 448
/proc/meminfo: memFree=29665196/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=64688 CPUtime=6.29 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 1341 0 0 0 629 0 0 0 20 0 1 0 391179657 66240512 1296 33554432000 134512640 146736320 4292616128 4292552764 141028032 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 16172 1296 319 2985 0 1102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73836
[startup+12.7003 s]
/proc/loadavg: 2.00 2.05 3.47 3/179 448
/proc/meminfo: memFree=29665228/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=64820 CPUtime=12.69 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 1386 0 0 0 1269 0 0 0 20 0 1 0 391179657 66375680 1341 33554432000 134512640 146736320 4292616128 4292552856 134814118 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 16205 1341 319 2985 0 1135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73968
[startup+25.5002 s]
/proc/loadavg: 2.00 2.04 3.45 3/179 448
/proc/meminfo: memFree=29657840/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=71860 CPUtime=25.49 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 4035 0 0 0 2548 1 0 0 20 0 1 0 391179657 73584640 3990 33554432000 134512640 146736320 4292616128 4292614080 134543014 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 17965 3990 1206 2985 0 2895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81008
[startup+51.1002 s]
/proc/loadavg: 2.00 2.04 3.41 3/179 448
/proc/meminfo: memFree=29607248/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=123196 CPUtime=51.08 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 23580 0 0 0 5104 4 0 0 20 0 1 0 391179657 126152704 23437 33554432000 134512640 146736320 4292616128 4292613928 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 30799 23437 7836 2985 0 15729 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 132344
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 3.33 3/179 448
/proc/meminfo: memFree=29208872/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=552948 CPUtime=102.28 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 83525 0 0 0 10199 29 0 0 20 0 1 0 391179657 566218752 115124 33554432000 134512640 146736320 4292616128 4292611112 136015567 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 138237 115124 783 2985 0 135171 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 562096
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 3.24 3/179 448
/proc/meminfo: memFree=29130728/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=642652 CPUtime=162.26 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 159821 0 0 0 16163 63 0 0 20 0 1 0 391179657 658075648 135058 33554432000 134512640 146736320 4292616128 4292609988 139028333 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 160663 135058 903 2985 0 157597 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 651800
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 3.16 3/179 497
/proc/meminfo: memFree=29214644/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=642652 CPUtime=222.25 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 160349 0 0 0 22162 63 0 0 20 0 1 0 391179657 658075648 135586 33554432000 134512640 146736320 4292616128 4292609784 136475791 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 160663 135586 906 2985 0 157597 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 651800
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 3.09 3/179 498
/proc/meminfo: memFree=29208532/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=642652 CPUtime=282.23 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 160374 0 0 0 28160 63 0 0 20 0 1 0 391179657 658075648 135947 33554432000 134512640 146736320 4292616128 4292610040 136015684 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 160663 135947 906 2985 0 157597 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 651800
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 3.02 3/179 498
/proc/meminfo: memFree=29205260/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=642652 CPUtime=342.23 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 160379 0 0 0 34159 64 0 0 20 0 1 0 391179657 658075648 136476 33554432000 134512640 146736320 4292616128 4292608876 135454087 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/447/statm: 160663 136476 906 2985 0 157597 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 651800
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.95 3/179 498
/proc/meminfo: memFree=29197092/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=447/tid=528] ppid=446 vsize=1468076 CPUtime=1.29 cores=0,2,4,6
/proc/447/task/528/stat : 528 (pb_cplex) R 446 446 31871 0 -1 4202560 3509 0 0 0 126 3 0 0 20 0 8 0 391273582 1503309824 289562 33554432000 134512640 146736320 4292616128 3338658000 136008332 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=447/tid=529] ppid=446 vsize=1468076 CPUtime=1.39 cores=0,2,4,6
/proc/447/task/529/stat : 529 (pb_cplex) R 446 446 31871 0 -1 4202560 3116 0 0 0 137 2 0 0 20 0 8 0 391273582 1503309824 289562 33554432000 134512640 146736320 4292616128 3542405328 136008061 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=447/tid=530] ppid=446 vsize=1468076 CPUtime=1.38 cores=0,2,4,6
/proc/447/task/530/stat : 530 (pb_cplex) R 446 446 31871 0 -1 4202560 3413 0 0 0 136 2 0 0 20 0 8 0 391273582 1503309824 289562 33554432000 134512640 146736320 4292616128 3380601040 136008044 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=531] ppid=446 vsize=1468076 CPUtime=1.32 cores=0,2,4,6
/proc/447/task/531/stat : 531 (pb_cplex) R 446 446 31871 0 -1 4202560 3680 0 0 0 130 2 0 0 20 0 8 0 391273582 1503309824 289562 33554432000 134512640 146736320 4292616128 3235897552 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=447/tid=532] ppid=446 vsize=1468076 CPUtime=1.5 cores=0,2,4,6
/proc/447/task/532/stat : 532 (pb_cplex) R 446 446 31871 0 -1 4202560 4572 0 0 0 147 3 0 0 20 0 8 0 391273582 1503309824 289562 33554432000 134512640 146736320 4292616128 3215974608 136008065 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1226.99
Current children cumulated vsize (KiB) 1477224
[startup+1002.3 s]
/proc/loadavg: 10.77 7.88 5.21 9/186 582
/proc/meminfo: memFree=28569248/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=1493264 CPUtime=1466.53 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) S 446 446 31871 0 -1 4202496 824396 0 0 0 146342 311 0 0 20 0 8 0 391179657 1529102336 298978 33554432000 134512640 146736320 4292616128 4292610128 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/447/statm: 373316 298978 968 2985 0 370250 0
[pid=447/tid=526] ppid=446 vsize=1493264 CPUtime=34.68 cores=0,2,4,6
/proc/447/task/526/stat : 526 (pb_cplex) R 446 446 31871 0 -1 4202560 5539 0 0 0 3463 5 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3317685296 136384895 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=447/tid=527] ppid=446 vsize=1493264 CPUtime=35.02 cores=0,2,4,6
/proc/447/task/527/stat : 527 (pb_cplex) R 446 446 31871 0 -1 4202560 8314 0 0 0 3497 5 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3328172240 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=447/tid=528] ppid=446 vsize=1493264 CPUtime=33.49 cores=0,2,4,6
/proc/447/task/528/stat : 528 (pb_cplex) R 446 446 31871 0 -1 4202560 8836 0 0 0 3344 5 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3338658000 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=447/tid=529] ppid=446 vsize=1493264 CPUtime=33.88 cores=0,2,4,6
/proc/447/task/529/stat : 529 (pb_cplex) R 446 446 31871 0 -1 4202560 6741 0 0 0 3384 4 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3542405328 136008039 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=530] ppid=446 vsize=1493264 CPUtime=33.44 cores=0,2,4,6
/proc/447/task/530/stat : 530 (pb_cplex) R 446 446 31871 0 -1 4202560 8979 0 0 0 3338 6 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3380600872 139044580 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=447/tid=531] ppid=446 vsize=1493264 CPUtime=34.52 cores=0,2,4,6
/proc/447/task/531/stat : 531 (pb_cplex) R 446 446 31871 0 -1 4202560 8418 0 0 0 3448 4 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3235897496 136007517 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=532] ppid=446 vsize=1493264 CPUtime=33.95 cores=0,2,4,6
/proc/447/task/532/stat : 532 (pb_cplex) R 446 446 31871 0 -1 4202560 9410 0 0 0 3391 4 0 0 20 0 8 0 391273582 1529102336 298978 33554432000 134512640 146736320 4292616128 3215972716 135454087 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1466.53
Current children cumulated vsize (KiB) 1502412
############
# WARNING:
# current cumulated CPU time (1560 s) is less than in the last sample (1560.17 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.170044 s) to the 'lost time'.
[startup+1030.5 s]
/proc/loadavg: 9.12 7.74 5.23 3/186 582
/proc/meminfo: memFree=28572096/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=1488252 CPUtime=1560.17 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) S 446 446 31871 0 -1 4202496 836439 0 0 0 155700 317 0 0 20 0 8 0 391179657 1523970048 298094 33554432000 134512640 146736320 4292616128 4292610128 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/447/statm: 372063 298094 968 2985 0 368997 0
[pid=447/tid=526] ppid=446 vsize=1488252 CPUtime=46.15 cores=0,2,4,6
/proc/447/task/526/stat : 526 (pb_cplex) S 446 446 31871 0 -1 4202560 7102 0 0 0 4609 6 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3317690000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=447/tid=527] ppid=446 vsize=1488252 CPUtime=50.22 cores=0,2,4,6
/proc/447/task/527/stat : 527 (pb_cplex) S 446 446 31871 0 -1 4202560 10037 0 0 0 5016 6 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3328175760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=447/tid=528] ppid=446 vsize=1488252 CPUtime=42.65 cores=0,2,4,6
/proc/447/task/528/stat : 528 (pb_cplex) S 446 446 31871 0 -1 4202560 10057 0 0 0 4260 5 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3338661520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=447/tid=529] ppid=446 vsize=1488252 CPUtime=49.27 cores=0,2,4,6
/proc/447/task/529/stat : 529 (pb_cplex) S 446 446 31871 0 -1 4202560 8498 0 0 0 4923 4 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3542408848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=447/tid=530] ppid=446 vsize=1488252 CPUtime=42.24 cores=0,2,4,6
/proc/447/task/530/stat : 530 (pb_cplex) S 446 446 31871 0 -1 4202560 9897 0 0 0 4217 7 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3380604560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=447/tid=531] ppid=446 vsize=1488252 CPUtime=47 cores=0,2,4,6
/proc/447/task/531/stat : 531 (pb_cplex) S 446 446 31871 0 -1 4202560 9970 0 0 0 4696 4 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3235901072 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=447/tid=532] ppid=446 vsize=1488252 CPUtime=55.04 cores=0,2,4,6
/proc/447/task/532/stat : 532 (pb_cplex) R 446 446 31871 0 -1 4202560 12719 0 0 0 5498 6 0 0 20 0 8 0 391273582 1523970048 298094 33554432000 134512640 146736320 4292616128 3215974472 139042885 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1560.17
Current children cumulated vsize (KiB) 1497400
[startup+1030.6 s]
/proc/loadavg: 9.12 7.74 5.23 3/186 582
/proc/meminfo: memFree=28572096/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=981120 CPUtime=1560 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 836439 0 0 0 155679 321 0 0 20 0 1 0 391179657 1004666880 189385 33554432000 134512640 146736320 4292616128 4292609736 139043587 0 0 4096 16387 0 0 0 17 6 0 0 0 0 0
/proc/447/statm: 245280 189385 968 2985 0 242214 0
Current children cumulated CPU time (s) 1560
Current children cumulated vsize (KiB) 990268
#
############
[startup+1062.3 s]
/proc/loadavg: 8.73 7.78 5.33 10/186 589
/proc/meminfo: memFree=28566280/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=1495676 CPUtime=1685.55 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 906399 0 0 0 168199 356 0 0 20 0 8 0 391179657 1531572224 299549 33554432000 134512640 146736320 4292616128 4292606992 136403109 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/447/statm: 373919 299549 968 2985 0 370853 0
[pid=447/tid=583] ppid=446 vsize=1495676 CPUtime=15.53 cores=0,2,4,6
/proc/447/task/583/stat : 583 (pb_cplex) R 446 446 31871 0 -1 4202560 5447 0 0 0 1550 3 0 0 20 0 8 0 391282749 1531572224 299549 33554432000 134512640 146736320 4292616128 3215973464 136007083 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=584] ppid=446 vsize=1495676 CPUtime=15.47 cores=0,2,4,6
/proc/447/task/584/stat : 584 (pb_cplex) R 446 446 31871 0 -1 4202560 3919 0 0 0 1544 3 0 0 20 0 8 0 391282749 1531572224 299549 33554432000 134512640 146736320 4292616128 3235897936 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=447/tid=585] ppid=446 vsize=1495676 CPUtime=15.3 cores=0,2,4,6
/proc/447/task/585/stat : 585 (pb_cplex) R 446 446 31871 0 -1 4202560 5670 0 0 0 1526 4 0 0 20 0 8 0 391282749 1531572224 299549 33554432000 134512640 146736320 4292616128 3380599952 136008042 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=447/tid=586] ppid=446 vsize=1495676 CPUtime=15.82 cores=0,2,4,6
/proc/447/task/586/stat : 586 (pb_cplex) R 446 446 31871 0 -1 4202560 5273 0 0 0 1578 4 0 0 20 0 8 0 391282749 1531572224 299549 33554432000 134512640 146736320 4292616128 3542404240 136008042 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=447/tid=587] ppid=446 vsize=1495676 CPUtime=15.61 cores=0,2,4,6
/proc/447/task/587/stat : 587 (pb_cplex) R 446 446 31871 0 -1 4202560 7649 0 0 0 1557 4 0 0 20 0 8 0 391282749 1531572224 299549 33554432000 134512640 146736320 4292616128 3338656912 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=588] ppid=446 vsize=1495676 CPUtime=15.72 cores=0,2,4,6
/proc/447/task/588/stat : 588 (pb_cplex) R 446 446 31871 0 -1 4202560 6227 0 0 0 1569 3 0 0 20 0 8 0 391282749 1531572224 299549 33554432000 134512640 146736320 4292616128 3328170108 135526874 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=447/tid=589] ppid=446 vsize=1495676 CPUtime=15.57 cores=0,2,4,6
/proc/447/task/589/stat : 589 (pb_cplex) R 446 446 31871 0 -1 4202560 5511 0 0 0 1552 5 0 0 20 0 8 0 391282750 1531572224 299549 33554432000 134512640 146736320 4292616128 3317685392 136008053 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1685.55
Current children cumulated vsize (KiB) 1504824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1090.9 s]
/proc/loadavg: 8.83 7.89 5.45 10/187 592
/proc/meminfo: memFree=28550024/32873648 swapFree=7112/7112
[pid=446] ppid=444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/446/stat : 446 (run) S 444 446 31871 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391179657 9367552 270 33554432000 4194304 5064252 140737420263008 140737420261920 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/446/statm: 2287 270 229 213 0 72 0
[pid=447] ppid=446 vsize=1496808 CPUtime=1799.76 cores=0,2,4,6
/proc/447/stat : 447 (pb_cplex) R 446 446 31871 0 -1 4202496 919793 0 0 0 179610 366 0 0 20 0 8 0 391179657 1532731392 300545 33554432000 134512640 146736320 4292616128 4292606608 136008042 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/447/statm: 374202 300545 968 2985 0 371136 0
[pid=447/tid=583] ppid=446 vsize=1496808 CPUtime=29.78 cores=0,2,4,6
/proc/447/task/583/stat : 583 (pb_cplex) R 446 446 31871 0 -1 4202560 7378 0 0 0 2974 4 0 0 20 0 8 0 391282749 1532731392 300545 33554432000 134512640 146736320 4292616128 3215974608 136008359 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=584] ppid=446 vsize=1496808 CPUtime=29.64 cores=0,2,4,6
/proc/447/task/584/stat : 584 (pb_cplex) R 446 446 31871 0 -1 4202560 6218 0 0 0 2960 4 0 0 20 0 8 0 391282749 1532731392 300545 33554432000 134512640 146736320 4292616128 3235897552 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=447/tid=585] ppid=446 vsize=1496808 CPUtime=29.7 cores=0,2,4,6
/proc/447/task/585/stat : 585 (pb_cplex) R 446 446 31871 0 -1 4202560 7256 0 0 0 2966 4 0 0 20 0 8 0 391282749 1532731392 300545 33554432000 134512640 146736320 4292616128 3380600904 139042902 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=447/tid=586] ppid=446 vsize=1496808 CPUtime=30.17 cores=0,2,4,6
/proc/447/task/586/stat : 586 (pb_cplex) R 446 446 31871 0 -1 4202560 7161 0 0 0 3013 4 0 0 20 0 8 0 391282749 1532731392 300545 33554432000 134512640 146736320 4292616128 3542405328 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=447/tid=587] ppid=446 vsize=1496808 CPUtime=30.03 cores=0,2,4,6
/proc/447/task/587/stat : 587 (pb_cplex) R 446 446 31871 0 -1 4202560 8696 0 0 0 2998 5 0 0 20 0 8 0 391282749 1532731392 300545 33554432000 134512640 146736320 4292616128 3338656912 136008356 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=447/tid=588] ppid=446 vsize=1496808 CPUtime=29.81 cores=0,2,4,6
/proc/447/task/588/stat : 588 (pb_cplex) R 446 446 31871 0 -1 4202560 7658 0 0 0 2977 4 0 0 20 0 8 0 391282749 1532731392 300545 33554432000 134512640 146736320 4292616128 3328172104 139042895 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=447/tid=589] ppid=446 vsize=1496808 CPUtime=29.79 cores=0,2,4,6
/proc/447/task/589/stat : 589 (pb_cplex) R 446 446 31871 0 -1 4202560 7119 0 0 0 2972 7 0 0 20 0 8 0 391282750 1532731392 300545 33554432000 134512640 146736320 4292616128 3317685224 139044505 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (KiB) 1505956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 446 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1799.76
#
# 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.279907
# lost CPU user time (s): 0.399902
# lost CPU system time (s): -0.12
Real time (s): 1090.92
CPU time (s): 1800.04
CPU user time (s): 1796.5
CPU system time (s): 3.54
CPU usage (%): 165.002
Max. virtual memory (cumulated for all children) (KiB): 1789432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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= 2
involuntary context switches= 2
runsolver used 2.38064 second user time and 6.71598 second system time
The end