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-3741339-1339250147/watcher-3741339-1339250147 -o /tmp/evaluation-result-3741339-1339250147/solver-3741339-1339250147 -C 1800 -W 1900 -M 15500 run HOME/instance-3741339-1339250147.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: 7.56 3.96 3.66 3/177 26773
/proc/meminfo: memFree=29657072/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[startup+0.106439 s]
/proc/loadavg: 7.56 3.96 3.66 3/177 26773
/proc/meminfo: memFree=29657072/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200271 s]
/proc/loadavg: 7.56 3.96 3.66 3/177 26773
/proc/meminfo: memFree=29657072/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300263 s]
/proc/loadavg: 7.56 3.96 3.66 3/177 26773
/proc/meminfo: memFree=29657072/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700244 s]
/proc/loadavg: 7.56 3.96 3.66 3/177 26773
/proc/meminfo: memFree=29657072/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 7.12 3.93 3.65 3/179 26775
/proc/meminfo: memFree=29635472/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=53048 CPUtime=1.48 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 8838 0 0 0 148 0 0 0 20 0 1 0 391139645 54321152 8074 33554432000 134512640 146736320 4290761376 4290759064 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26774/statm: 13262 8074 629 2985 0 7902 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62196
[startup+3.10028 s]
/proc/loadavg: 7.12 3.93 3.65 3/179 26775
/proc/meminfo: memFree=29602248/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=90684 CPUtime=3.09 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 18847 0 0 0 308 1 0 0 20 0 1 0 391139645 92860416 17669 33554432000 134512640 146736320 4290761376 4290759296 140679039 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26774/statm: 22671 17669 1771 2985 0 17311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99832
[startup+6.30028 s]
/proc/loadavg: 7.12 3.93 3.65 3/179 26775
/proc/meminfo: memFree=29593072/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=91608 CPUtime=6.29 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 19228 0 0 0 628 1 0 0 20 0 1 0 391139645 93806592 18050 33554432000 134512640 146736320 4290761376 4290759296 140679064 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26774/statm: 22902 18050 1918 2985 0 17542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100756
[startup+12.7003 s]
/proc/loadavg: 6.33 3.87 3.63 3/179 26775
/proc/meminfo: memFree=29590616/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=93852 CPUtime=12.69 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 20117 0 0 0 1268 1 0 0 20 0 1 0 391139645 96104448 18939 33554432000 134512640 146736320 4290761376 4290759216 140526619 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26774/statm: 23463 18939 2261 2985 0 18103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103000
[startup+25.5004 s]
/proc/loadavg: 5.66 3.80 3.61 3/179 26776
/proc/meminfo: memFree=29452824/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=279512 CPUtime=25.48 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 115276 0 0 0 2532 16 0 0 20 0 1 0 391139645 286220288 51675 33554432000 134512640 146736320 4290761376 4290756024 136475780 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 69878 51675 790 2985 0 66812 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 288660
[startup+51.1003 s]
/proc/loadavg: 4.41 3.66 3.57 3/179 26776
/proc/meminfo: memFree=29435760/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=311192 CPUtime=51.08 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 122766 0 0 0 5091 17 0 0 20 0 1 0 391139645 318660608 56030 33554432000 134512640 146736320 4290761376 4290757624 137317007 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 77798 56030 846 2985 0 74732 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 320340
[startup+102.3 s]
/proc/loadavg: 2.96 3.38 3.48 3/179 26776
/proc/meminfo: memFree=29431956/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=317988 CPUtime=102.27 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 180378 0 0 0 10196 31 0 0 20 0 1 0 391139645 325619712 57013 33554432000 134512640 146736320 4290761376 4290757624 137317023 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 79497 57013 891 2985 0 76431 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 327136
[startup+162.3 s]
/proc/loadavg: 2.35 3.12 3.38 3/179 26776
/proc/meminfo: memFree=29403836/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=303380 CPUtime=162.26 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 221689 0 0 0 16184 42 0 0 20 0 1 0 391139645 310661120 63990 33554432000 134512640 146736320 4290761376 4290755484 135855533 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 75845 63990 893 2985 0 72779 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 312528
[startup+222.307 s]
/proc/loadavg: 2.13 2.92 3.29 3/179 26776
/proc/meminfo: memFree=29397084/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=302560 CPUtime=222.25 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 252337 0 0 0 22175 50 0 0 20 0 1 0 391139645 309821440 65884 33554432000 134512640 146736320 4290761376 4290755484 135854939 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 75640 65884 893 2985 0 72574 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 311708
[startup+282.3 s]
/proc/loadavg: 2.05 2.75 3.21 3/180 26779
/proc/meminfo: memFree=29394588/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=308100 CPUtime=282.23 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 296700 0 0 0 28164 59 0 0 20 0 1 0 391139645 315494400 66284 33554432000 134512640 146736320 4290761376 4290755100 135854935 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 77025 66284 896 2985 0 73959 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 317248
[startup+342.3 s]
/proc/loadavg: 2.02 2.61 3.13 3/180 26803
/proc/meminfo: memFree=29376696/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=308636 CPUtime=342.21 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 297648 0 0 0 34162 59 0 0 20 0 1 0 391139645 316043264 70681 33554432000 134512640 146736320 4290761376 4290755100 135854947 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/26774/statm: 77159 70681 896 2985 0 74093 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 317784
[startup+402.3 s]
/proc/loadavg: 2.00 2.49 3.06 3/180 26804
/proc/meminfo: memFree=29373596/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26774/statm: 369979 283417 977 2985 0 366913 0
[pid=26774/tid=26826] ppid=26773 vsize=1479916 CPUtime=33.7 cores=0,2,4,6
/proc/26774/task/26826/stat : 26826 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7629 0 0 0 3367 3 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3852614684 135854849 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26827] ppid=26773 vsize=1479916 CPUtime=33.22 cores=0,2,4,6
/proc/26774/task/26827/stat : 26827 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8723 0 0 0 3319 3 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3863100408 136475800 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26828] ppid=26773 vsize=1479916 CPUtime=33.23 cores=0,2,4,6
/proc/26774/task/26828/stat : 26828 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7097 0 0 0 3320 3 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3873586204 135854939 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26829] ppid=26773 vsize=1479916 CPUtime=33.87 cores=0,2,4,6
/proc/26774/task/26829/stat : 26829 (pb_cplex) R 26773 26773 26012 0 -1 4202560 6473 0 0 0 3385 2 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3884071964 135854694 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26830] ppid=26773 vsize=1479916 CPUtime=33.81 cores=0,2,4,6
/proc/26774/task/26830/stat : 26830 (pb_cplex) R 26773 26773 26012 0 -1 4202560 5977 0 0 0 3378 3 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3226148956 135854951 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26831] ppid=26773 vsize=1479916 CPUtime=33.18 cores=0,2,4,6
/proc/26774/task/26831/stat : 26831 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8553 0 0 0 3315 3 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3215662108 135854939 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26832] ppid=26773 vsize=1479916 CPUtime=33.87 cores=0,2,4,6
/proc/26774/task/26832/stat : 26832 (pb_cplex) R 26773 26773 26012 0 -1 4202560 6409 0 0 0 3384 3 0 0 20 0 8 0 391185935 1515433984 283417 33554432000 134512640 146736320 4290761376 3205176304 136384895 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 843.13
Current children cumulated vsize (KiB) 1489064
[startup+702.301 s]
/proc/loadavg: 8.20 4.64 3.67 10/186 26882
/proc/meminfo: memFree=28515284/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=1487852 CPUtime=1082.16 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 536061 0 0 0 108090 126 0 0 20 0 8 0 391139645 1523560448 290797 33554432000 134512640 146736320 4290761376 4290753052 135854882 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26774/statm: 371963 290797 977 2985 0 368897 0
[pid=26774/tid=26826] ppid=26773 vsize=1487852 CPUtime=63.69 cores=0,2,4,6
/proc/26774/task/26826/stat : 26826 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8194 0 0 0 6365 4 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3852614684 135854849 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26827] ppid=26773 vsize=1487852 CPUtime=63.18 cores=0,2,4,6
/proc/26774/task/26827/stat : 26827 (pb_cplex) R 26773 26773 26012 0 -1 4202560 9903 0 0 0 6314 4 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3863100444 135854882 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26828] ppid=26773 vsize=1487852 CPUtime=63.23 cores=0,2,4,6
/proc/26774/task/26828/stat : 26828 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7493 0 0 0 6320 3 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3873586168 136475875 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26829] ppid=26773 vsize=1487852 CPUtime=63.62 cores=0,2,4,6
/proc/26774/task/26829/stat : 26829 (pb_cplex) R 26773 26773 26012 0 -1 4202560 6677 0 0 0 6360 2 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3884071964 135855072 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26830] ppid=26773 vsize=1487852 CPUtime=63.82 cores=0,2,4,6
/proc/26774/task/26830/stat : 26830 (pb_cplex) R 26773 26773 26012 0 -1 4202560 15630 0 0 0 6375 7 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3226148956 135854947 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26831] ppid=26773 vsize=1487852 CPUtime=63.2 cores=0,2,4,6
/proc/26774/task/26831/stat : 26831 (pb_cplex) R 26773 26773 26012 0 -1 4202560 9142 0 0 0 6316 4 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3215662072 136475800 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26832] ppid=26773 vsize=1487852 CPUtime=63.72 cores=0,2,4,6
/proc/26774/task/26832/stat : 26832 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7055 0 0 0 6369 3 0 0 20 0 8 0 391185935 1523560448 290797 33554432000 134512640 146736320 4290761376 3205176348 135854939 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1082.16
Current children cumulated vsize (KiB) 1497000
[startup+762.301 s]
/proc/loadavg: 8.70 5.43 4.00 10/186 26882
/proc/meminfo: memFree=28483028/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=1487852 CPUtime=1321.24 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 541850 0 0 0 131992 132 0 0 20 0 8 0 391139645 1523560448 300089 33554432000 134512640 146736320 4290761376 4290752740 135857837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26774/statm: 371963 300089 977 2985 0 368897 0
[pid=26774/tid=26826] ppid=26773 vsize=1487852 CPUtime=93.81 cores=0,2,4,6
/proc/26774/task/26826/stat : 26826 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8763 0 0 0 9376 5 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3852614684 135854886 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26827] ppid=26773 vsize=1487852 CPUtime=93.08 cores=0,2,4,6
/proc/26774/task/26827/stat : 26827 (pb_cplex) R 26773 26773 26012 0 -1 4202560 10621 0 0 0 9303 5 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3863100444 135854939 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26828] ppid=26773 vsize=1487852 CPUtime=93.49 cores=0,2,4,6
/proc/26774/task/26828/stat : 26828 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7897 0 0 0 9344 5 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3873586184 136474435 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26829] ppid=26773 vsize=1487852 CPUtime=93.19 cores=0,2,4,6
/proc/26774/task/26829/stat : 26829 (pb_cplex) R 26773 26773 26012 0 -1 4202560 6900 0 0 0 9315 4 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3884071964 135854947 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26830] ppid=26773 vsize=1487852 CPUtime=93.6 cores=0,2,4,6
/proc/26774/task/26830/stat : 26830 (pb_cplex) R 26773 26773 26012 0 -1 4202560 16507 0 0 0 9352 8 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3226148912 136384890 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26831] ppid=26773 vsize=1487852 CPUtime=93.03 cores=0,2,4,6
/proc/26774/task/26831/stat : 26831 (pb_cplex) R 26773 26773 26012 0 -1 4202560 10659 0 0 0 9298 5 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3215662108 135855038 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26832] ppid=26773 vsize=1487852 CPUtime=93.84 cores=0,2,4,6
/proc/26774/task/26832/stat : 26832 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7783 0 0 0 9379 5 0 0 20 0 8 0 391185935 1523560448 300089 33554432000 134512640 146736320 4290761376 3205176312 136475873 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1321.24
Current children cumulated vsize (KiB) 1497000
[startup+822.3 s]
/proc/loadavg: 8.89 6.08 4.31 10/186 26882
/proc/meminfo: memFree=28449160/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=1487852 CPUtime=1560.25 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 547649 0 0 0 155888 137 0 0 20 0 8 0 391139645 1523560448 308475 33554432000 134512640 146736320 4290761376 4290753052 135854939 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26774/statm: 371963 308475 977 2985 0 368897 0
[pid=26774/tid=26826] ppid=26773 vsize=1487852 CPUtime=123.83 cores=0,2,4,6
/proc/26774/task/26826/stat : 26826 (pb_cplex) R 26773 26773 26012 0 -1 4202560 9399 0 0 0 12377 6 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3852614648 136475812 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26827] ppid=26773 vsize=1487852 CPUtime=123.08 cores=0,2,4,6
/proc/26774/task/26827/stat : 26827 (pb_cplex) R 26773 26773 26012 0 -1 4202560 11256 0 0 0 12302 6 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3863100408 136475763 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26828] ppid=26773 vsize=1487852 CPUtime=123.29 cores=0,2,4,6
/proc/26774/task/26828/stat : 26828 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8251 0 0 0 12324 5 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3873586320 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26829] ppid=26773 vsize=1487852 CPUtime=123.23 cores=0,2,4,6
/proc/26774/task/26829/stat : 26829 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7102 0 0 0 12319 4 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3884071928 136475822 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26830] ppid=26773 vsize=1487852 CPUtime=123.58 cores=0,2,4,6
/proc/26774/task/26830/stat : 26830 (pb_cplex) R 26773 26773 26012 0 -1 4202560 17544 0 0 0 12349 9 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3226149124 136385265 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26831] ppid=26773 vsize=1487852 CPUtime=122.73 cores=0,2,4,6
/proc/26774/task/26831/stat : 26831 (pb_cplex) R 26773 26773 26012 0 -1 4202560 11777 0 0 0 12267 6 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3215662064 136384890 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26832] ppid=26773 vsize=1487852 CPUtime=123.7 cores=0,2,4,6
/proc/26774/task/26832/stat : 26832 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8712 0 0 0 12364 6 0 0 20 0 8 0 391185935 1523560448 308475 33554432000 134512640 146736320 4290761376 3205176348 135855036 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1560.25
Current children cumulated vsize (KiB) 1497000
[startup+882.307 s]
/proc/loadavg: 8.80 6.58 4.59 9/194 26892
/proc/meminfo: memFree=28389584/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=1488596 CPUtime=1799.3 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 560472 0 0 0 179785 145 0 0 20 0 8 0 391139645 1524322304 314957 33554432000 134512640 146736320 4290761376 4290753016 136475798 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26774/statm: 372149 314957 982 2985 0 369083 0
[pid=26774/tid=26826] ppid=26773 vsize=1488596 CPUtime=154.14 cores=0,2,4,6
/proc/26774/task/26826/stat : 26826 (pb_cplex) R 26773 26773 26012 0 -1 4202560 9921 0 0 0 15406 8 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3852614684 135854882 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26827] ppid=26773 vsize=1488596 CPUtime=153.95 cores=0,2,4,6
/proc/26774/task/26827/stat : 26827 (pb_cplex) R 26773 26773 26012 0 -1 4202560 11442 0 0 0 15388 7 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3863100444 135855038 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26828] ppid=26773 vsize=1488596 CPUtime=153.52 cores=0,2,4,6
/proc/26774/task/26828/stat : 26828 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8825 0 0 0 15345 7 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3873586168 136475778 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26829] ppid=26773 vsize=1488596 CPUtime=153.25 cores=0,2,4,6
/proc/26774/task/26829/stat : 26829 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7135 0 0 0 15319 6 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3884071964 135854941 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26830] ppid=26773 vsize=1488596 CPUtime=150.13 cores=0,2,4,6
/proc/26774/task/26830/stat : 26830 (pb_cplex) S 26773 26773 26012 0 -1 4202560 17645 0 0 0 15003 10 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3226152592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26831] ppid=26773 vsize=1488596 CPUtime=153.51 cores=0,2,4,6
/proc/26774/task/26831/stat : 26831 (pb_cplex) R 26773 26773 26012 0 -1 4202560 13365 0 0 0 15343 8 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3215662072 136475775 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26832] ppid=26773 vsize=1488596 CPUtime=153.8 cores=0,2,4,6
/proc/26774/task/26832/stat : 26832 (pb_cplex) R 26773 26773 26012 0 -1 4202560 18497 0 0 0 15370 10 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3205177436 135854939 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (KiB) 1497744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+882.5 s]
/proc/loadavg: 8.80 6.58 4.59 9/194 26892
/proc/meminfo: memFree=28389336/32873844 swapFree=7632/7632
[pid=26773] ppid=26771 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26773/stat : 26773 (run) S 26771 26773 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391139645 9367552 269 33554432000 4194304 5064252 140733891132224 140733891131136 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26773/statm: 2287 269 229 213 0 72 0
[pid=26774] ppid=26773 vsize=1488596 CPUtime=1800.09 cores=0,2,4,6
/proc/26774/stat : 26774 (pb_cplex) R 26773 26773 26012 0 -1 4202496 560472 0 0 0 179864 145 0 0 20 0 8 0 391139645 1524322304 314957 33554432000 134512640 146736320 4290761376 4290753008 136384890 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26774/statm: 372149 314957 982 2985 0 369083 0
[pid=26774/tid=26826] ppid=26773 vsize=1488596 CPUtime=154.3 cores=0,2,4,6
/proc/26774/task/26826/stat : 26826 (pb_cplex) R 26773 26773 26012 0 -1 4202560 9921 0 0 0 15422 8 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3852614684 135854951 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26827] ppid=26773 vsize=1488596 CPUtime=154.1 cores=0,2,4,6
/proc/26774/task/26827/stat : 26827 (pb_cplex) R 26773 26773 26012 0 -1 4202560 11442 0 0 0 15403 7 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3863100940 139028333 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=26774/tid=26828] ppid=26773 vsize=1488596 CPUtime=153.61 cores=0,2,4,6
/proc/26774/task/26828/stat : 26828 (pb_cplex) R 26773 26773 26012 0 -1 4202560 8825 0 0 0 15354 7 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3873586568 136000412 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26774/tid=26829] ppid=26773 vsize=1488596 CPUtime=153.35 cores=0,2,4,6
/proc/26774/task/26829/stat : 26829 (pb_cplex) R 26773 26773 26012 0 -1 4202560 7135 0 0 0 15329 6 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3884071928 136475798 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26774/tid=26830] ppid=26773 vsize=1488596 CPUtime=150.13 cores=0,2,4,6
/proc/26774/task/26830/stat : 26830 (pb_cplex) S 26773 26773 26012 0 -1 4202560 17645 0 0 0 15003 10 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3226152592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26831] ppid=26773 vsize=1488596 CPUtime=153.62 cores=0,2,4,6
/proc/26774/task/26831/stat : 26831 (pb_cplex) R 26773 26773 26012 0 -1 4202560 13365 0 0 0 15354 8 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3215662108 135855051 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=26774/tid=26832] ppid=26773 vsize=1488596 CPUtime=153.89 cores=0,2,4,6
/proc/26774/task/26832/stat : 26832 (pb_cplex) R 26773 26773 26012 0 -1 4202560 18497 0 0 0 15379 10 0 0 20 0 8 0 391185935 1524322304 314957 33554432000 134512640 146736320 4290761376 3205177400 136475777 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1497744
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 26773 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 882.517
CPU time (s): 1800.09
CPU user time (s): 1798.64
CPU system time (s): 1.45
CPU usage (%): 203.972
Max. virtual memory (cumulated for all children) (KiB): 1504216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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 2.24166 second user time and 5.50416 second system time
The end