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-3742907-1339251527/watcher-3742907-1339251527 -o /tmp/evaluation-result-3742907-1339251527/solver-3742907-1339251527 -C 1800 -W 1900 -M 15500 run HOME/instance-3742907-1339251527.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: 11.58 9.89 6.93 4/184 9351
/proc/meminfo: memFree=30116696/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[startup+0.068817 s]
/proc/loadavg: 11.58 9.89 6.93 4/184 9351
/proc/meminfo: memFree=30116696/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 11.58 9.89 6.93 4/184 9351
/proc/meminfo: memFree=30116696/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 11.58 9.89 6.93 4/184 9351
/proc/meminfo: memFree=30116696/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 11.58 9.89 6.93 4/184 9351
/proc/meminfo: memFree=30116696/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/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: 11.58 9.89 6.93 4/186 9353
/proc/meminfo: memFree=30099452/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=32656 CPUtime=1.48 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 5391 0 0 0 148 0 0 0 20 0 1 0 391277130 33439744 5209 33554432000 134512640 146736320 4286786880 4286784792 134814118 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9352/statm: 8164 5209 897 2985 0 4489 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41804
[startup+3.10027 s]
/proc/loadavg: 10.89 9.78 6.91 4/186 9353
/proc/meminfo: memFree=30096604/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=32656 CPUtime=3.08 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 5399 0 0 0 308 0 0 0 20 0 1 0 391277130 33439744 5217 33554432000 134512640 146736320 4286786880 4286784736 140528762 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9352/statm: 8164 5217 897 2985 0 4489 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41804
[startup+6.30027 s]
/proc/loadavg: 10.89 9.78 6.91 4/186 9353
/proc/meminfo: memFree=30095116/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=32656 CPUtime=6.28 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 5406 0 0 0 628 0 0 0 20 0 1 0 391277130 33439744 5224 33554432000 134512640 146736320 4286786880 4286784800 140679039 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9352/statm: 8164 5224 897 2985 0 4489 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41804
[startup+12.7003 s]
/proc/loadavg: 9.60 9.54 6.86 3/186 9353
/proc/meminfo: memFree=30034044/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=137192 CPUtime=12.68 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 42773 0 0 0 1261 7 0 0 20 0 1 0 391277130 140484608 19928 33554432000 134512640 146736320 4286786880 4286781648 136008042 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/9352/statm: 34298 19928 797 2985 0 31232 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146340
[startup+25.5064 s]
/proc/loadavg: 8.43 9.29 6.81 3/186 9353
/proc/meminfo: memFree=30031796/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=137364 CPUtime=25.49 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 58258 0 0 0 2539 10 0 0 20 0 1 0 391277130 140660736 20692 33554432000 134512640 146736320 4286786880 4286781648 136008167 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/9352/statm: 34341 20692 797 2985 0 31275 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 146512
[startup+51.1003 s]
/proc/loadavg: 6.24 8.70 6.68 3/186 9353
/proc/meminfo: memFree=30017816/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=141092 CPUtime=51.06 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 128719 0 0 0 5082 24 0 0 20 0 1 0 391277130 144478208 25099 33554432000 134512640 146736320 4286786880 4286780920 136475827 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/9352/statm: 35273 25099 907 2985 0 32207 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150240
[startup+102.3 s]
/proc/loadavg: 5.71 8.04 6.56 10/187 9356
/proc/meminfo: memFree=30000988/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=143280 CPUtime=102.26 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 219070 0 0 0 10183 43 0 0 20 0 1 0 391277130 146718720 26225 33554432000 134512640 146736320 4286786880 4286780956 135855174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/9352/statm: 35820 26225 907 2985 0 32754 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 152428
[startup+162.3 s]
/proc/loadavg: 7.73 8.20 6.70 10/186 9356
/proc/meminfo: memFree=29996704/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=142196 CPUtime=162.24 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 338945 0 0 0 16158 66 0 0 20 0 1 0 391277130 145608704 25984 33554432000 134512640 146736320 4286786880 4286781320 136000488 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9352/statm: 35549 25984 926 2985 0 32483 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 151344
[startup+222.301 s]
/proc/loadavg: 7.68 8.13 6.78 10/193 9378
/proc/meminfo: memFree=29823816/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=467488 CPUtime=222.24 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 522640 0 0 0 22121 103 0 0 20 0 8 0 391277130 478707712 68833 33554432000 134512640 146736320 4286786880 4286780112 136403112 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9352/statm: 116872 68833 982 2985 0 113806 0
[pid=9352/tid=9372] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) S 9351 9351 8092 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 4050759312 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) S 9351 9351 8092 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 4061245072 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) S 9351 9351 8092 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 4071730832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) S 9351 9351 8092 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 4040273552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) S 9351 9351 8092 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 3926007440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) S 9351 9351 8092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 3915521680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=467488 CPUtime=0 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) S 9351 9351 8092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391296193 478707712 68833 33554432000 134512640 146736320 4286786880 3905035920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 476636
[startup+282.3 s]
/proc/loadavg: 11.80 9.14 7.20 17/193 9378
/proc/meminfo: memFree=29627716/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=707828 CPUtime=398.96 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 665323 0 0 0 39753 143 0 0 20 0 8 0 391277130 724815872 117051 33554432000 134512640 146736320 4286786880 4286779736 136009162 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9352/statm: 176957 117051 985 2985 0 173891 0
[pid=9352/tid=9372] ppid=9351 vsize=707828 CPUtime=19.36 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) R 9351 9351 8092 0 -1 4202560 16355 0 0 0 1931 5 0 0 20 0 8 0 391296193 724815872 117051 33554432000 134512640 146736320 4286786880 4050754932 136400570 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=707828 CPUtime=19.54 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 15343 0 0 0 1950 4 0 0 20 0 8 0 391296193 724815872 117051 33554432000 134512640 146736320 4286786880 4061241416 139042910 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=707828 CPUtime=19.35 cores=0,2,4,6
################
# More data... #
################
/proc/9352/statm: 178420 135007 985 2985 0 175354 0
[pid=9352/tid=9372] ppid=9351 vsize=713680 CPUtime=105.31 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) S 9351 9351 8092 0 -1 4202560 65264 0 0 0 10515 16 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 4050759312 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=713680 CPUtime=151.03 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 113041 0 0 0 15070 33 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 4061241800 136001126 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=713680 CPUtime=127.01 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) S 9351 9351 8092 0 -1 4202560 86320 0 0 0 12676 25 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 4071730832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=713680 CPUtime=124.82 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) S 9351 9351 8092 0 -1 4202560 71710 0 0 0 12462 20 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 4040273552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=713680 CPUtime=75.75 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) S 9351 9351 8092 0 -1 4202560 42784 0 0 0 7562 13 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 3926007440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=713680 CPUtime=59.16 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) S 9351 9351 8092 0 -1 4202560 37518 0 0 0 5905 11 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 3915521680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=713680 CPUtime=75.11 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) S 9351 9351 8092 0 -1 4202560 46397 0 0 0 7498 13 0 0 20 0 8 0 391296193 730808320 135007 33554432000 134512640 146736320 4286786880 3905035920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1020.88
Current children cumulated vsize (KiB) 722828
[startup+522.3 s]
/proc/loadavg: 8.17 8.99 7.64 10/186 9443
/proc/meminfo: memFree=29425444/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=739968 CPUtime=1195.38 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 1196739 0 0 0 119251 287 0 0 20 0 8 0 391277130 757727232 140077 33554432000 134512640 146736320 4286786880 4286779728 136008042 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9352/statm: 184992 140077 985 2985 0 181926 0
[pid=9352/tid=9372] ppid=9351 vsize=739968 CPUtime=124.35 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) R 9351 9351 8092 0 -1 4202560 80030 0 0 0 12414 21 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 4050754648 136007612 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=739968 CPUtime=191.75 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 163176 0 0 0 19131 44 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 4061241800 136000360 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=739968 CPUtime=146.2 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) R 9351 9351 8092 0 -1 4202560 102036 0 0 0 14589 31 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 4071726084 136385184 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=739968 CPUtime=143.67 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) R 9351 9351 8092 0 -1 4202560 90225 0 0 0 14341 26 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 4040269716 136017755 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=739968 CPUtime=94.76 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) R 9351 9351 8092 0 -1 4202560 60867 0 0 0 9457 19 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 3926003752 139044505 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=739968 CPUtime=78.32 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) R 9351 9351 8092 0 -1 4202560 52037 0 0 0 7817 15 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 3915518044 135855170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=739968 CPUtime=94.26 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) R 9351 9351 8092 0 -1 4202560 59732 0 0 0 9409 17 0 0 20 0 8 0 391296193 757727232 140077 33554432000 134512640 146736320 4286786880 3905032784 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1195.38
Current children cumulated vsize (KiB) 749116
[startup+582.3 s]
/proc/loadavg: 8.69 8.99 7.72 10/186 9443
/proc/meminfo: memFree=29416004/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=741524 CPUtime=1434.44 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 1350581 0 0 0 143116 328 0 0 20 0 8 0 391277130 759320576 141810 33554432000 134512640 146736320 4286786880 4286779588 136385175 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9352/statm: 185381 141810 988 2985 0 182315 0
[pid=9352/tid=9372] ppid=9351 vsize=741524 CPUtime=154.03 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) R 9351 9351 8092 0 -1 4202560 96657 0 0 0 15377 26 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 4050756040 136001126 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=741524 CPUtime=221.41 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 187403 0 0 0 22090 51 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 4061241936 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=741524 CPUtime=175.87 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) R 9351 9351 8092 0 -1 4202560 124520 0 0 0 17550 37 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 4071726472 136000488 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=741524 CPUtime=173.51 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) R 9351 9351 8092 0 -1 4202560 106822 0 0 0 17321 30 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 4040269892 136385167 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=741524 CPUtime=124.67 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) R 9351 9351 8092 0 -1 4202560 79001 0 0 0 12443 24 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 3926004632 136418335 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=741524 CPUtime=108.1 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) R 9351 9351 8092 0 -1 4202560 71508 0 0 0 10789 21 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 3915518408 136000488 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=741524 CPUtime=124.35 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) R 9351 9351 8092 0 -1 4202560 81582 0 0 0 12412 23 0 0 20 0 8 0 391296193 759320576 141810 33554432000 134512640 146736320 4286786880 3905033192 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1434.44
Current children cumulated vsize (KiB) 750672
[startup+642.3 s]
/proc/loadavg: 8.88 8.99 7.80 10/186 9443
/proc/meminfo: memFree=29408280/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=747816 CPUtime=1673.52 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 1521354 0 0 0 166976 376 0 0 20 0 8 0 391277130 765763584 143684 33554432000 134512640 146736320 4286786880 4286779728 136008177 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9352/statm: 186954 143684 988 2985 0 183888 0
[pid=9352/tid=9372] ppid=9351 vsize=747816 CPUtime=183.95 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) R 9351 9351 8092 0 -1 4202560 116257 0 0 0 18364 31 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 4050755676 135854040 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=747816 CPUtime=251.19 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 220505 0 0 0 25059 60 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 4061241968 136385268 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=747816 CPUtime=205.62 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) R 9351 9351 8092 0 -1 4202560 144731 0 0 0 20519 43 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 4071726608 136403117 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=747816 CPUtime=203.46 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) R 9351 9351 8092 0 -1 4202560 127640 0 0 0 20309 37 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 4040270032 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=747816 CPUtime=154.37 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) R 9351 9351 8092 0 -1 4202560 99538 0 0 0 15406 31 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 3926002832 136008423 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=747816 CPUtime=137.87 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) R 9351 9351 8092 0 -1 4202560 91930 0 0 0 13758 29 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 3915518160 136008441 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=747816 CPUtime=154.14 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) R 9351 9351 8092 0 -1 4202560 102377 0 0 0 15384 30 0 0 20 0 8 0 391296193 765763584 143684 33554432000 134512640 146736320 4286786880 3905032264 139042904 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1673.52
Current children cumulated vsize (KiB) 756964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+674.1 s]
/proc/loadavg: 8.93 8.99 7.84 10/187 9446
/proc/meminfo: memFree=29406048/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=749268 CPUtime=1800.25 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 1611863 0 0 0 179623 402 0 0 20 0 8 0 391277130 767250432 143669 33554432000 134512640 146736320 4286786880 4286780112 136403112 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9352/statm: 187317 143669 988 2985 0 184251 0
[pid=9352/tid=9372] ppid=9351 vsize=749268 CPUtime=199.81 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) R 9351 9351 8092 0 -1 4202560 128575 0 0 0 19945 36 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4050755496 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=749268 CPUtime=267.34 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 235645 0 0 0 26669 65 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4061241800 136000360 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=749268 CPUtime=221.36 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) R 9351 9351 8092 0 -1 4202560 152925 0 0 0 22091 45 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4071726088 139042888 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=749268 CPUtime=219.28 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) R 9351 9351 8092 0 -1 4202560 139481 0 0 0 21888 40 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4040269872 136384852 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=749268 CPUtime=170.36 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) R 9351 9351 8092 0 -1 4202560 111303 0 0 0 17001 35 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 3926003768 136475798 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=749268 CPUtime=153.62 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) R 9351 9351 8092 0 -1 4202560 101426 0 0 0 15330 32 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 3915518160 136008364 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=749268 CPUtime=170 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) R 9351 9351 8092 0 -1 4202560 114936 0 0 0 16966 34 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 3905032400 136008160 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 758416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+674.1 s]
/proc/loadavg: 8.93 8.99 7.84 10/187 9446
/proc/meminfo: memFree=29406048/32873844 swapFree=7644/7644
[pid=9351] ppid=9349 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9351/stat : 9351 (run) S 9349 9351 8092 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391277129 9367552 269 33554432000 4194304 5064252 140737417969792 140737417968704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9351/statm: 2287 269 229 213 0 72 0
[pid=9352] ppid=9351 vsize=749268 CPUtime=1800.25 cores=0,2,4,6
/proc/9352/stat : 9352 (pb_cplex) R 9351 9351 8092 0 -1 4202496 1611863 0 0 0 179623 402 0 0 20 0 8 0 391277130 767250432 143669 33554432000 134512640 146736320 4286786880 4286780112 136403112 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9352/statm: 187317 143669 988 2985 0 184251 0
[pid=9352/tid=9372] ppid=9351 vsize=749268 CPUtime=199.81 cores=0,2,4,6
/proc/9352/task/9372/stat : 9372 (pb_cplex) R 9351 9351 8092 0 -1 4202560 128575 0 0 0 19945 36 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4050755496 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=9352/tid=9373] ppid=9351 vsize=749268 CPUtime=267.34 cores=0,2,4,6
/proc/9352/task/9373/stat : 9373 (pb_cplex) R 9351 9351 8092 0 -1 4202560 235645 0 0 0 26669 65 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4061241800 136000360 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=9352/tid=9374] ppid=9351 vsize=749268 CPUtime=221.36 cores=0,2,4,6
/proc/9352/task/9374/stat : 9374 (pb_cplex) R 9351 9351 8092 0 -1 4202560 152925 0 0 0 22091 45 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4071726088 139042888 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9375] ppid=9351 vsize=749268 CPUtime=219.28 cores=0,2,4,6
/proc/9352/task/9375/stat : 9375 (pb_cplex) R 9351 9351 8092 0 -1 4202560 139481 0 0 0 21888 40 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 4040269872 136384852 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9376] ppid=9351 vsize=749268 CPUtime=170.36 cores=0,2,4,6
/proc/9352/task/9376/stat : 9376 (pb_cplex) R 9351 9351 8092 0 -1 4202560 111303 0 0 0 17001 35 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 3926003768 136475798 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=9352/tid=9377] ppid=9351 vsize=749268 CPUtime=153.62 cores=0,2,4,6
/proc/9352/task/9377/stat : 9377 (pb_cplex) R 9351 9351 8092 0 -1 4202560 101426 0 0 0 15330 32 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 3915518160 136008364 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9352/tid=9378] ppid=9351 vsize=749268 CPUtime=170 cores=0,2,4,6
/proc/9352/task/9378/stat : 9378 (pb_cplex) R 9351 9351 8092 0 -1 4202560 114936 0 0 0 16966 34 0 0 20 0 8 0 391296193 767250432 143669 33554432000 134512640 146736320 4286786880 3905032400 136008160 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 758416
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9351 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.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 674.117
CPU time (s): 1800.25
CPU user time (s): 1796.23
CPU system time (s): 4.02
CPU usage (%): 267.053
Max. virtual memory (cumulated for all children) (KiB): 761132
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= 353
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.64275 second user time and 4.48332 second system time
The end