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-3733941-1339247492/watcher-3733941-1339247492 -o /tmp/evaluation-result-3733941-1339247492/solver-3733941-1339247492 -C 1800 -W 1900 -M 15500 run HOME/instance-3733941-1339247492.opb
running on 4 cores: 1,3,5,7
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.01 6.52 3.64 3/177 4954
/proc/meminfo: memFree=30446148/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[startup+0.0547269 s]
/proc/loadavg: 7.01 6.52 3.64 3/177 4954
/proc/meminfo: memFree=30446148/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 7.01 6.52 3.64 3/177 4954
/proc/meminfo: memFree=30446148/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 7.01 6.52 3.64 3/177 4954
/proc/meminfo: memFree=30446148/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700261 s]
/proc/loadavg: 7.01 6.52 3.64 3/177 4954
/proc/meminfo: memFree=30446148/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 6.61 6.44 3.63 3/179 4956
/proc/meminfo: memFree=30428996/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=34384 CPUtime=1.49 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 17474 0 0 0 147 2 0 0 20 0 1 0 390876594 35209216 5333 33554432000 134512640 146736320 4293176912 4293170556 135446530 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4955/statm: 8596 5333 897 2985 0 5530 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43532
[startup+3.10031 s]
/proc/loadavg: 6.61 6.44 3.63 3/179 4956
/proc/meminfo: memFree=30427136/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=37052 CPUtime=3.09 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 25838 0 0 0 306 3 0 0 20 0 1 0 390876594 37941248 5996 33554432000 134512640 146736320 4293176912 4293172480 137150826 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4955/statm: 9263 5996 907 2985 0 6197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46200
[startup+6.30043 s]
/proc/loadavg: 6.61 6.44 3.63 10/186 4963
/proc/meminfo: memFree=30292192/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=284196 CPUtime=12.66 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 77053 0 0 0 1250 16 0 0 20 0 8 0 390876594 291016704 42476 33554432000 134512640 146736320 4293176912 4293169576 139044585 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4955/statm: 71049 42476 946 2985 0 67983 0
[pid=4955/tid=4957] ppid=4954 vsize=284196 CPUtime=1.03 cores=1,3,5,7
/proc/4955/task/4957/stat : 4957 (pb_cplex) R 4954 4954 4676 0 -1 4202560 4620 0 0 0 101 2 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4107977296 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4958] ppid=4954 vsize=284196 CPUtime=0.74 cores=1,3,5,7
/proc/4955/task/4958/stat : 4958 (pb_cplex) R 4954 4954 4676 0 -1 4202560 4862 0 0 0 71 3 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4097491016 139042916 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4959] ppid=4954 vsize=284196 CPUtime=0.99 cores=1,3,5,7
/proc/4955/task/4959/stat : 4959 (pb_cplex) R 4954 4954 4676 0 -1 4202560 3848 0 0 0 99 0 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4087006084 135850322 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4960] ppid=4954 vsize=284196 CPUtime=1.13 cores=1,3,5,7
/proc/4955/task/4960/stat : 4960 (pb_cplex) R 4954 4954 4676 0 -1 4202560 5129 0 0 0 113 0 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4076519648 139028333 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4961] ppid=4954 vsize=284196 CPUtime=1.29 cores=1,3,5,7
/proc/4955/task/4961/stat : 4961 (pb_cplex) R 4954 4954 4676 0 -1 4202560 4204 0 0 0 127 2 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4066033872 136008165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4962] ppid=4954 vsize=284196 CPUtime=1.3 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (pb_cplex) R 4954 4954 4676 0 -1 4202560 4689 0 0 0 128 2 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4055548496 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4963] ppid=4954 vsize=284196 CPUtime=1.2 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (pb_cplex) R 4954 4954 4676 0 -1 4202560 3849 0 0 0 120 0 0 0 20 0 8 0 390876982 291016704 42476 33554432000 134512640 146736320 4293176912 4045062352 136008176 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 293344
[startup+12.7004 s]
/proc/loadavg: 6.41 6.41 3.65 10/186 4963
/proc/meminfo: memFree=30267136/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=295008 CPUtime=32.33 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 97370 0 0 0 3208 25 0 0 20 0 8 0 390876594 302088192 46051 33554432000 134512640 146736320 4293176912 4293170128 136403112 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4955/statm: 73752 46051 946 2985 0 70686 0
[pid=4955/tid=4957] ppid=4954 vsize=295008 CPUtime=5.7 cores=1,3,5,7
/proc/4955/task/4957/stat : 4957 (pb_cplex) R 4954 4954 4676 0 -1 4202560 8073 0 0 0 566 4 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4107976912 136008168 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4958] ppid=4954 vsize=295008 CPUtime=2.97 cores=1,3,5,7
/proc/4955/task/4958/stat : 4958 (pb_cplex) R 4954 4954 4676 0 -1 4202560 6492 0 0 0 294 3 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4097491152 136008056 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4959] ppid=4954 vsize=295008 CPUtime=2.4 cores=1,3,5,7
/proc/4955/task/4959/stat : 4959 (pb_cplex) R 4954 4954 4676 0 -1 4202560 7608 0 0 0 237 3 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4087005224 139044550 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4960] ppid=4954 vsize=295008 CPUtime=3.87 cores=1,3,5,7
/proc/4955/task/4960/stat : 4960 (pb_cplex) R 4954 4954 4676 0 -1 4202560 6740 0 0 0 385 2 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4076519632 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4961] ppid=4954 vsize=295008 CPUtime=3.3 cores=1,3,5,7
/proc/4955/task/4961/stat : 4961 (pb_cplex) R 4954 4954 4676 0 -1 4202560 5812 0 0 0 327 3 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4066033872 136008356 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4962] ppid=4954 vsize=295008 CPUtime=2.76 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (pb_cplex) R 4954 4954 4676 0 -1 4202560 8390 0 0 0 273 3 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4055547952 136384857 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4963] ppid=4954 vsize=295008 CPUtime=4.51 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (pb_cplex) R 4954 4954 4676 0 -1 4202560 6390 0 0 0 449 2 0 0 20 0 8 0 390876982 302088192 46051 33554432000 134512640 146736320 4293176912 4045062352 136008168 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 32.33
Current children cumulated vsize (KiB) 304156
[startup+25.5004 s]
/proc/loadavg: 6.52 6.43 3.68 6/186 4963
/proc/meminfo: memFree=30254416/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=298512 CPUtime=72.48 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 128283 0 0 0 7209 39 0 0 20 0 8 0 390876594 305676288 47713 33554432000 134512640 146736320 4293176912 4293169536 136018924 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4955/statm: 74628 47713 946 2985 0 71562 0
[pid=4955/tid=4957] ppid=4954 vsize=298512 CPUtime=10.95 cores=1,3,5,7
/proc/4955/task/4957/stat : 4957 (pb_cplex) R 4954 4954 4676 0 -1 4202560 10366 0 0 0 1090 5 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4107976464 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4958] ppid=4954 vsize=298512 CPUtime=10.31 cores=1,3,5,7
/proc/4955/task/4958/stat : 4958 (pb_cplex) R 4954 4954 4676 0 -1 4202560 12558 0 0 0 1026 5 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4097491056 136384895 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4959] ppid=4954 vsize=298512 CPUtime=8.41 cores=1,3,5,7
/proc/4955/task/4959/stat : 4959 (pb_cplex) R 4954 4954 4676 0 -1 4202560 10813 0 0 0 837 4 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4087005276 135854369 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4960] ppid=4954 vsize=298512 CPUtime=9.29 cores=1,3,5,7
/proc/4955/task/4960/stat : 4960 (pb_cplex) R 4954 4954 4676 0 -1 4202560 10855 0 0 0 924 5 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4076519632 136008234 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4961] ppid=4954 vsize=298512 CPUtime=8.01 cores=1,3,5,7
/proc/4955/task/4961/stat : 4961 (pb_cplex) R 4954 4954 4676 0 -1 4202560 10094 0 0 0 796 5 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4066034256 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4962] ppid=4954 vsize=298512 CPUtime=8.56 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (pb_cplex) R 4954 4954 4676 0 -1 4202560 12280 0 0 0 851 5 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4055548096 135468665 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4963] ppid=4954 vsize=298512 CPUtime=6.87 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (pb_cplex) R 4954 4954 4676 0 -1 4202560 10239 0 0 0 684 3 0 0 20 0 8 0 390876982 305676288 47713 33554432000 134512640 146736320 4293176912 4045063064 139023058 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 72.48
Current children cumulated vsize (KiB) 307660
[startup+51.1004 s]
/proc/loadavg: 6.12 6.34 3.73 10/186 4977
/proc/meminfo: memFree=30270040/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=276428 CPUtime=139.05 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 226728 0 0 0 13820 85 0 0 20 0 8 0 390876594 283062272 42808 33554432000 134512640 146736320 4293176912 4293168656 136008234 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 69107 42808 987 2985 0 66041 0
[pid=4955/tid=4971] ppid=4954 vsize=276428 CPUtime=4.2 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) R 4954 4954 4676 0 -1 4202560 6578 0 0 0 417 3 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4126704072 136001974 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=276428 CPUtime=4.06 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) R 4954 4954 4676 0 -1 4202560 20027 0 0 0 400 6 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4137189968 136403117 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=276428 CPUtime=4.02 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) R 4954 4954 4676 0 -1 4202560 7262 0 0 0 399 3 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4147675248 136384883 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=276428 CPUtime=4.13 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) R 4954 4954 4676 0 -1 4202560 9267 0 0 0 411 2 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4076520016 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=276428 CPUtime=4.19 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) R 4954 4954 4676 0 -1 4202560 7370 0 0 0 417 2 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4094202248 136388095 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=276428 CPUtime=4.47 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) R 4954 4954 4676 0 -1 4202560 6850 0 0 0 444 3 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4066033704 139044505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=276428 CPUtime=4.39 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) R 4954 4954 4676 0 -1 4202560 6379 0 0 0 436 3 0 0 20 0 8 0 390880760 283062272 42808 33554432000 134512640 146736320 4293176912 4055548332 136400436 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 139.05
Current children cumulated vsize (KiB) 285576
[startup+102.307 s]
/proc/loadavg: 7.22 6.61 3.97 10/186 4977
/proc/meminfo: memFree=30248020/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=297604 CPUtime=323.14 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 458820 0 0 0 32158 156 0 0 20 0 8 0 390876594 304746496 47804 33554432000 134512640 146736320 4293176912 4293168912 136008039 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
/proc/4955/statm: 83482 57773 988 2985 0 80416 0
[pid=4955/tid=4971] ppid=4954 vsize=333928 CPUtime=99.7 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) R 4954 4954 4676 0 -1 4202560 130852 0 0 0 9926 44 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4126703824 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=333928 CPUtime=105.27 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) R 4954 4954 4676 0 -1 4202560 110590 0 0 0 10494 33 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4137189584 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=333928 CPUtime=102.48 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) S 4954 4954 4676 0 -1 4202560 135836 0 0 0 10202 46 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4147678864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=333928 CPUtime=113.11 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) R 4954 4954 4676 0 -1 4202560 129981 0 0 0 11270 41 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4076519496 139042883 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=333928 CPUtime=114.81 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) R 4954 4954 4676 0 -1 4202560 130654 0 0 0 11440 41 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4094202064 136008178 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=333928 CPUtime=103.87 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) R 4954 4954 4676 0 -1 4202560 101944 0 0 0 10352 35 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4066033872 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=333928 CPUtime=117.95 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) R 4954 4954 4676 0 -1 4202560 111540 0 0 0 11756 39 0 0 20 0 8 0 390880760 341942272 57773 33554432000 134512640 146736320 4293176912 4055548112 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 961.99
Current children cumulated vsize (KiB) 343076
[startup+342.3 s]
/proc/loadavg: 6.79 6.88 4.69 3/186 4978
/proc/meminfo: memFree=30203128/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=327120 CPUtime=1170.79 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 1352405 0 0 0 116634 445 0 0 20 0 8 0 390876594 334970880 57020 33554432000 134512640 146736320 4293176912 4293169744 136008438 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4955/statm: 81780 57020 988 2985 0 78714 0
[pid=4955/tid=4971] ppid=4954 vsize=327120 CPUtime=127.08 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) R 4954 4954 4676 0 -1 4202560 167347 0 0 0 12653 55 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4126704616 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=327120 CPUtime=131.74 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) R 4954 4954 4676 0 -1 4202560 141524 0 0 0 13132 42 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4137190020 135850322 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=327120 CPUtime=126.66 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) R 4954 4954 4676 0 -1 4202560 161160 0 0 0 12611 55 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4147675592 136001870 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=327120 CPUtime=136.03 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) R 4954 4954 4676 0 -1 4202560 157693 0 0 0 13553 50 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4076519840 139023058 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=327120 CPUtime=139.71 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) R 4954 4954 4676 0 -1 4202560 153436 0 0 0 13921 50 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4094202448 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=327120 CPUtime=134.38 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) R 4954 4954 4676 0 -1 4202560 141190 0 0 0 13389 49 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4066034664 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=327120 CPUtime=146.36 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) R 4954 4954 4676 0 -1 4202560 139793 0 0 0 14587 49 0 0 20 0 8 0 390880760 334970880 57020 33554432000 134512640 146736320 4293176912 4055548112 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1170.79
Current children cumulated vsize (KiB) 336268
[startup+402.3 s]
/proc/loadavg: 6.65 6.85 4.82 3/186 4978
/proc/meminfo: memFree=30206252/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=329552 CPUtime=1391.01 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 1596580 0 0 0 138579 522 0 0 20 0 8 0 390876594 337461248 57279 33554432000 134512640 146736320 4293176912 4293169576 139044581 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4955/statm: 82388 57279 988 2985 0 79322 0
[pid=4955/tid=4971] ppid=4954 vsize=329552 CPUtime=156.23 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) S 4954 4954 4676 0 -1 4202560 201630 0 0 0 15554 69 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4126707344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=329552 CPUtime=160.35 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) S 4954 4954 4676 0 -1 4202560 172304 0 0 0 15983 52 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4137193104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=329552 CPUtime=157.67 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) S 4954 4954 4676 0 -1 4202560 191118 0 0 0 15701 66 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4147678864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=329552 CPUtime=161.38 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) S 4954 4954 4676 0 -1 4202560 171900 0 0 0 16082 56 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4076523152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=329552 CPUtime=162.65 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) S 4954 4954 4676 0 -1 4202560 183294 0 0 0 16206 59 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4094205584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=329552 CPUtime=162.24 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) S 4954 4954 4676 0 -1 4202560 174253 0 0 0 16165 59 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4066037392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=329552 CPUtime=171.87 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) S 4954 4954 4676 0 -1 4202560 170942 0 0 0 17130 57 0 0 20 0 8 0 390880760 337461248 57279 33554432000 134512640 146736320 4293176912 4055551632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1391.01
Current children cumulated vsize (KiB) 338700
[startup+462.3 s]
/proc/loadavg: 7.67 7.06 5.01 10/186 4978
/proc/meminfo: memFree=30181780/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=338940 CPUtime=1605.55 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 1747326 0 0 0 159977 578 0 0 20 0 8 0 390876594 347074560 59223 33554432000 134512640 146736320 4293176912 4293169744 136008047 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4955/statm: 84735 59223 988 2985 0 81669 0
[pid=4955/tid=4971] ppid=4954 vsize=338940 CPUtime=181.8 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) R 4954 4954 4676 0 -1 4202560 216698 0 0 0 18104 76 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4126704008 136388078 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=338940 CPUtime=185.24 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) R 4954 4954 4676 0 -1 4202560 195205 0 0 0 18466 58 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4137189448 139042904 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=338940 CPUtime=187.68 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) R 4954 4954 4676 0 -1 4202560 214332 0 0 0 18695 73 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4147675176 139044580 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=338940 CPUtime=189.47 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) R 4954 4954 4676 0 -1 4202560 181791 0 0 0 18888 59 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4076519632 136008061 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=338940 CPUtime=184.38 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) R 4954 4954 4676 0 -1 4202560 208785 0 0 0 18369 69 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4094202064 136008053 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=338940 CPUtime=186.76 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) R 4954 4954 4676 0 -1 4202560 186362 0 0 0 18612 64 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4066033872 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=338940 CPUtime=198.4 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) R 4954 4954 4676 0 -1 4202560 186531 0 0 0 19776 64 0 0 20 0 8 0 390880760 347074560 59223 33554432000 134512640 146736320 4293176912 4055548496 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1605.55
Current children cumulated vsize (KiB) 348088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+515.3 s]
/proc/loadavg: 7.27 7.08 5.12 10/187 4981
/proc/meminfo: memFree=30175076/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=344016 CPUtime=1800.2 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 1898908 0 0 0 179389 631 0 0 20 0 8 0 390876594 352272384 60675 33554432000 134512640 146736320 4293176912 4293169744 136008299 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4955/statm: 86004 60675 988 2985 0 82938 0
[pid=4955/tid=4971] ppid=4954 vsize=344016 CPUtime=204.51 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) R 4954 4954 4676 0 -1 4202560 245696 0 0 0 20365 86 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4126703824 136008069 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=344016 CPUtime=216.03 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) R 4954 4954 4676 0 -1 4202560 225774 0 0 0 21534 69 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4137189584 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=344016 CPUtime=205.3 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) R 4954 4954 4676 0 -1 4202560 231557 0 0 0 20451 79 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4147675344 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=344016 CPUtime=212.17 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) R 4954 4954 4676 0 -1 4202560 197087 0 0 0 21151 66 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4076519680 136488231 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=344016 CPUtime=202.65 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) R 4954 4954 4676 0 -1 4202560 226609 0 0 0 20188 77 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4094202064 136008039 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=344016 CPUtime=215.22 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) R 4954 4954 4676 0 -1 4202560 198624 0 0 0 21451 71 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4066033872 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=344016 CPUtime=220.18 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) R 4954 4954 4676 0 -1 4202560 203447 0 0 0 21947 71 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4055548112 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 353164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+515.3 s]
/proc/loadavg: 7.27 7.08 5.12 10/187 4981
/proc/meminfo: memFree=30175076/32873648 swapFree=7124/7124
[pid=4954] ppid=4952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (run) S 4952 4954 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390876594 9367552 269 33554432000 4194304 5064252 140734653767440 140734653766352 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4954/statm: 2287 269 229 213 0 72 0
[pid=4955] ppid=4954 vsize=344016 CPUtime=1800.2 cores=1,3,5,7
/proc/4955/stat : 4955 (pb_cplex) R 4954 4954 4676 0 -1 4202496 1898908 0 0 0 179389 631 0 0 20 0 8 0 390876594 352272384 60675 33554432000 134512640 146736320 4293176912 4293169744 136008299 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4955/statm: 86004 60675 988 2985 0 82938 0
[pid=4955/tid=4971] ppid=4954 vsize=344016 CPUtime=204.51 cores=1,3,5,7
/proc/4955/task/4971/stat : 4971 (pb_cplex) R 4954 4954 4676 0 -1 4202560 245696 0 0 0 20365 86 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4126703824 136008069 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4972] ppid=4954 vsize=344016 CPUtime=216.03 cores=1,3,5,7
/proc/4955/task/4972/stat : 4972 (pb_cplex) R 4954 4954 4676 0 -1 4202560 225774 0 0 0 21534 69 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4137189584 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4973] ppid=4954 vsize=344016 CPUtime=205.3 cores=1,3,5,7
/proc/4955/task/4973/stat : 4973 (pb_cplex) R 4954 4954 4676 0 -1 4202560 231557 0 0 0 20451 79 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4147675344 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4955/tid=4974] ppid=4954 vsize=344016 CPUtime=212.17 cores=1,3,5,7
/proc/4955/task/4974/stat : 4974 (pb_cplex) R 4954 4954 4676 0 -1 4202560 197087 0 0 0 21151 66 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4076519680 136488231 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4955/tid=4975] ppid=4954 vsize=344016 CPUtime=202.65 cores=1,3,5,7
/proc/4955/task/4975/stat : 4975 (pb_cplex) R 4954 4954 4676 0 -1 4202560 226609 0 0 0 20188 77 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4094202064 136008039 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4976] ppid=4954 vsize=344016 CPUtime=215.22 cores=1,3,5,7
/proc/4955/task/4976/stat : 4976 (pb_cplex) R 4954 4954 4676 0 -1 4202560 198624 0 0 0 21451 71 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4066033872 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4955/tid=4977] ppid=4954 vsize=344016 CPUtime=220.18 cores=1,3,5,7
/proc/4955/task/4977/stat : 4977 (pb_cplex) R 4954 4954 4676 0 -1 4202560 203447 0 0 0 21947 71 0 0 20 0 8 0 390880760 352272384 60675 33554432000 134512640 146736320 4293176912 4055548112 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 353164
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4954 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 515.317
CPU time (s): 1800.2
CPU user time (s): 1793.89
CPU system time (s): 6.31
CPU usage (%): 349.339
Max. virtual memory (cumulated for all children) (KiB): 395224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 0.969852 second user time and 4.04638 second system time
The end