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-3729010-1339246834/watcher-3729010-1339246834 -o /tmp/evaluation-result-3729010-1339246834/solver-3729010-1339246834 -C 1800 -W 1900 -M 15500 run HOME/instance-3729010-1339246834.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: 0.05 0.01 0.00 3/172 24482
/proc/meminfo: memFree=31041644/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[startup+0.0572799 s]
/proc/loadavg: 0.05 0.01 0.00 3/172 24482
/proc/meminfo: memFree=31041644/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100251 s]
/proc/loadavg: 0.05 0.01 0.00 3/172 24482
/proc/meminfo: memFree=31041644/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300316 s]
/proc/loadavg: 0.05 0.01 0.00 3/172 24482
/proc/meminfo: memFree=31041644/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 0.05 0.01 0.00 3/172 24482
/proc/meminfo: memFree=31041644/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 0.05 0.01 0.00 3/179 24522
/proc/meminfo: memFree=31030216/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=124932 CPUtime=3.25 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 12859 0 0 0 319 6 0 0 20 0 8 0 390808961 127930368 9423 33554432000 134512640 146736320 4291554592 4291547472 136008356 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24485/statm: 31233 9423 885 2985 0 28167 0
[pid=24485/tid=24516] ppid=24482 vsize=124932 CPUtime=0.29 cores=0,2,4,6
/proc/24485/task/24516/stat : 24516 (pb_cplex) S 24482 24482 24426 0 -1 4202560 918 0 0 0 29 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4150054544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24517] ppid=24482 vsize=124932 CPUtime=0.35 cores=0,2,4,6
/proc/24485/task/24517/stat : 24517 (pb_cplex) R 24482 24482 24426 0 -1 4202560 681 0 0 0 35 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4139565448 136388119 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24518] ppid=24482 vsize=124932 CPUtime=0.3 cores=0,2,4,6
/proc/24485/task/24518/stat : 24518 (pb_cplex) R 24482 24482 24426 0 -1 4202560 623 0 0 0 30 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4129079296 136018876 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24519] ppid=24482 vsize=124932 CPUtime=0.28 cores=0,2,4,6
/proc/24485/task/24519/stat : 24519 (pb_cplex) S 24482 24482 24426 0 -1 4202560 572 0 0 0 28 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4118597264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24520] ppid=24482 vsize=124932 CPUtime=0.35 cores=0,2,4,6
/proc/24485/task/24520/stat : 24520 (pb_cplex) R 24482 24482 24426 0 -1 4202560 927 0 0 0 35 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4108107984 136008056 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24521] ppid=24482 vsize=124932 CPUtime=0.26 cores=0,2,4,6
/proc/24485/task/24521/stat : 24521 (pb_cplex) R 24482 24482 24426 0 -1 4202560 1058 0 0 0 26 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4097621144 136009106 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24522] ppid=24482 vsize=124932 CPUtime=0.28 cores=0,2,4,6
/proc/24485/task/24522/stat : 24522 (pb_cplex) R 24482 24482 24426 0 -1 4202560 827 0 0 0 28 0 0 0 20 0 8 0 390809034 127930368 9423 33554432000 134512640 146736320 4291554592 4087136168 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 134080
[startup+3.1003 s]
/proc/loadavg: 0.61 0.13 0.04 9/179 24522
/proc/meminfo: memFree=31021064/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=76372 CPUtime=6.68 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 15404 0 0 0 657 11 0 0 20 0 1 0 390808961 78204928 5272 33554432000 134512640 146736320 4291554592 4291548816 136008157 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/24485/statm: 19093 5272 888 2985 0 16027 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 85520
[startup+6.30038 s]
/proc/loadavg: 0.61 0.13 0.04 3/179 24536
/proc/meminfo: memFree=30998428/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=151924 CPUtime=12.76 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 35097 0 0 0 1248 28 0 0 20 0 8 0 390808961 155570176 17174 33554432000 134512640 146736320 4291554592 4291546384 136008168 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24485/statm: 37981 17174 898 2985 0 34915 0
[pid=24485/tid=24530] ppid=24482 vsize=151924 CPUtime=0.67 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 1415 0 0 0 65 2 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4131004412 135526703 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=151924 CPUtime=0.62 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 1904 0 0 0 61 1 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4141489160 136475037 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=151924 CPUtime=0.42 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 1235 0 0 0 42 0 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4151976936 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=151924 CPUtime=0.42 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 473 0 0 0 42 0 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4118596184 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=151924 CPUtime=0.3 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) R 24482 24482 24426 0 -1 4202560 108 0 0 0 30 0 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4064272840 136000488 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=151924 CPUtime=0.49 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 1388 0 0 0 48 1 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4053786128 136403116 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=151924 CPUtime=0.49 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) R 24482 24482 24426 0 -1 4202560 575 0 0 0 49 0 0 0 20 0 8 0 390809452 155570176 17174 33554432000 134512640 146736320 4291554592 4043300400 136385265 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 161072
[startup+12.7092 s]
/proc/loadavg: 1.74 0.39 0.12 9/179 24585
/proc/meminfo: memFree=30960276/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=185124 CPUtime=34.31 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 53262 0 0 0 3380 51 0 0 20 0 8 0 390808961 189566976 24831 33554432000 134512640 146736320 4291554592 4291548264 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24485/statm: 46281 24831 898 2985 0 43215 0
[pid=24485/tid=24530] ppid=24482 vsize=185124 CPUtime=3.05 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 3185 0 0 0 302 3 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4131005416 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=185124 CPUtime=3.13 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 4085 0 0 0 311 2 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4141490384 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=185124 CPUtime=3.01 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 3813 0 0 0 299 2 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4151976936 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=185124 CPUtime=3.62 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 2376 0 0 0 360 2 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4118597264 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=185124 CPUtime=3.3 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) S 24482 24482 24426 0 -1 4202560 5249 0 0 0 319 11 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4064276112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=185124 CPUtime=3.09 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) S 24482 24482 24426 0 -1 4202560 3904 0 0 0 307 2 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=185124 CPUtime=3.18 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) S 24482 24482 24426 0 -1 4202560 1871 0 0 0 315 3 0 0 20 0 8 0 390809452 189566976 24831 33554432000 134512640 146736320 4291554592 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 34.31
Current children cumulated vsize (KiB) 194272
[startup+25.5068 s]
/proc/loadavg: 2.70 0.64 0.21 4/185 24607
/proc/meminfo: memFree=30915148/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=209908 CPUtime=79.98 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 71379 0 0 0 7921 77 0 0 20 0 8 0 390808961 214945792 30733 33554432000 134512640 146736320 4291554592 4291548264 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24485/statm: 52477 30733 898 2985 0 49411 0
[pid=24485/tid=24530] ppid=24482 vsize=209908 CPUtime=8.48 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 6994 0 0 0 842 6 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4131004488 139042974 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=209908 CPUtime=8.92 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 6162 0 0 0 887 5 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4141490288 136384861 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=209908 CPUtime=8.67 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 8904 0 0 0 861 6 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4151975976 139044585 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=209908 CPUtime=9.04 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 3543 0 0 0 900 4 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4118593608 139042890 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=209908 CPUtime=9.02 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) R 24482 24482 24426 0 -1 4202560 5750 0 0 0 888 14 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4064273384 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=209908 CPUtime=8.9 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 8069 0 0 0 884 6 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4053786816 135468684 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=209908 CPUtime=8.97 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) R 24482 24482 24426 0 -1 4202560 2307 0 0 0 890 7 0 0 20 0 8 0 390809452 214945792 30733 33554432000 134512640 146736320 4291554592 4043301072 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (KiB) 219056
[startup+51.1004 s]
/proc/loadavg: 4.27 1.17 0.39 9/185 24630
/proc/meminfo: memFree=30908212/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=211728 CPUtime=175.69 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 75891 0 0 0 17437 132 0 0 20 0 8 0 390808961 216809472 31223 33554432000 134512640 146736320 4291554592 4291547416 136007056 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24485/statm: 52932 31223 898 2985 0 49866 0
[pid=24485/tid=24530] ppid=24482 vsize=211728 CPUtime=20.55 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 7970 0 0 0 2044 11 0 0 20 0 8 0 390809452 216809472 31223 33554432000 134512640 146736320 4291554592 4131004872 136000324 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=211728 CPUtime=21.01 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 7058 0 0 0 2088 13 0 0 20 0 8 0 390809452 216809472 31223 33554432000 134512640 146736320 4291554592 4141490216 139044509 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=211728 CPUtime=20.39 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 9061 0 0 0 2026 13 0 0 20 0 8 0 390809452 216809472 31223 33554432000 134512640 146736320 4291554592 4151976528 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=211728 CPUtime=20.91 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 4025 0 0 0 2081 10 0 0 20 0 8 0 390809452 216809472 31223 33554432000 134512640 146736320 4291554592 4118593744 136008339 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=211728 CPUtime=21.05 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) R 24482 24482 24426 0 -1 4202560 6997 0 0 0 2085 20 0 0 20 0 8 0 390809452 216809472 31223 33554432000 134512640 146736320 4291554592 4064272576 136470255 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=211728 CPUtime=20.87 cores=0,2,4,6
################
# More data... #
################
/proc/24485/statm: 52221 30941 925 2985 0 49155 0
[pid=24485/tid=24530] ppid=24482 vsize=208884 CPUtime=120.7 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) S 24482 24482 24426 0 -1 4202560 9795 0 0 0 12005 65 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4131008144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=208884 CPUtime=121.94 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) S 24482 24482 24426 0 -1 4202560 12907 0 0 0 12127 67 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4141493904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=208884 CPUtime=120.26 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) S 24482 24482 24426 0 -1 4202560 10283 0 0 0 11962 64 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4151979664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=208884 CPUtime=120.17 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 5979 0 0 0 11951 66 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4118593744 136008160 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=208884 CPUtime=120.94 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) S 24482 24482 24426 0 -1 4202560 8863 0 0 0 12021 73 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4064276112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=208884 CPUtime=120.22 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 13146 0 0 0 11950 72 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4053785788 135526863 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=208884 CPUtime=120.98 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) R 24482 24482 24426 0 -1 4202560 4612 0 0 0 12031 67 0 0 20 0 8 0 390809452 213897216 30941 33554432000 134512640 146736320 4291554592 4043301864 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 991.68
Current children cumulated vsize (KiB) 218032
[startup+342.307 s]
/proc/loadavg: 11.52 7.52 3.32 10/191 24764
/proc/meminfo: memFree=30225848/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=208884 CPUtime=1210.2 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 106615 0 0 0 120349 671 0 0 20 0 8 0 390808961 213897216 30949 33554432000 134512640 146736320 4291554592 4291547368 136384778 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24485/statm: 52221 30949 925 2985 0 49155 0
[pid=24485/tid=24530] ppid=24482 vsize=208884 CPUtime=148.17 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 10113 0 0 0 14737 80 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4131005416 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=208884 CPUtime=149.04 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 13511 0 0 0 14820 84 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4141490632 136001989 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=208884 CPUtime=147.15 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 10284 0 0 0 14636 79 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4151976936 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=208884 CPUtime=147.38 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 5980 0 0 0 14657 81 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4118594536 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=208884 CPUtime=147.98 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) R 24482 24482 24426 0 -1 4202560 9342 0 0 0 14713 85 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4064272508 135526831 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=208884 CPUtime=147.39 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 13198 0 0 0 14651 88 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4053786696 139042883 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=208884 CPUtime=148.22 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) R 24482 24482 24426 0 -1 4202560 4613 0 0 0 14739 83 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4043301444 136382497 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1210.2
Current children cumulated vsize (KiB) 218032
[startup+402.3 s]
/proc/loadavg: 11.18 8.07 3.75 12/191 24764
/proc/meminfo: memFree=30153232/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=210576 CPUtime=1429.97 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) S 24482 24482 24426 0 -1 4202496 113024 0 0 0 142210 787 0 0 20 0 8 0 390808961 215629824 31341 33554432000 134512640 146736320 4291554592 4291550992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24485/statm: 52644 31341 925 2985 0 49578 0
[pid=24485/tid=24530] ppid=24482 vsize=210576 CPUtime=175.34 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 10113 0 0 0 17440 94 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4131004488 139042897 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=210576 CPUtime=176.54 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 15165 0 0 0 17554 100 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4141490768 136403114 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=210576 CPUtime=174.58 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 12023 0 0 0 17365 93 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4151976144 136008339 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=210576 CPUtime=174.48 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 5980 0 0 0 17353 95 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4118593576 139044583 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=210576 CPUtime=175.09 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) R 24482 24482 24426 0 -1 4202560 10923 0 0 0 17409 100 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4064273384 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=210576 CPUtime=174.97 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 13490 0 0 0 17393 104 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4053786696 139042902 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=210576 CPUtime=175.57 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) R 24482 24482 24426 0 -1 4202560 5756 0 0 0 17462 95 0 0 20 0 8 0 390809452 215629824 31341 33554432000 134512640 146736320 4291554592 4043301064 136388563 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1429.97
Current children cumulated vsize (KiB) 219724
[startup+462.3 s]
/proc/loadavg: 11.57 8.76 4.28 15/191 24764
/proc/meminfo: memFree=30090848/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=208884 CPUtime=1648.5 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) R 24482 24482 24426 0 -1 4202496 117173 0 0 0 163953 897 0 0 20 0 8 0 390808961 213897216 30949 33554432000 134512640 146736320 4291554592 4291548264 144757825 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24485/statm: 52221 30949 925 2985 0 49155 0
[pid=24485/tid=24530] ppid=24482 vsize=208884 CPUtime=202.3 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 10137 0 0 0 20120 110 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4131004624 136008441 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=208884 CPUtime=203.97 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 15165 0 0 0 20284 113 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4141491176 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=208884 CPUtime=201.8 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 13888 0 0 0 20070 110 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4151976144 136008223 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=208884 CPUtime=201.72 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 5980 0 0 0 20062 110 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4118594536 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=208884 CPUtime=202.26 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) R 24482 24482 24426 0 -1 4202560 10923 0 0 0 20113 113 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4064272976 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=208884 CPUtime=201.98 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 13834 0 0 0 20078 120 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4053786736 136384883 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=208884 CPUtime=202.91 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) R 24482 24482 24426 0 -1 4202560 7672 0 0 0 20181 110 0 0 20 0 8 0 390809452 213897216 30949 33554432000 134512640 146736320 4291554592 4043301864 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1648.5
Current children cumulated vsize (KiB) 218032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+503.9 s]
/proc/loadavg: 11.53 9.13 4.59 12/191 24764
/proc/meminfo: memFree=30038892/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=217192 CPUtime=1800.19 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) S 24482 24482 24426 0 -1 4202496 133957 0 0 0 179041 978 0 0 20 0 8 0 390808961 222404608 32458 33554432000 134512640 146736320 4291554592 4291550992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24485/statm: 54298 32458 925 2985 0 51232 0
[pid=24485/tid=24530] ppid=24482 vsize=217192 CPUtime=221.32 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 11999 0 0 0 22012 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4131005008 136403112 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=217192 CPUtime=222.85 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 17181 0 0 0 22162 123 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4141491176 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=217192 CPUtime=220.41 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 15703 0 0 0 21921 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4151976936 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=217192 CPUtime=220.15 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 6039 0 0 0 21895 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4118593592 136475864 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=217192 CPUtime=221.2 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) S 24482 24482 24426 0 -1 4202560 13480 0 0 0 21997 123 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4064276112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=217192 CPUtime=221.04 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 15451 0 0 0 21973 131 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4053787080 135999791 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=217192 CPUtime=222 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) S 24482 24482 24426 0 -1 4202560 11621 0 0 0 22080 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 226340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+503.9 s]
/proc/loadavg: 11.53 9.13 4.59 12/191 24764
/proc/meminfo: memFree=30038892/32873852 swapFree=6864/6864
[pid=24482] ppid=24479 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (run) S 24479 24482 24426 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390808961 9367552 270 33554432000 4194304 5064252 140733582240192 140733582239104 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 270 229 213 0 72 0
[pid=24485] ppid=24482 vsize=217192 CPUtime=1800.19 cores=0,2,4,6
/proc/24485/stat : 24485 (pb_cplex) S 24482 24482 24426 0 -1 4202496 133957 0 0 0 179041 978 0 0 20 0 8 0 390808961 222404608 32458 33554432000 134512640 146736320 4291554592 4291550992 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24485/statm: 54298 32458 925 2985 0 51232 0
[pid=24485/tid=24530] ppid=24482 vsize=217192 CPUtime=221.32 cores=0,2,4,6
/proc/24485/task/24530/stat : 24530 (pb_cplex) R 24482 24482 24426 0 -1 4202560 11999 0 0 0 22012 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4131005008 136403112 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24531] ppid=24482 vsize=217192 CPUtime=222.85 cores=0,2,4,6
/proc/24485/task/24531/stat : 24531 (pb_cplex) R 24482 24482 24426 0 -1 4202560 17181 0 0 0 22162 123 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4141491176 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24485/tid=24532] ppid=24482 vsize=217192 CPUtime=220.41 cores=0,2,4,6
/proc/24485/task/24532/stat : 24532 (pb_cplex) R 24482 24482 24426 0 -1 4202560 15703 0 0 0 21921 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4151976936 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24533] ppid=24482 vsize=217192 CPUtime=220.15 cores=0,2,4,6
/proc/24485/task/24533/stat : 24533 (pb_cplex) R 24482 24482 24426 0 -1 4202560 6039 0 0 0 21895 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4118593592 136475864 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24485/tid=24534] ppid=24482 vsize=217192 CPUtime=221.2 cores=0,2,4,6
/proc/24485/task/24534/stat : 24534 (pb_cplex) S 24482 24482 24426 0 -1 4202560 13480 0 0 0 21997 123 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4064276112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24535] ppid=24482 vsize=217192 CPUtime=221.04 cores=0,2,4,6
/proc/24485/task/24535/stat : 24535 (pb_cplex) R 24482 24482 24426 0 -1 4202560 15451 0 0 0 21973 131 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4053787080 135999791 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24485/tid=24536] ppid=24482 vsize=217192 CPUtime=222 cores=0,2,4,6
/proc/24485/task/24536/stat : 24536 (pb_cplex) S 24482 24482 24426 0 -1 4202560 11621 0 0 0 22080 120 0 0 20 0 8 0 390809452 222404608 32458 33554432000 134512640 146736320 4291554592 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 226340
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24482 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 503.925
CPU time (s): 1800.19
CPU user time (s): 1790.41
CPU system time (s): 9.78
CPU usage (%): 357.234
Max. virtual memory (cumulated for all children) (KiB): 241628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 3
involuntary context switches= 1
runsolver used 1.3418 second user time and 3.32449 second system time
The end