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-3741394-1339250277/watcher-3741394-1339250277 -o /tmp/evaluation-result-3741394-1339250277/solver-3741394-1339250277 -C 1800 -W 1900 -M 15500 run HOME/instance-3741394-1339250277.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: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[startup+0.074617 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 8.39 6.68 5.57 3/179 4796
/proc/meminfo: memFree=28942308/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=19860 CPUtime=1.49 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 1459 0 0 0 149 0 0 0 20 0 1 0 391156197 20336640 1415 33554432000 134512640 146736320 4286573520 4286571356 140526528 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 4965 1415 457 2985 0 1022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29008
[startup+3.10027 s]
/proc/loadavg: 8.39 6.68 5.57 3/179 4796
/proc/meminfo: memFree=28941440/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=20520 CPUtime=3.09 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 1710 0 0 0 309 0 0 0 20 0 1 0 391156197 21012480 1666 33554432000 134512640 146736320 4286573520 4286571504 140683260 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 5130 1666 544 2985 0 1187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29668
[startup+6.30027 s]
/proc/loadavg: 7.88 6.60 5.55 3/179 4796
/proc/meminfo: memFree=28939456/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=21840 CPUtime=6.29 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 2207 0 0 0 629 0 0 0 20 0 1 0 391156197 22364160 2163 33554432000 134512640 146736320 4286573520 4286571408 141028076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 5460 2163 718 2985 0 1517 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30988
[startup+12.7003 s]
/proc/loadavg: 7.41 6.52 5.53 3/179 4796
/proc/meminfo: memFree=28936372/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=24216 CPUtime=12.69 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 3153 0 0 0 1269 0 0 0 20 0 1 0 391156197 24797184 3109 33554432000 134512640 146736320 4286573520 4286571472 140681231 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 6054 3109 1049 2985 0 2111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33364
[startup+25.5003 s]
/proc/loadavg: 6.28 6.32 5.47 3/179 4796
/proc/meminfo: memFree=28899116/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=69464 CPUtime=25.49 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 27856 0 0 0 2543 6 0 0 20 0 1 0 391156197 71131136 12342 33554432000 134512640 146736320 4286573520 4286567544 136475778 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 17366 12342 851 2985 0 14300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78612
[startup+51.1003 s]
/proc/loadavg: 4.82 5.97 5.38 3/179 4796
/proc/meminfo: memFree=28876732/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=91144 CPUtime=51.08 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 43276 0 0 0 5098 10 0 0 20 0 1 0 391156197 93331456 17227 33554432000 134512640 146736320 4286573520 4286567360 136018919 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 22786 17227 886 2985 0 19720 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100292
[startup+102.307 s]
/proc/loadavg: 3.22 5.35 5.20 3/179 4796
/proc/meminfo: memFree=28896944/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=69736 CPUtime=102.27 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 52670 0 0 0 10214 13 0 0 20 0 1 0 391156197 71409664 12823 33554432000 134512640 146736320 4286573520 4286567544 136475763 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 17434 12823 908 2985 0 14368 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78884
[startup+162.3 s]
/proc/loadavg: 2.45 4.74 5.00 3/180 4799
/proc/meminfo: memFree=28884316/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=71980 CPUtime=162.25 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 61008 0 0 0 16211 14 0 0 20 0 1 0 391156197 73707520 13490 33554432000 134512640 146736320 4286573520 4286567580 135855167 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 17995 13490 908 2985 0 14929 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81128
[startup+222.3 s]
/proc/loadavg: 2.16 4.24 4.81 3/180 4823
/proc/meminfo: memFree=28864936/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=72360 CPUtime=222.23 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 72247 0 0 0 22207 16 0 0 20 0 1 0 391156197 74096640 13631 33554432000 134512640 146736320 4286573520 4286567560 139043581 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 18090 13631 908 2985 0 15024 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81508
[startup+282.3 s]
/proc/loadavg: 2.10 3.84 4.63 3/179 4823
/proc/meminfo: memFree=28861948/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=72328 CPUtime=282.22 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 80977 0 0 0 28203 19 0 0 20 0 1 0 391156197 74063872 13637 33554432000 134512640 146736320 4286573520 4286567800 136015579 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 18082 13637 908 2985 0 15016 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 81476
[startup+342.3 s]
/proc/loadavg: 2.07 3.52 4.47 3/179 4823
/proc/meminfo: memFree=28862072/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=72768 CPUtime=342.2 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 89014 0 0 0 34199 21 0 0 20 0 1 0 391156197 74514432 13709 33554432000 134512640 146736320 4286573520 4286569528 137317007 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 18192 13709 911 2985 0 15126 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 81916
[startup+402.3 s]
/proc/loadavg: 2.02 3.24 4.31 3/179 4823
/proc/meminfo: memFree=28858600/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/4795/statm: 76291 52965 963 2985 0 73225 0
[pid=4795/tid=4829] ppid=4794 vsize=305164 CPUtime=1.19 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 119 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3971100304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=305164 CPUtime=6.33 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3008 0 0 0 633 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1249.62
Current children cumulated vsize (KiB) 314312
[startup+1302.3 s]
/proc/loadavg: 2.02 2.07 2.86 3/186 4836
/proc/meminfo: memFree=28697060/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=305240 CPUtime=1309.61 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 363097 0 0 0 130877 84 0 0 20 0 8 0 391156197 312565760 52988 33554432000 134512640 146736320 4286573520 4286566352 136008178 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4795/statm: 76310 52988 963 2985 0 73244 0
[pid=4795/tid=4829] ppid=4794 vsize=305240 CPUtime=1.19 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 119 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3971100304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=305240 CPUtime=6.33 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3008 0 0 0 633 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1309.61
Current children cumulated vsize (KiB) 314388
[startup+1362.3 s]
/proc/loadavg: 3.85 2.61 3.00 5/187 4888
/proc/meminfo: memFree=29176284/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=374136 CPUtime=1518.72 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 401100 0 0 0 151770 102 0 0 20 0 8 0 391156197 383115264 67565 33554432000 134512640 146736320 4286573520 4286566212 136385184 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 93534 67565 963 2985 0 90468 0
[pid=4795/tid=4829] ppid=4794 vsize=374136 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=374136 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=374136 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=374136 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=374136 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=374136 CPUtime=48.2 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 7270 0 0 0 4817 3 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3971096668 135855170 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=374136 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1518.72
Current children cumulated vsize (KiB) 383284
[startup+1422.31 s]
/proc/loadavg: 3.31 2.68 3.00 4/192 4895
/proc/meminfo: memFree=29005448/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=375804 CPUtime=1638.71 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 404591 0 0 0 163762 109 0 0 20 0 8 0 391156197 384823296 70076 33554432000 134512640 146736320 4286573520 4286566184 139044509 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 93951 70076 984 2985 0 90885 0
[pid=4795/tid=4829] ppid=4794 vsize=375804 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=375804 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=375804 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=375804 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=375804 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=375804 CPUtime=108.05 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 7521 0 0 0 10801 4 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3971096644 136385184 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=375804 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1638.71
Current children cumulated vsize (KiB) 384952
[startup+1482.3 s]
/proc/loadavg: 3.11 2.73 3.00 4/193 4896
/proc/meminfo: memFree=29000912/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=376012 CPUtime=1758.68 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 405142 0 0 0 175753 115 0 0 20 0 8 0 391156197 385036288 70445 33554432000 134512640 146736320 4286573520 4286566600 136000404 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 94003 70445 984 2985 0 90937 0
[pid=4795/tid=4829] ppid=4794 vsize=376012 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=376012 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=376012 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=376012 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=376012 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=376012 CPUtime=167.89 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 8070 0 0 0 16783 6 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3971095544 136475800 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=376012 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1758.68
Current children cumulated vsize (KiB) 385160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1503 s]
/proc/loadavg: 3.64 2.87 3.04 11/193 4896
/proc/meminfo: memFree=28837728/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=376012 CPUtime=1800.08 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 405295 0 0 0 179887 121 0 0 20 0 8 0 391156197 385036288 70445 33554432000 134512640 146736320 4286573520 4286566352 136008160 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 94003 70445 984 2985 0 90937 0
[pid=4795/tid=4829] ppid=4794 vsize=376012 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=376012 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=376012 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=376012 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=376012 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=376012 CPUtime=188.54 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 8223 0 0 0 18847 7 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3971095696 136008306 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=376012 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 385160
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 4794 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.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1503.02
CPU time (s): 1800.08
CPU user time (s): 1798.87
CPU system time (s): 1.21
CPU usage (%): 119.764
Max. virtual memory (cumulated for all children) (KiB): 385160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
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 3.21151 second user time and 9.14361 second system time
The end