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-3731763-1339247006/watcher-3731763-1339247006 -o /tmp/evaluation-result-3731763-1339247006/solver-3731763-1339247006 -C 1800 -W 1900 -M 15500 run HOME/instance-3731763-1339247006.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: 12.16 5.25 1.97 8/184 10572
/proc/meminfo: memFree=31259292/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[startup+0.00920188 s]
/proc/loadavg: 12.16 5.25 1.97 8/184 10572
/proc/meminfo: memFree=31259292/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100197 s]
/proc/loadavg: 12.16 5.25 1.97 8/184 10572
/proc/meminfo: memFree=31259292/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300174 s]
/proc/loadavg: 12.16 5.25 1.97 8/184 10572
/proc/meminfo: memFree=31259292/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 12.16 5.25 1.97 8/184 10572
/proc/meminfo: memFree=31259292/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50015 s]
/proc/loadavg: 11.83 5.30 2.01 10/186 10574
/proc/meminfo: memFree=31249844/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=23172 CPUtime=1.49 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 5036 0 0 0 148 1 0 0 20 0 1 0 390826134 23728128 2993 33554432000 134512640 146736320 4292656272 4292650308 136385179 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/10573/statm: 5793 2993 892 2985 0 2727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32320
[startup+3.10015 s]
/proc/loadavg: 11.83 5.30 2.01 6/186 10574
/proc/meminfo: memFree=31249348/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=23160 CPUtime=3.09 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 6139 0 0 0 308 1 0 0 20 0 1 0 390826134 23715840 3022 33554432000 134512640 146736320 4292656272 4292650552 136015584 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/10573/statm: 5790 3022 892 2985 0 2724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32308
[startup+6.30014 s]
/proc/loadavg: 11.04 5.24 2.01 8/186 10574
/proc/meminfo: memFree=31248608/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=23596 CPUtime=6.29 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 8121 0 0 0 628 1 0 0 20 0 1 0 390826134 24162304 3164 33554432000 134512640 146736320 4292656272 4292650332 135855167 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/10573/statm: 5899 3164 892 2985 0 2833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32744
[startup+12.7002 s]
/proc/loadavg: 10.64 5.25 2.03 9/186 10574
/proc/meminfo: memFree=31249004/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=23576 CPUtime=12.68 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 11872 0 0 0 1267 1 0 0 20 0 1 0 390826134 24141824 3150 33554432000 134512640 146736320 4292656272 4292650060 136017846 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/10573/statm: 5894 3150 893 2985 0 2828 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32724
[startup+25.5005 s]
/proc/loadavg: 11.08 5.60 2.19 17/193 10581
/proc/meminfo: memFree=31221204/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=132204 CPUtime=52.89 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 20198 0 0 0 5283 6 0 0 20 0 8 0 390826134 135376896 10169 33554432000 134512640 146736320 4292656272 4292649112 136008615 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10573/statm: 33051 10169 926 2985 0 29985 0
[pid=10573/tid=10575] ppid=10572 vsize=132204 CPUtime=4.86 cores=0,2,4,6
/proc/10573/task/10575/stat : 10575 (pb_cplex) R 10572 10572 10216 0 -1 4202560 553 0 0 0 486 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4149678536 136001126 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10576] ppid=10572 vsize=132204 CPUtime=4.8 cores=0,2,4,6
/proc/10573/task/10576/stat : 10576 (pb_cplex) R 10572 10572 10216 0 -1 4202560 745 0 0 0 480 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4139192528 136007967 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10577] ppid=10572 vsize=132204 CPUtime=4.82 cores=0,2,4,6
/proc/10573/task/10577/stat : 10577 (pb_cplex) R 10572 10572 10216 0 -1 4202560 592 0 0 0 482 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4128706672 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10578] ppid=10572 vsize=132204 CPUtime=4.47 cores=0,2,4,6
/proc/10573/task/10578/stat : 10578 (pb_cplex) R 10572 10572 10216 0 -1 4202560 755 0 0 0 447 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4118219920 136008042 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10579] ppid=10572 vsize=132204 CPUtime=4.42 cores=0,2,4,6
/proc/10573/task/10579/stat : 10579 (pb_cplex) R 10572 10572 10216 0 -1 4202560 708 0 0 0 442 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4107734160 136008450 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10580] ppid=10572 vsize=132204 CPUtime=4.65 cores=0,2,4,6
/proc/10573/task/10580/stat : 10580 (pb_cplex) R 10572 10572 10216 0 -1 4202560 803 0 0 0 465 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4097249488 136008299 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10581] ppid=10572 vsize=132204 CPUtime=4.28 cores=0,2,4,6
/proc/10573/task/10581/stat : 10581 (pb_cplex) R 10572 10572 10216 0 -1 4202560 683 0 0 0 428 0 0 0 20 0 8 0 390827497 135376896 10169 33554432000 134512640 146736320 4292656272 4086762640 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 52.89
Current children cumulated vsize (KiB) 141352
############
# WARNING:
# current cumulated CPU time (75.58 s) is less than in the last sample (75.59 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999451 s) to the 'lost time'.
[startup+31.8003 s]
/proc/loadavg: 11.31 5.74 2.25 15/193 10581
/proc/meminfo: memFree=31219840/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=132204 CPUtime=75.59 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) S 10572 10572 10216 0 -1 4202496 20556 0 0 0 7550 9 0 0 20 0 8 0 390826134 135376896 10227 33554432000 134512640 146736320 4292656272 4292652624 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10573/statm: 33051 10227 926 2985 0 29985 0
[pid=10573/tid=10575] ppid=10572 vsize=132204 CPUtime=7.65 cores=0,2,4,6
/proc/10573/task/10575/stat : 10575 (pb_cplex) S 10572 10572 10216 0 -1 4202560 559 0 0 0 765 0 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4149681808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10576] ppid=10572 vsize=132204 CPUtime=7.38 cores=0,2,4,6
/proc/10573/task/10576/stat : 10576 (pb_cplex) S 10572 10572 10216 0 -1 4202560 815 0 0 0 738 0 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4139196048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10577] ppid=10572 vsize=132204 CPUtime=8.15 cores=0,2,4,6
/proc/10573/task/10577/stat : 10577 (pb_cplex) R 10572 10572 10216 0 -1 4202560 593 0 0 0 815 0 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4128707152 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10578] ppid=10572 vsize=132204 CPUtime=7.1 cores=0,2,4,6
/proc/10573/task/10578/stat : 10578 (pb_cplex) S 10572 10572 10216 0 -1 4202560 775 0 0 0 710 0 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4118224528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10579] ppid=10572 vsize=132204 CPUtime=7.24 cores=0,2,4,6
/proc/10573/task/10579/stat : 10579 (pb_cplex) S 10572 10572 10216 0 -1 4202560 882 0 0 0 723 1 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4107738768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10580] ppid=10572 vsize=132204 CPUtime=7.48 cores=0,2,4,6
/proc/10573/task/10580/stat : 10580 (pb_cplex) S 10572 10572 10216 0 -1 4202560 880 0 0 0 748 0 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4097253008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10581] ppid=10572 vsize=132204 CPUtime=7.4 cores=0,2,4,6
/proc/10573/task/10581/stat : 10581 (pb_cplex) S 10572 10572 10216 0 -1 4202560 693 0 0 0 739 1 0 0 20 0 8 0 390827497 135376896 10227 33554432000 134512640 146736320 4292656272 4086767248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 75.59
Current children cumulated vsize (KiB) 141352
[startup+31.9004 s]
/proc/loadavg: 11.31 5.74 2.25 10/186 10581
/proc/meminfo: memFree=31230640/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=87444 CPUtime=75.58 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 20613 0 0 0 7546 12 0 0 20 0 1 0 390826134 89542656 7536 33554432000 134512640 146736320 4292656272 4292650968 136007083 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10573/statm: 21861 7536 928 2985 0 18795 0
Current children cumulated CPU time (s) 75.58
Current children cumulated vsize (KiB) 96592
#
############
[startup+51.1005 s]
/proc/loadavg: 10.77 5.96 2.40 12/193 10588
/proc/meminfo: memFree=31182204/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=166896 CPUtime=102.41 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 33726 0 0 0 10227 14 0 0 20 0 8 0 390826134 170901504 19892 33554432000 134512640 146736320 4292656272 4292649488 136403116 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10573/statm: 41724 19892 952 2985 0 38658 0
[pid=10573/tid=10582] ppid=10572 vsize=166896 CPUtime=1.14 cores=0,2,4,6
/proc/10573/task/10582/stat : 10582 (pb_cplex) R 10572 10572 10216 0 -1 4202560 730 0 0 0 114 0 0 0 20 0 8 0 390830639 170901504 19892 33554432000 134512640 146736320 4292656272 4086763612 135855167 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10583] ppid=10572 vsize=166896 CPUtime=1.24 cores=0,2,4,6
/proc/10573/task/10583/stat : 10583 (pb_cplex) R 10572 10572 10216 0 -1 4202560 547 0 0 0 124 0 0 0 20 0 8 0 390830639 170901504 19892 33554432000 134512640 146736320 4292656272 4097249488 136008450 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10584] ppid=10572 vsize=166896 CPUtime=1.25 cores=0,2,4,6
################
# More data... #
################
[pid=10573/tid=10586] ppid=10572 vsize=175080 CPUtime=104.05 cores=0,2,4,6
/proc/10573/task/10586/stat : 10586 (pb_cplex) R 10572 10572 10216 0 -1 4202560 6571 0 0 0 10393 12 0 0 20 0 8 0 390830639 179281920 23471 33554432000 134512640 146736320 4292656272 4070564048 136008427 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10587] ppid=10572 vsize=175080 CPUtime=102.25 cores=0,2,4,6
/proc/10573/task/10587/stat : 10587 (pb_cplex) R 10572 10572 10216 0 -1 4202560 10655 0 0 0 10211 14 0 0 20 0 8 0 390830639 179281920 23471 33554432000 134512640 146736320 4292656272 4060078192 136384883 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10588] ppid=10572 vsize=175080 CPUtime=108.16 cores=0,2,4,6
/proc/10573/task/10588/stat : 10588 (pb_cplex) R 10572 10572 10216 0 -1 4202560 9993 0 0 0 10804 12 0 0 20 0 8 0 390830639 179281920 23471 33554432000 134512640 146736320 4292656272 4049591440 136008093 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 931.36
Current children cumulated vsize (KiB) 184228
[startup+342.3 s]
/proc/loadavg: 14.05 10.70 5.37 17/193 10589
/proc/meminfo: memFree=31094808/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=250872 CPUtime=1167.05 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 139034 0 0 0 116576 129 0 0 20 0 8 0 390826134 256892928 36894 33554432000 134512640 146736320 4292656272 4292645264 136403112 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10573/statm: 62718 36894 970 2985 0 59652 0
[pid=10573/tid=10582] ppid=10572 vsize=250872 CPUtime=131.56 cores=0,2,4,6
/proc/10573/task/10582/stat : 10582 (pb_cplex) R 10572 10572 10216 0 -1 4202560 14726 0 0 0 13141 15 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4086759364 136385175 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10583] ppid=10572 vsize=250872 CPUtime=133.92 cores=0,2,4,6
/proc/10573/task/10583/stat : 10583 (pb_cplex) R 10572 10572 10216 0 -1 4202560 12281 0 0 0 13377 15 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4097245512 136000318 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10584] ppid=10572 vsize=250872 CPUtime=134.42 cores=0,2,4,6
/proc/10573/task/10584/stat : 10584 (pb_cplex) R 10572 10572 10216 0 -1 4202560 18898 0 0 0 13423 19 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4107729800 139042876 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10585] ppid=10572 vsize=250872 CPUtime=136.81 cores=0,2,4,6
/proc/10573/task/10585/stat : 10585 (pb_cplex) R 10572 10572 10216 0 -1 4202560 24687 0 0 0 13662 19 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4118215256 135466490 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10586] ppid=10572 vsize=250872 CPUtime=133.46 cores=0,2,4,6
/proc/10573/task/10586/stat : 10586 (pb_cplex) R 10572 10572 10216 0 -1 4202560 9691 0 0 0 13330 16 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4070558780 135526785 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10587] ppid=10572 vsize=250872 CPUtime=131.16 cores=0,2,4,6
/proc/10573/task/10587/stat : 10587 (pb_cplex) R 10572 10572 10216 0 -1 4202560 13375 0 0 0 13101 15 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4060074448 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10588] ppid=10572 vsize=250872 CPUtime=137.87 cores=0,2,4,6
/proc/10573/task/10588/stat : 10588 (pb_cplex) R 10572 10572 10216 0 -1 4202560 12718 0 0 0 13772 15 0 0 20 0 8 0 390830639 256892928 36894 33554432000 134512640 146736320 4292656272 4049588304 136008454 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1167.05
Current children cumulated vsize (KiB) 260020
[startup+402.3 s]
/proc/loadavg: 12.18 10.87 5.76 10/194 10747
/proc/meminfo: memFree=31155284/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=263880 CPUtime=1406.55 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 155423 0 0 0 140505 150 0 0 20 0 8 0 390826134 270213120 40801 33554432000 134512640 146736320 4292656272 4292644744 139042883 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10573/statm: 65970 40801 975 2985 0 62904 0
[pid=10573/tid=10582] ppid=10572 vsize=263880 CPUtime=161.46 cores=0,2,4,6
/proc/10573/task/10582/stat : 10582 (pb_cplex) R 10572 10572 10216 0 -1 4202560 17233 0 0 0 16126 20 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4086758080 138463246 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10583] ppid=10572 vsize=263880 CPUtime=163.84 cores=0,2,4,6
/proc/10573/task/10583/stat : 10583 (pb_cplex) R 10572 10572 10216 0 -1 4202560 15834 0 0 0 16366 18 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4097245512 136000315 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10584] ppid=10572 vsize=263880 CPUtime=164.43 cores=0,2,4,6
/proc/10573/task/10584/stat : 10584 (pb_cplex) R 10572 10572 10216 0 -1 4202560 21719 0 0 0 16422 21 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4107731272 136000315 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10585] ppid=10572 vsize=263880 CPUtime=166.62 cores=0,2,4,6
/proc/10573/task/10585/stat : 10585 (pb_cplex) R 10572 10572 10216 0 -1 4202560 25926 0 0 0 16640 22 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4118216632 136475778 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10586] ppid=10572 vsize=263880 CPUtime=163.61 cores=0,2,4,6
/proc/10573/task/10586/stat : 10586 (pb_cplex) R 10572 10572 10216 0 -1 4202560 12102 0 0 0 16343 18 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4070559656 139044525 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10587] ppid=10572 vsize=263880 CPUtime=160.75 cores=0,2,4,6
/proc/10573/task/10587/stat : 10587 (pb_cplex) R 10572 10572 10216 0 -1 4202560 14337 0 0 0 16058 17 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4060073480 135982594 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10588] ppid=10572 vsize=263880 CPUtime=167.58 cores=0,2,4,6
/proc/10573/task/10588/stat : 10588 (pb_cplex) R 10572 10572 10216 0 -1 4202560 15108 0 0 0 16739 19 0 0 20 0 8 0 390830639 270213120 40801 33554432000 134512640 146736320 4292656272 4049588304 136008461 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1406.55
Current children cumulated vsize (KiB) 273028
[startup+462.3 s]
/proc/loadavg: 11.61 10.95 6.11 11/193 10748
/proc/meminfo: memFree=31122764/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=245792 CPUtime=1620.87 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) S 10572 10572 10216 0 -1 4202496 157425 0 0 0 161918 169 0 0 20 0 8 0 390826134 251691008 38935 33554432000 134512640 146736320 4292656272 4292652624 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10573/statm: 61448 38935 975 2985 0 58382 0
[pid=10573/tid=10582] ppid=10572 vsize=245792 CPUtime=186.45 cores=0,2,4,6
/proc/10573/task/10582/stat : 10582 (pb_cplex) S 10572 10572 10216 0 -1 4202560 17285 0 0 0 18623 22 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4086767248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10583] ppid=10572 vsize=245792 CPUtime=190.02 cores=0,2,4,6
/proc/10573/task/10583/stat : 10583 (pb_cplex) S 10572 10572 10216 0 -1 4202560 17373 0 0 0 18982 20 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4097253008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10584] ppid=10572 vsize=245792 CPUtime=205.48 cores=0,2,4,6
/proc/10573/task/10584/stat : 10584 (pb_cplex) R 10572 10572 10216 0 -1 4202560 21722 0 0 0 20525 23 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4107731032 136008926 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10585] ppid=10572 vsize=245792 CPUtime=189.3 cores=0,2,4,6
/proc/10573/task/10585/stat : 10585 (pb_cplex) S 10572 10572 10216 0 -1 4202560 25977 0 0 0 18905 25 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4118224528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10586] ppid=10572 vsize=245792 CPUtime=186.36 cores=0,2,4,6
/proc/10573/task/10586/stat : 10586 (pb_cplex) S 10572 10572 10216 0 -1 4202560 12157 0 0 0 18616 20 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10587] ppid=10572 vsize=245792 CPUtime=201.41 cores=0,2,4,6
/proc/10573/task/10587/stat : 10587 (pb_cplex) R 10572 10572 10216 0 -1 4202560 14536 0 0 0 20120 21 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4060072620 135456903 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10588] ppid=10572 vsize=245792 CPUtime=173.78 cores=0,2,4,6
/proc/10573/task/10588/stat : 10588 (pb_cplex) S 10572 10572 10216 0 -1 4202560 15159 0 0 0 17357 21 0 0 20 0 8 0 390830639 251691008 38935 33554432000 134512640 146736320 4292656272 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1620.87
Current children cumulated vsize (KiB) 254940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+517 s]
/proc/loadavg: 9.34 10.49 6.23 10/193 10762
/proc/meminfo: memFree=31100240/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=229980 CPUtime=1800.04 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 157599 0 0 0 179815 189 0 0 20 0 8 0 390826134 235499520 36003 33554432000 134512640 146736320 4292656272 4292648964 136385183 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10573/statm: 57495 36003 975 2985 0 54429 0
[pid=10573/tid=10582] ppid=10572 vsize=229980 CPUtime=207.47 cores=0,2,4,6
/proc/10573/task/10582/stat : 10582 (pb_cplex) R 10572 10572 10216 0 -1 4202560 17309 0 0 0 20722 25 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4086763560 139044581 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10583] ppid=10572 vsize=229980 CPUtime=211.3 cores=0,2,4,6
/proc/10573/task/10583/stat : 10583 (pb_cplex) R 10572 10572 10216 0 -1 4202560 17374 0 0 0 21106 24 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4097249320 139044527 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10584] ppid=10572 vsize=229980 CPUtime=229.31 cores=0,2,4,6
/proc/10573/task/10584/stat : 10584 (pb_cplex) R 10572 10572 10216 0 -1 4202560 21778 0 0 0 22905 26 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4107735244 136388884 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10585] ppid=10572 vsize=229980 CPUtime=209.76 cores=0,2,4,6
/proc/10573/task/10585/stat : 10585 (pb_cplex) R 10572 10572 10216 0 -1 4202560 25978 0 0 0 20949 27 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4118220868 136385174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10586] ppid=10572 vsize=229980 CPUtime=207.75 cores=0,2,4,6
/proc/10573/task/10586/stat : 10586 (pb_cplex) R 10572 10572 10216 0 -1 4202560 12158 0 0 0 20751 24 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4070564048 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10587] ppid=10572 vsize=229980 CPUtime=229.93 cores=0,2,4,6
/proc/10573/task/10587/stat : 10587 (pb_cplex) R 10572 10572 10216 0 -1 4202560 14588 0 0 0 22968 25 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4060078672 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10588] ppid=10572 vsize=229980 CPUtime=194.94 cores=0,2,4,6
/proc/10573/task/10588/stat : 10588 (pb_cplex) R 10572 10572 10216 0 -1 4202560 15197 0 0 0 19471 23 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4049593064 136000311 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 239128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+517 s]
/proc/loadavg: 9.34 10.49 6.23 10/193 10762
/proc/meminfo: memFree=31100240/32873648 swapFree=7116/7116
[pid=10572] ppid=10570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10572/stat : 10572 (run) S 10570 10572 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390826134 9367552 270 33554432000 4194304 5064252 140734452954816 140734452953728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10572/statm: 2287 270 229 213 0 72 0
[pid=10573] ppid=10572 vsize=229980 CPUtime=1800.04 cores=0,2,4,6
/proc/10573/stat : 10573 (pb_cplex) R 10572 10572 10216 0 -1 4202496 157599 0 0 0 179815 189 0 0 20 0 8 0 390826134 235499520 36003 33554432000 134512640 146736320 4292656272 4292648964 136385183 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10573/statm: 57495 36003 975 2985 0 54429 0
[pid=10573/tid=10582] ppid=10572 vsize=229980 CPUtime=207.47 cores=0,2,4,6
/proc/10573/task/10582/stat : 10582 (pb_cplex) R 10572 10572 10216 0 -1 4202560 17309 0 0 0 20722 25 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4086763560 139044581 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10583] ppid=10572 vsize=229980 CPUtime=211.3 cores=0,2,4,6
/proc/10573/task/10583/stat : 10583 (pb_cplex) R 10572 10572 10216 0 -1 4202560 17374 0 0 0 21106 24 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4097249320 139044527 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10584] ppid=10572 vsize=229980 CPUtime=229.31 cores=0,2,4,6
/proc/10573/task/10584/stat : 10584 (pb_cplex) R 10572 10572 10216 0 -1 4202560 21778 0 0 0 22905 26 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4107735244 136388884 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10573/tid=10585] ppid=10572 vsize=229980 CPUtime=209.76 cores=0,2,4,6
/proc/10573/task/10585/stat : 10585 (pb_cplex) R 10572 10572 10216 0 -1 4202560 25978 0 0 0 20949 27 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4118220868 136385174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10573/tid=10586] ppid=10572 vsize=229980 CPUtime=207.75 cores=0,2,4,6
/proc/10573/task/10586/stat : 10586 (pb_cplex) R 10572 10572 10216 0 -1 4202560 12158 0 0 0 20751 24 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4070564048 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10573/tid=10587] ppid=10572 vsize=229980 CPUtime=229.93 cores=0,2,4,6
/proc/10573/task/10587/stat : 10587 (pb_cplex) R 10572 10572 10216 0 -1 4202560 14588 0 0 0 22968 25 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4060078672 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10573/tid=10588] ppid=10572 vsize=229980 CPUtime=194.94 cores=0,2,4,6
/proc/10573/task/10588/stat : 10588 (pb_cplex) R 10572 10572 10216 0 -1 4202560 15197 0 0 0 19471 23 0 0 20 0 8 0 390830639 235499520 36003 33554432000 134512640 146736320 4292656272 4049593064 136000311 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 239128
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10572 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# 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.00999451
# lost CPU user time (s): 0.0400009
# lost CPU system time (s): -0.03
Real time (s): 517.026
CPU time (s): 1800.05
CPU user time (s): 1798.19
CPU system time (s): 1.86
CPU usage (%): 348.154
Max. virtual memory (cumulated for all children) (KiB): 275016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 1
runsolver used 1.3198 second user time and 3.36649 second system time
The end