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-3744980-1339252100/watcher-3744980-1339252100 -o /tmp/evaluation-result-3744980-1339252100/solver-3744980-1339252100 -C 1800 -W 1900 -M 15500 run HOME/instance-3744980-1339252100.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.16 2.06 2.09 3/177 12542
/proc/meminfo: memFree=30515780/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[startup+0.010287 s]
/proc/loadavg: 2.16 2.06 2.09 3/177 12542
/proc/meminfo: memFree=30515780/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100196 s]
/proc/loadavg: 2.16 2.06 2.09 3/177 12542
/proc/meminfo: memFree=30515780/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.16 2.06 2.09 3/177 12542
/proc/meminfo: memFree=30515780/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700214 s]
/proc/loadavg: 2.16 2.06 2.09 3/177 12542
/proc/meminfo: memFree=30515780/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.16 2.06 2.09 3/179 12544
/proc/meminfo: memFree=30478944/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=98660 CPUtime=1.49 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 20029 0 0 0 146 3 0 0 20 0 1 0 391335544 101027840 19419 33554432000 134512640 146736320 4286682000 4286679912 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 24665 19419 2321 2985 0 17676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107808
[startup+3.10017 s]
/proc/loadavg: 2.15 2.06 2.09 3/179 12544
/proc/meminfo: memFree=30410284/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=154392 CPUtime=3.09 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 34670 0 0 0 304 5 0 0 20 0 1 0 391335544 158097408 34185 33554432000 134512640 146736320 4286682000 4286679984 140683304 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 38598 34185 3922 2985 0 31609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163540
[startup+6.30022 s]
/proc/loadavg: 2.15 2.06 2.09 3/179 12544
/proc/meminfo: memFree=30392196/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=155976 CPUtime=6.28 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 35292 0 0 0 623 5 0 0 20 0 1 0 391335544 159719424 34807 33554432000 134512640 146736320 4286682000 4286679884 141014065 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 38994 34807 4121 2985 0 32005 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 165124
[startup+12.7003 s]
/proc/loadavg: 2.13 2.06 2.09 3/179 12544
/proc/meminfo: memFree=30221580/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=404764 CPUtime=12.69 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 144539 0 0 0 1244 25 0 0 20 0 1 0 391335544 414478336 74374 33554432000 134512640 146736320 4286682000 4286676444 136406030 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 101191 74374 828 2985 0 98125 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413912
[startup+25.5002 s]
/proc/loadavg: 2.10 2.05 2.09 3/179 12544
/proc/meminfo: memFree=30180648/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=407976 CPUtime=25.49 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 148428 0 0 0 2522 27 0 0 20 0 1 0 391335544 417767424 75559 33554432000 134512640 146736320 4286682000 4286676856 136015575 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 101994 75559 828 2985 0 98928 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 417124
[startup+51.1003 s]
/proc/loadavg: 2.13 2.06 2.09 3/179 12544
/proc/meminfo: memFree=30382080/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=408076 CPUtime=51.08 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 152361 0 0 0 5080 28 0 0 20 0 1 0 391335544 417869824 75626 33554432000 134512640 146736320 4286682000 4286676636 135854509 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 102019 75626 828 2985 0 98953 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 417224
[startup+102.307 s]
/proc/loadavg: 2.05 2.05 2.08 3/180 12547
/proc/meminfo: memFree=30668832/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=412604 CPUtime=102.28 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 166840 0 0 0 10195 33 0 0 20 0 1 0 391335544 422506496 76710 33554432000 134512640 146736320 4286682000 4286677680 135983225 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 103151 76710 838 2985 0 100085 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 421752
[startup+162.3 s]
/proc/loadavg: 4.85 2.76 2.32 8/186 12554
/proc/meminfo: memFree=30046732/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1234196 CPUtime=278.13 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) S 12542 12542 10216 0 -1 4202496 1128053 0 0 0 27485 328 0 0 20 0 8 0 391335544 1263816704 230171 33554432000 134512640 146736320 4286682000 4286678352 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 308549 230171 954 2985 0 305483 0
[pid=12543/tid=12548] ppid=12542 vsize=1234196 CPUtime=23.74 cores=0,2,4,6
/proc/12543/task/12548/stat : 12548 (pb_cplex) R 12542 12542 10216 0 -1 4202560 80059 0 0 0 2347 27 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3742535808 136366875 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12543/tid=12549] ppid=12542 vsize=1234196 CPUtime=16.23 cores=0,2,4,6
/proc/12543/task/12549/stat : 12549 (pb_cplex) R 12542 12542 10216 0 -1 4202560 79893 0 0 0 1595 28 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3732049108 136004384 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12550] ppid=12542 vsize=1234196 CPUtime=22.13 cores=0,2,4,6
/proc/12543/task/12550/stat : 12550 (pb_cplex) R 12542 12542 10216 0 -1 4202560 100350 0 0 0 2181 32 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3721564312 136007277 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12551] ppid=12542 vsize=1234196 CPUtime=16.37 cores=0,2,4,6
/proc/12543/task/12551/stat : 12551 (pb_cplex) S 12542 12542 10216 0 -1 4202560 89276 0 0 0 1605 32 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3711082128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12552] ppid=12542 vsize=1234196 CPUtime=16.67 cores=0,2,4,6
/proc/12543/task/12552/stat : 12552 (pb_cplex) S 12542 12542 10216 0 -1 4202560 82715 0 0 0 1639 28 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3700596368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12553] ppid=12542 vsize=1234196 CPUtime=24.22 cores=0,2,4,6
/proc/12543/task/12553/stat : 12553 (pb_cplex) R 12542 12542 10216 0 -1 4202560 109323 0 0 0 2388 34 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3690108800 137083338 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12554] ppid=12542 vsize=1234196 CPUtime=21.37 cores=0,2,4,6
/proc/12543/task/12554/stat : 12554 (pb_cplex) R 12542 12542 10216 0 -1 4202560 88441 0 0 0 2107 30 0 0 20 0 8 0 391347487 1263816704 230171 33554432000 134512640 146736320 4286682000 3679621272 136007616 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 278.13
Current children cumulated vsize (KiB) 1243344
############
# WARNING:
# current cumulated CPU time (340.78 s) is less than in the last sample (341.33 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.550018 s) to the 'lost time'.
[startup+181.8 s]
/proc/loadavg: 5.75 3.10 2.44 3/186 12554
/proc/meminfo: memFree=30028832/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1239112 CPUtime=341.33 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) S 12542 12542 10216 0 -1 4202496 1600850 0 0 0 33644 489 0 0 20 0 8 0 391335544 1268850688 234375 33554432000 134512640 146736320 4286682000 4286678352 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 309778 234375 958 2985 0 306712 0
[pid=12543/tid=12548] ppid=12542 vsize=1239112 CPUtime=34.6 cores=0,2,4,6
/proc/12543/task/12548/stat : 12548 (pb_cplex) S 12542 12542 10216 0 -1 4202560 170906 0 0 0 3406 54 0 0 20 0 8 0 391347487 1268850688 234375 33554432000 134512640 146736320 4286682000 3742539408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12549] ppid=12542 vsize=1239112 CPUtime=22.11 cores=0,2,4,6
/proc/12543/task/12549/stat : 12549 (pb_cplex) S 12542 12542 10216 0 -1 4202560 125211 0 0 0 2168 43 0 0 20 0 8 0 391347487 1268850688 234375 33554432000 134512640 146736320 4286682000 3732053648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12550] ppid=12542 vsize=1239112 CPUtime=30.97 cores=0,2,4,6
/proc/12543/task/12550/stat : 12550 (pb_cplex) S 12542 12542 10216 0 -1 4202560 151541 0 0 0 3047 50 0 0 20 0 8 0 391347487 1268850688 234375 33554432000 134512640 146736320 4286682000 3721567888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12551] ppid=12542 vsize=1239112 CPUtime=24.64 cores=0,2,4,6
/proc/12543/task/12551/stat : 12551 (pb_cplex) R 12542 12542 10216 0 -1 4202560 136426 0 0 0 2417 47 0 0 20 0 8 0 391347487 1268850688 234375 33554432000 134512640 146736320 4286682000 3711079472 135983312 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12552] ppid=12542 vsize=1239112 CPUtime=22.92 cores=0,2,4,6
/proc/12543/task/12552/stat : 12552 (pb_cplex) S 12542 12542 10216 0 -1 4202560 134324 0 0 0 2244 48 0 0 20 0 8 0 391347487 1268850688 234375 33554432000 134512640 146736320 4286682000 3700596368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=12543/tid=12594] ppid=12542 vsize=1320588 CPUtime=46.35 cores=0,2,4,6
/proc/12543/task/12594/stat : 12594 (pb_cplex) R 12542 12542 10216 0 -1 4202560 42313 0 0 0 4622 13 0 0 20 0 8 0 391375300 1352282112 264098 33554432000 134512640 146736320 4286682000 3745505432 136007584 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12595] ppid=12542 vsize=1320588 CPUtime=46.41 cores=0,2,4,6
/proc/12543/task/12595/stat : 12595 (pb_cplex) R 12542 12542 10216 0 -1 4202560 34265 0 0 0 4628 13 0 0 20 0 8 0 391375300 1352282112 264098 33554432000 134512640 146736320 4286682000 3735019328 135237911 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12543/tid=12596] ppid=12542 vsize=1320588 CPUtime=46.33 cores=0,2,4,6
/proc/12543/task/12596/stat : 12596 (pb_cplex) R 12542 12542 10216 0 -1 4202560 48902 0 0 0 4613 20 0 0 20 0 8 0 391375300 1352282112 264098 33554432000 134512640 146736320 4286682000 3724535456 136002908 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 965.12
Current children cumulated vsize (KiB) 1329736
[startup+582.3 s]
/proc/loadavg: 6.06 3.94 2.87 9/179 12597
/proc/meminfo: memFree=30315588/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1296492 CPUtime=1184.4 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 2501684 0 0 0 117609 831 0 0 20 0 8 0 391335544 1327607808 263366 33554432000 134512640 146736320 4286682000 4286674776 136007295 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12543/statm: 324123 263366 983 2985 0 321057 0
[pid=12543/tid=12590] ppid=12542 vsize=1296492 CPUtime=71.45 cores=0,2,4,6
/proc/12543/task/12590/stat : 12590 (pb_cplex) R 12542 12542 10216 0 -1 4202560 92853 0 0 0 7106 39 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 4019736968 139023093 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12591] ppid=12542 vsize=1296492 CPUtime=55.44 cores=0,2,4,6
/proc/12543/task/12591/stat : 12591 (pb_cplex) R 12542 12542 10216 0 -1 4202560 89423 0 0 0 5510 34 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 4040473688 136007584 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12592] ppid=12542 vsize=1296492 CPUtime=80.17 cores=0,2,4,6
/proc/12543/task/12592/stat : 12592 (pb_cplex) R 12542 12542 10216 0 -1 4202560 90944 0 0 0 7982 35 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 4065931416 136007289 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12593] ppid=12542 vsize=1296492 CPUtime=85.93 cores=0,2,4,6
/proc/12543/task/12593/stat : 12593 (pb_cplex) R 12542 12542 10216 0 -1 4202560 90839 0 0 0 8558 35 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 3711078828 136400477 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12594] ppid=12542 vsize=1296492 CPUtime=74.93 cores=0,2,4,6
/proc/12543/task/12594/stat : 12594 (pb_cplex) R 12542 12542 10216 0 -1 4202560 84191 0 0 0 7461 32 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 3745505432 136007622 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12595] ppid=12542 vsize=1296492 CPUtime=87.27 cores=0,2,4,6
/proc/12543/task/12595/stat : 12595 (pb_cplex) R 12542 12542 10216 0 -1 4202560 72574 0 0 0 8698 29 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 3735018544 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12596] ppid=12542 vsize=1296492 CPUtime=72.46 cores=0,2,4,6
/proc/12543/task/12596/stat : 12596 (pb_cplex) R 12542 12542 10216 0 -1 4202560 89736 0 0 0 7210 36 0 0 20 0 8 0 391375300 1327607808 263366 33554432000 134512640 146736320 4286682000 3724533832 139042895 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1184.4
Current children cumulated vsize (KiB) 1305640
[startup+642.3 s]
/proc/loadavg: 7.34 4.73 3.21 9/179 12597
/proc/meminfo: memFree=30299240/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1269544 CPUtime=1423.96 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 2896586 0 0 0 141407 989 0 0 20 0 8 0 391335544 1300013056 261155 33554432000 134512640 146736320 4286682000 4286674696 139042888 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12543/statm: 317386 261155 983 2985 0 314320 0
[pid=12543/tid=12590] ppid=12542 vsize=1269544 CPUtime=101.66 cores=0,2,4,6
/proc/12543/task/12590/stat : 12590 (pb_cplex) R 12542 12542 10216 0 -1 4202560 149154 0 0 0 10103 63 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 4019736616 139044550 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12591] ppid=12542 vsize=1269544 CPUtime=85.25 cores=0,2,4,6
/proc/12543/task/12591/stat : 12591 (pb_cplex) R 12542 12542 10216 0 -1 4202560 131444 0 0 0 8472 53 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 4040474776 136007303 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12592] ppid=12542 vsize=1269544 CPUtime=110.12 cores=0,2,4,6
/proc/12543/task/12592/stat : 12592 (pb_cplex) R 12542 12542 10216 0 -1 4202560 134624 0 0 0 10957 55 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 4065931856 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12593] ppid=12542 vsize=1269544 CPUtime=115.73 cores=0,2,4,6
/proc/12543/task/12593/stat : 12593 (pb_cplex) R 12542 12542 10216 0 -1 4202560 154370 0 0 0 11513 60 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 3711078992 136403116 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12594] ppid=12542 vsize=1269544 CPUtime=104.78 cores=0,2,4,6
/proc/12543/task/12594/stat : 12594 (pb_cplex) R 12542 12542 10216 0 -1 4202560 154367 0 0 0 10421 57 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 3745504232 139044550 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12595] ppid=12542 vsize=1269544 CPUtime=116.58 cores=0,2,4,6
/proc/12543/task/12595/stat : 12595 (pb_cplex) R 12542 12542 10216 0 -1 4202560 111080 0 0 0 11614 44 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 3735019008 136001199 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12596] ppid=12542 vsize=1269544 CPUtime=102.79 cores=0,2,4,6
/proc/12543/task/12596/stat : 12596 (pb_cplex) R 12542 12542 10216 0 -1 4202560 107357 0 0 0 10235 44 0 0 20 0 8 0 391375300 1300013056 261155 33554432000 134512640 146736320 4286682000 3724533912 136007053 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1423.96
Current children cumulated vsize (KiB) 1278692
[startup+702.301 s]
/proc/loadavg: 7.74 5.28 3.49 9/180 12600
/proc/meminfo: memFree=30314984/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1245500 CPUtime=1663.5 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) R 12542 12542 10216 0 -1 4202496 3148721 0 0 0 165264 1086 0 0 20 0 8 0 391335544 1275392000 257008 33554432000 134512640 146736320 4286682000 4286674128 136403117 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 311375 257008 983 2985 0 308309 0
[pid=12543/tid=12590] ppid=12542 vsize=1245500 CPUtime=131.58 cores=0,2,4,6
/proc/12543/task/12590/stat : 12590 (pb_cplex) R 12542 12542 10216 0 -1 4202560 171607 0 0 0 13087 71 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 4019736616 139044550 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12543/tid=12591] ppid=12542 vsize=1245500 CPUtime=115.01 cores=0,2,4,6
/proc/12543/task/12591/stat : 12591 (pb_cplex) R 12542 12542 10216 0 -1 4202560 172224 0 0 0 11433 68 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 4040474776 136007661 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12592] ppid=12542 vsize=1245500 CPUtime=140.3 cores=0,2,4,6
/proc/12543/task/12592/stat : 12592 (pb_cplex) R 12542 12542 10216 0 -1 4202560 154114 0 0 0 13966 64 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 4065931416 136007059 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12593] ppid=12542 vsize=1245500 CPUtime=145.27 cores=0,2,4,6
/proc/12543/task/12593/stat : 12593 (pb_cplex) R 12542 12542 10216 0 -1 4202560 193799 0 0 0 14452 75 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 3711078552 136007616 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12543/tid=12594] ppid=12542 vsize=1245500 CPUtime=134.5 cores=0,2,4,6
/proc/12543/task/12594/stat : 12594 (pb_cplex) R 12542 12542 10216 0 -1 4202560 188836 0 0 0 13379 71 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 3745505432 136007053 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12595] ppid=12542 vsize=1245500 CPUtime=146.75 cores=0,2,4,6
/proc/12543/task/12595/stat : 12595 (pb_cplex) R 12542 12542 10216 0 -1 4202560 132074 0 0 0 14622 53 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 3735018840 136007605 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12543/tid=12596] ppid=12542 vsize=1245500 CPUtime=132.4 cores=0,2,4,6
/proc/12543/task/12596/stat : 12596 (pb_cplex) R 12542 12542 10216 0 -1 4202560 130124 0 0 0 13186 54 0 0 20 0 8 0 391375300 1275392000 257008 33554432000 134512640 146736320 4286682000 3724533912 136007643 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.5
Current children cumulated vsize (KiB) 1254648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+739.3 s]
/proc/loadavg: 6.90 5.41 3.60 3/180 12600
/proc/meminfo: memFree=30314004/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1245860 CPUtime=1799.53 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) S 12542 12542 10216 0 -1 4202496 3269810 0 0 0 178820 1133 0 0 20 0 8 0 391335544 1275760640 257389 33554432000 134512640 146736320 4286682000 4286678352 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 311465 257389 983 2985 0 308399 0
[pid=12543/tid=12590] ppid=12542 vsize=1245860 CPUtime=148.77 cores=0,2,4,6
/proc/12543/task/12590/stat : 12590 (pb_cplex) S 12542 12542 10216 0 -1 4202560 187812 0 0 0 14799 78 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 4019740304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12591] ppid=12542 vsize=1245860 CPUtime=121.75 cores=0,2,4,6
/proc/12543/task/12591/stat : 12591 (pb_cplex) S 12542 12542 10216 0 -1 4202560 188863 0 0 0 12099 76 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 4040478352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12592] ppid=12542 vsize=1245860 CPUtime=156.47 cores=0,2,4,6
/proc/12543/task/12592/stat : 12592 (pb_cplex) S 12542 12542 10216 0 -1 4202560 166227 0 0 0 15577 70 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 4065934992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12593] ppid=12542 vsize=1245860 CPUtime=162.78 cores=0,2,4,6
/proc/12543/task/12593/stat : 12593 (pb_cplex) S 12542 12542 10216 0 -1 4202560 202348 0 0 0 16200 78 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3711082128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12594] ppid=12542 vsize=1245860 CPUtime=148.59 cores=0,2,4,6
/proc/12543/task/12594/stat : 12594 (pb_cplex) S 12542 12542 10216 0 -1 4202560 192598 0 0 0 14787 72 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3745509008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12595] ppid=12542 vsize=1245860 CPUtime=170.85 cores=0,2,4,6
/proc/12543/task/12595/stat : 12595 (pb_cplex) R 12542 12542 10216 0 -1 4202560 150517 0 0 0 17026 59 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3735019680 136005943 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12596] ppid=12542 vsize=1245860 CPUtime=155.82 cores=0,2,4,6
/proc/12543/task/12596/stat : 12596 (pb_cplex) R 12542 12542 10216 0 -1 4202560 151043 0 0 0 15521 61 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3724532712 139044550 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 1255008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+739.3 s]
/proc/loadavg: 6.90 5.41 3.60 3/180 12600
/proc/meminfo: memFree=30314004/32873648 swapFree=7116/7116
[pid=12542] ppid=12540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12542/stat : 12542 (run) S 12540 12542 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391335544 9367552 270 33554432000 4194304 5064252 140737341025872 140737341024784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12542/statm: 2287 270 229 213 0 72 0
[pid=12543] ppid=12542 vsize=1245860 CPUtime=1799.53 cores=0,2,4,6
/proc/12543/stat : 12543 (pb_cplex) S 12542 12542 10216 0 -1 4202496 3269810 0 0 0 178820 1133 0 0 20 0 8 0 391335544 1275760640 257389 33554432000 134512640 146736320 4286682000 4286678352 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 311465 257389 983 2985 0 308399 0
[pid=12543/tid=12590] ppid=12542 vsize=1245860 CPUtime=148.77 cores=0,2,4,6
/proc/12543/task/12590/stat : 12590 (pb_cplex) S 12542 12542 10216 0 -1 4202560 187812 0 0 0 14799 78 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 4019740304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12591] ppid=12542 vsize=1245860 CPUtime=121.75 cores=0,2,4,6
/proc/12543/task/12591/stat : 12591 (pb_cplex) S 12542 12542 10216 0 -1 4202560 188863 0 0 0 12099 76 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 4040478352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12543/tid=12592] ppid=12542 vsize=1245860 CPUtime=156.47 cores=0,2,4,6
/proc/12543/task/12592/stat : 12592 (pb_cplex) S 12542 12542 10216 0 -1 4202560 166227 0 0 0 15577 70 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 4065934992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12593] ppid=12542 vsize=1245860 CPUtime=162.78 cores=0,2,4,6
/proc/12543/task/12593/stat : 12593 (pb_cplex) S 12542 12542 10216 0 -1 4202560 202348 0 0 0 16200 78 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3711082128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12594] ppid=12542 vsize=1245860 CPUtime=148.59 cores=0,2,4,6
/proc/12543/task/12594/stat : 12594 (pb_cplex) S 12542 12542 10216 0 -1 4202560 192598 0 0 0 14787 72 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3745509008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12543/tid=12595] ppid=12542 vsize=1245860 CPUtime=170.85 cores=0,2,4,6
/proc/12543/task/12595/stat : 12595 (pb_cplex) R 12542 12542 10216 0 -1 4202560 150517 0 0 0 17026 59 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3735019680 136005943 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12543/tid=12596] ppid=12542 vsize=1245860 CPUtime=155.82 cores=0,2,4,6
/proc/12543/task/12596/stat : 12596 (pb_cplex) R 12542 12542 10216 0 -1 4202560 151043 0 0 0 15521 61 0 0 20 0 8 0 391375300 1275760640 257389 33554432000 134512640 146736320 4286682000 3724532712 139044550 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 1255008
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12542 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=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1799.53
#
# 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.550018
# lost CPU user time (s): 0.570007
# lost CPU system time (s): -0.02
Real time (s): 739.316
CPU time (s): 1800.08
CPU user time (s): 1788.77
CPU system time (s): 11.31
CPU usage (%): 243.479
Max. virtual memory (cumulated for all children) (KiB): 1441068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
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.81072 second user time and 4.89525 second system time
The end