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-3736468-1339248115/watcher-3736468-1339248115 -o /tmp/evaluation-result-3736468-1339248115/solver-3736468-1339248115 -C 1800 -W 1900 -M 15500 run HOME/instance-3736468-1339248115.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.11 8.22 6.88 3/186 2423
/proc/meminfo: memFree=30360440/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[startup+0.095377 s]
/proc/loadavg: 8.11 8.22 6.88 3/186 2423
/proc/meminfo: memFree=30360440/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 8.11 8.22 6.88 3/186 2423
/proc/meminfo: memFree=30360440/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300175 s]
/proc/loadavg: 8.11 8.22 6.88 3/186 2423
/proc/meminfo: memFree=30360440/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700162 s]
/proc/loadavg: 8.11 8.22 6.88 3/186 2423
/proc/meminfo: memFree=30360440/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 7.78 8.15 6.87 10/195 2460
/proc/meminfo: memFree=30323380/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=125644 CPUtime=3.92 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 31250 0 0 0 375 17 0 0 20 0 8 0 34778405 128659456 11567 33554432000 134512640 146736320 4291399696 4291396076 144580332 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/2424/statm: 31411 11567 971 2985 0 28345 0
[pid=2424/tid=2454] ppid=2423 vsize=125644 CPUtime=0.39 cores=0,2,4,6
/proc/2424/task/2454/stat : 2454 (pb_cplex) R 2423 2423 1671 0 -1 4202560 1620 0 0 0 39 0 0 0 20 0 8 0 34778427 128659456 11567 33554432000 134512640 146736320 4291399696 4130574472 135468233 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2455] ppid=2423 vsize=125644 CPUtime=0.42 cores=0,2,4,6
/proc/2424/task/2455/stat : 2455 (pb_cplex) R 2423 2423 1671 0 -1 4202560 1717 0 0 0 40 2 0 0 20 0 8 0 34778427 128659456 11567 33554432000 134512640 146736320 4291399696 4141060304 136008157 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2456] ppid=2423 vsize=125644 CPUtime=0.43 cores=0,2,4,6
/proc/2424/task/2456/stat : 2456 (pb_cplex) R 2423 2423 1671 0 -1 4202560 2098 0 0 0 43 0 0 0 20 0 8 0 34778427 128659456 11567 33554432000 134512640 146736320 4291399696 4151546856 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2457] ppid=2423 vsize=125644 CPUtime=0.48 cores=0,2,4,6
/proc/2424/task/2457/stat : 2457 (pb_cplex) R 2423 2423 1671 0 -1 4202560 3894 0 0 0 47 1 0 0 20 0 8 0 34778427 128659456 11567 33554432000 134512640 146736320 4291399696 4119897064 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2458] ppid=2423 vsize=125644 CPUtime=0.39 cores=0,2,4,6
/proc/2424/task/2458/stat : 2458 (pb_cplex) R 2423 2423 1671 0 -1 4202560 3112 0 0 0 39 0 0 0 20 0 8 0 34778427 128659456 11567 33554432000 134512640 146736320 4291399696 4104122000 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2459] ppid=2423 vsize=125644 CPUtime=0.41 cores=0,2,4,6
/proc/2424/task/2459/stat : 2459 (pb_cplex) S 2423 2423 1671 0 -1 4202560 4125 0 0 0 41 0 0 0 20 0 8 0 34778428 128659456 11567 33554432000 134512640 146736320 4291399696 4093636240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2460] ppid=2423 vsize=125644 CPUtime=0.4 cores=0,2,4,6
/proc/2424/task/2460/stat : 2460 (pb_cplex) S 2423 2423 1671 0 -1 4202560 4129 0 0 0 38 2 0 0 20 0 8 0 34778428 128659456 11567 33554432000 134512640 146736320 4291399696 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 134792
[startup+3.10041 s]
/proc/loadavg: 7.78 8.15 6.87 7/195 2460
/proc/meminfo: memFree=30307880/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=151972 CPUtime=8.81 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 54889 0 0 0 855 26 0 0 20 0 8 0 34778405 155619328 17164 33554432000 134512640 146736320 4291399696 4291392528 136008306 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 37993 17164 971 2985 0 34927 0
[pid=2424/tid=2454] ppid=2423 vsize=151972 CPUtime=0.96 cores=0,2,4,6
/proc/2424/task/2454/stat : 2454 (pb_cplex) R 2423 2423 1671 0 -1 4202560 4025 0 0 0 93 3 0 0 20 0 8 0 34778427 155619328 17164 33554432000 134512640 146736320 4291399696 4130573036 135454093 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2455] ppid=2423 vsize=151972 CPUtime=1.03 cores=0,2,4,6
/proc/2424/task/2455/stat : 2455 (pb_cplex) R 2423 2423 1671 0 -1 4202560 3560 0 0 0 100 3 0 0 20 0 8 0 34778427 155619328 17164 33554432000 134512640 146736320 4291399696 4141060092 135526884 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2456] ppid=2423 vsize=151972 CPUtime=1.02 cores=0,2,4,6
/proc/2424/task/2456/stat : 2456 (pb_cplex) R 2423 2423 1671 0 -1 4202560 3883 0 0 0 100 2 0 0 20 0 8 0 34778427 155619328 17164 33554432000 134512640 146736320 4291399696 4151546756 135851010 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2457] ppid=2423 vsize=151972 CPUtime=1.07 cores=0,2,4,6
/proc/2424/task/2457/stat : 2457 (pb_cplex) R 2423 2423 1671 0 -1 4202560 6140 0 0 0 104 3 0 0 20 0 8 0 34778427 155619328 17164 33554432000 134512640 146736320 4291399696 4119896192 136494120 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2458] ppid=2423 vsize=151972 CPUtime=1.01 cores=0,2,4,6
/proc/2424/task/2458/stat : 2458 (pb_cplex) R 2423 2423 1671 0 -1 4202560 8513 0 0 0 99 2 0 0 20 0 8 0 34778427 155619328 17164 33554432000 134512640 146736320 4291399696 4104118464 135468673 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2459] ppid=2423 vsize=151972 CPUtime=0.98 cores=0,2,4,6
/proc/2424/task/2459/stat : 2459 (pb_cplex) R 2423 2423 1671 0 -1 4202560 7083 0 0 0 96 2 0 0 20 0 8 0 34778428 155619328 17164 33554432000 134512640 146736320 4291399696 4093633412 135851010 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2460] ppid=2423 vsize=151972 CPUtime=1.12 cores=0,2,4,6
/proc/2424/task/2460/stat : 2460 (pb_cplex) R 2423 2423 1671 0 -1 4202560 8832 0 0 0 109 3 0 0 20 0 8 0 34778428 155619328 17164 33554432000 134512640 146736320 4291399696 4070567568 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (KiB) 161120
[startup+6.30039 s]
/proc/loadavg: 7.78 8.15 6.87 4/195 2460
/proc/meminfo: memFree=30287188/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=158604 CPUtime=17.39 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 67715 0 0 0 1702 37 0 0 20 0 8 0 34778405 162410496 18922 33554432000 134512640 146736320 4291399696 4291385948 144785853 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 39651 18922 993 2985 0 36585 0
[pid=2424/tid=2454] ppid=2423 vsize=158604 CPUtime=1.94 cores=0,2,4,6
/proc/2424/task/2454/stat : 2454 (pb_cplex) S 2423 2423 1671 0 -1 4202560 4685 0 0 0 190 4 0 0 20 0 8 0 34778427 162410496 18922 33554432000 134512640 146736320 4291399696 4130578064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2455] ppid=2423 vsize=158604 CPUtime=2.02 cores=0,2,4,6
/proc/2424/task/2455/stat : 2455 (pb_cplex) S 2423 2423 1671 0 -1 4202560 5952 0 0 0 197 5 0 0 20 0 8 0 34778427 162410496 18922 33554432000 134512640 146736320 4291399696 4141063824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2456] ppid=2423 vsize=158604 CPUtime=2.17 cores=0,2,4,6
/proc/2424/task/2456/stat : 2456 (pb_cplex) S 2423 2423 1671 0 -1 4202560 4926 0 0 0 214 3 0 0 20 0 8 0 34778427 162410496 18922 33554432000 134512640 146736320 4291399696 4151549584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2457] ppid=2423 vsize=158604 CPUtime=2.12 cores=0,2,4,6
/proc/2424/task/2457/stat : 2457 (pb_cplex) S 2423 2423 1671 0 -1 4202560 7645 0 0 0 208 4 0 0 20 0 8 0 34778427 162410496 18922 33554432000 134512640 146736320 4291399696 4119899792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2458] ppid=2423 vsize=158604 CPUtime=2.01 cores=0,2,4,6
/proc/2424/task/2458/stat : 2458 (pb_cplex) S 2423 2423 1671 0 -1 4202560 11010 0 0 0 197 4 0 0 20 0 8 0 34778427 162410496 18922 33554432000 134512640 146736320 4291399696 4104122000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2459] ppid=2423 vsize=158604 CPUtime=1.89 cores=0,2,4,6
/proc/2424/task/2459/stat : 2459 (pb_cplex) S 2423 2423 1671 0 -1 4202560 9563 0 0 0 185 4 0 0 20 0 8 0 34778428 162410496 18922 33554432000 134512640 146736320 4291399696 4093636240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2460] ppid=2423 vsize=158604 CPUtime=2.1 cores=0,2,4,6
/proc/2424/task/2460/stat : 2460 (pb_cplex) S 2423 2423 1671 0 -1 4202560 10101 0 0 0 206 4 0 0 20 0 8 0 34778428 162410496 18922 33554432000 134512640 146736320 4291399696 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 17.39
Current children cumulated vsize (KiB) 167752
[startup+12.7004 s]
/proc/loadavg: 7.14 7.99 6.83 12/195 2474
/proc/meminfo: memFree=30299784/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=152336 CPUtime=36.19 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) S 2423 2423 1671 0 -1 4202496 111972 0 0 0 3539 80 0 0 20 0 8 0 34778405 155992064 17314 33554432000 134512640 146736320 4291399696 4291396048 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 38083 17314 1003 2985 0 35017 0
[pid=2424/tid=2468] ppid=2423 vsize=152332 CPUtime=1.11 cores=0,2,4,6
/proc/2424/task/2468/stat : 2468 (pb_cplex) R 2423 2423 1671 0 -1 4202560 2599 0 0 0 109 2 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4130567596 144797937 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2469] ppid=2423 vsize=152332 CPUtime=1.09 cores=0,2,4,6
/proc/2424/task/2469/stat : 2469 (pb_cplex) R 2423 2423 1671 0 -1 4202560 3370 0 0 0 107 2 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4141060304 136008455 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2470] ppid=2423 vsize=152332 CPUtime=1.04 cores=0,2,4,6
/proc/2424/task/2470/stat : 2470 (pb_cplex) R 2423 2423 1671 0 -1 4202560 2413 0 0 0 102 2 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4151545912 136015707 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2471] ppid=2423 vsize=152332 CPUtime=1.02 cores=0,2,4,6
/proc/2424/task/2471/stat : 2471 (pb_cplex) R 2423 2423 1671 0 -1 4202560 2660 0 0 0 100 2 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4119896104 139041202 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2472] ppid=2423 vsize=152332 CPUtime=1.13 cores=0,2,4,6
/proc/2424/task/2472/stat : 2472 (pb_cplex) R 2423 2423 1671 0 -1 4202560 2579 0 0 0 111 2 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4091535184 136008245 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2473] ppid=2423 vsize=152332 CPUtime=1.02 cores=0,2,4,6
/proc/2424/task/2473/stat : 2473 (pb_cplex) R 2423 2423 1671 0 -1 4202560 3451 0 0 0 101 1 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4070563896 136015696 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2474] ppid=2423 vsize=152332 CPUtime=1 cores=0,2,4,6
/proc/2424/task/2474/stat : 2474 (pb_cplex) R 2423 2423 1671 0 -1 4202560 1779 0 0 0 99 1 0 0 20 0 8 0 34779384 155987968 17314 33554432000 134512640 146736320 4291399696 4043301864 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 36.19
Current children cumulated vsize (KiB) 161484
[startup+25.5004 s]
/proc/loadavg: 6.78 7.89 6.81 8/195 2474
/proc/meminfo: memFree=30288276/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=157928 CPUtime=76.52 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 158564 0 0 0 7524 128 0 0 20 0 8 0 34778405 161718272 18468 33554432000 134512640 146736320 4291399696 4291390964 135451459 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 39482 18468 1023 2985 0 36416 0
[pid=2424/tid=2468] ppid=2423 vsize=157928 CPUtime=6.01 cores=0,2,4,6
/proc/2424/task/2468/stat : 2468 (pb_cplex) R 2423 2423 1671 0 -1 4202560 6995 0 0 0 592 9 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4130574952 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2469] ppid=2423 vsize=157928 CPUtime=6.11 cores=0,2,4,6
/proc/2424/task/2469/stat : 2469 (pb_cplex) S 2423 2423 1671 0 -1 4202560 6119 0 0 0 603 8 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4141063824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2470] ppid=2423 vsize=157928 CPUtime=6.11 cores=0,2,4,6
/proc/2424/task/2470/stat : 2470 (pb_cplex) S 2423 2423 1671 0 -1 4202560 14742 0 0 0 602 9 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4151549584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2471] ppid=2423 vsize=157928 CPUtime=5.85 cores=0,2,4,6
/proc/2424/task/2471/stat : 2471 (pb_cplex) R 2423 2423 1671 0 -1 4202560 8333 0 0 0 578 7 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4119896044 135454079 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2472] ppid=2423 vsize=157928 CPUtime=6.12 cores=0,2,4,6
/proc/2424/task/2472/stat : 2472 (pb_cplex) R 2423 2423 1671 0 -1 4202560 10454 0 0 0 603 9 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4091535976 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2473] ppid=2423 vsize=157928 CPUtime=5.94 cores=0,2,4,6
/proc/2424/task/2473/stat : 2473 (pb_cplex) S 2423 2423 1671 0 -1 4202560 10339 0 0 0 588 6 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2474] ppid=2423 vsize=157928 CPUtime=6.02 cores=0,2,4,6
/proc/2424/task/2474/stat : 2474 (pb_cplex) R 2423 2423 1671 0 -1 4202560 4434 0 0 0 596 6 0 0 20 0 8 0 34779384 161718272 18468 33554432000 134512640 146736320 4291399696 4043301864 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 76.52
Current children cumulated vsize (KiB) 167076
[startup+51.1004 s]
/proc/loadavg: 7.22 7.92 6.85 10/195 2474
/proc/meminfo: memFree=30288888/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
################
# More data... #
################
[pid=2424/tid=2487] ppid=2423 vsize=169012 CPUtime=77.16 cores=0,2,4,6
/proc/2424/task/2487/stat : 2487 (pb_cplex) R 2423 2423 1671 0 -1 4202560 25354 0 0 0 7594 122 0 0 20 0 8 0 34793917 173068288 21316 33554432000 134512640 146736320 4291399696 4065488528 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2488] ppid=2423 vsize=169012 CPUtime=75.75 cores=0,2,4,6
/proc/2424/task/2488/stat : 2488 (pb_cplex) S 2423 2423 1671 0 -1 4202560 47852 0 0 0 7448 127 0 0 20 0 8 0 34793917 173068288 21316 33554432000 134512640 146736320 4291399696 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2489] ppid=2423 vsize=169012 CPUtime=76.36 cores=0,2,4,6
/proc/2424/task/2489/stat : 2489 (pb_cplex) S 2423 2423 1671 0 -1 4202560 42205 0 0 0 7511 125 0 0 20 0 8 0 34793917 173068288 21316 33554432000 134512640 146736320 4291399696 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1092.88
Current children cumulated vsize (KiB) 178160
[startup+462.304 s]
/proc/loadavg: 3.25 4.87 5.86 4/195 2491
/proc/meminfo: memFree=30277728/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=169304 CPUtime=1238.76 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 712922 0 0 0 122055 1821 0 0 20 0 8 0 34778405 173367296 21325 33554432000 134512640 146736320 4291399696 4291393880 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 42326 21325 1023 2985 0 39260 0
[pid=2424/tid=2483] ppid=2423 vsize=169304 CPUtime=88.99 cores=0,2,4,6
/proc/2424/task/2483/stat : 2483 (pb_cplex) R 2423 2423 1671 0 -1 4202560 31750 0 0 0 8751 148 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4130575072 136002742 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2484] ppid=2423 vsize=169304 CPUtime=95.53 cores=0,2,4,6
/proc/2424/task/2484/stat : 2484 (pb_cplex) R 2423 2423 1671 0 -1 4202560 55054 0 0 0 9403 150 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4141059996 136389732 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2485] ppid=2423 vsize=169304 CPUtime=94.3 cores=0,2,4,6
/proc/2424/task/2485/stat : 2485 (pb_cplex) R 2423 2423 1671 0 -1 4202560 54326 0 0 0 9282 148 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4151544500 135450566 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2486] ppid=2423 vsize=169304 CPUtime=93.45 cores=0,2,4,6
/proc/2424/task/2486/stat : 2486 (pb_cplex) S 2423 2423 1671 0 -1 4202560 41988 0 0 0 9197 148 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4119899792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2487] ppid=2423 vsize=169304 CPUtime=96.91 cores=0,2,4,6
/proc/2424/task/2487/stat : 2487 (pb_cplex) R 2423 2423 1671 0 -1 4202560 54763 0 0 0 9537 154 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4065486360 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2488] ppid=2423 vsize=169304 CPUtime=92.6 cores=0,2,4,6
/proc/2424/task/2488/stat : 2488 (pb_cplex) R 2423 2423 1671 0 -1 4202560 54122 0 0 0 9106 154 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4043301480 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2489] ppid=2423 vsize=169304 CPUtime=95.16 cores=0,2,4,6
/proc/2424/task/2489/stat : 2489 (pb_cplex) R 2423 2423 1671 0 -1 4202560 85457 0 0 0 9359 157 0 0 20 0 8 0 34793917 173367296 21325 33554432000 134512640 146736320 4291399696 4032814536 135526548 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1238.76
Current children cumulated vsize (KiB) 178452
[startup+522.3 s]
/proc/loadavg: 3.93 4.77 5.76 5/196 2494
/proc/meminfo: memFree=30274496/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=173400 CPUtime=1376.85 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 864727 0 0 0 135653 2032 0 0 20 0 8 0 34778405 177561600 22112 33554432000 134512640 146736320 4291399696 4291392760 136015583 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/2424/statm: 43350 22112 1023 2985 0 40284 0
[pid=2424/tid=2483] ppid=2423 vsize=173400 CPUtime=105.08 cores=0,2,4,6
/proc/2424/task/2483/stat : 2483 (pb_cplex) S 2423 2423 1671 0 -1 4202560 58906 0 0 0 10334 174 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4130578064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2484] ppid=2423 vsize=173400 CPUtime=112.15 cores=0,2,4,6
/proc/2424/task/2484/stat : 2484 (pb_cplex) S 2423 2423 1671 0 -1 4202560 74706 0 0 0 11037 178 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4141063824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2485] ppid=2423 vsize=173400 CPUtime=111.5 cores=0,2,4,6
/proc/2424/task/2485/stat : 2485 (pb_cplex) S 2423 2423 1671 0 -1 4202560 81348 0 0 0 10974 176 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4151549584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2486] ppid=2423 vsize=173400 CPUtime=110.24 cores=0,2,4,6
/proc/2424/task/2486/stat : 2486 (pb_cplex) S 2423 2423 1671 0 -1 4202560 66930 0 0 0 10849 175 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4119899792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2487] ppid=2423 vsize=173400 CPUtime=114.44 cores=0,2,4,6
/proc/2424/task/2487/stat : 2487 (pb_cplex) S 2423 2423 1671 0 -1 4202560 62359 0 0 0 11266 178 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4065488528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2488] ppid=2423 vsize=173400 CPUtime=110.12 cores=0,2,4,6
/proc/2424/task/2488/stat : 2488 (pb_cplex) S 2423 2423 1671 0 -1 4202560 76024 0 0 0 10834 178 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2489] ppid=2423 vsize=173400 CPUtime=112.24 cores=0,2,4,6
/proc/2424/task/2489/stat : 2489 (pb_cplex) S 2423 2423 1671 0 -1 4202560 100433 0 0 0 11039 185 0 0 20 0 8 0 34793917 177561600 22112 33554432000 134512640 146736320 4291399696 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1376.85
Current children cumulated vsize (KiB) 182548
[startup+582.3 s]
/proc/loadavg: 3.59 4.52 5.61 3/195 2494
/proc/meminfo: memFree=30273388/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=173556 CPUtime=1525.26 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) S 2423 2423 1671 0 -1 4202496 962516 0 0 0 150254 2272 0 0 20 0 8 0 34778405 177721344 22330 33554432000 134512640 146736320 4291399696 4291396048 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 43389 22330 1023 2985 0 40323 0
[pid=2424/tid=2483] ppid=2423 vsize=173556 CPUtime=122.07 cores=0,2,4,6
/proc/2424/task/2483/stat : 2483 (pb_cplex) R 2423 2423 1671 0 -1 4202560 68137 0 0 0 12003 204 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4130575896 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2484] ppid=2423 vsize=173556 CPUtime=131.06 cores=0,2,4,6
/proc/2424/task/2484/stat : 2484 (pb_cplex) S 2423 2423 1671 0 -1 4202560 82601 0 0 0 12896 210 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4141063824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2485] ppid=2423 vsize=173556 CPUtime=131.21 cores=0,2,4,6
/proc/2424/task/2485/stat : 2485 (pb_cplex) R 2423 2423 1671 0 -1 4202560 104252 0 0 0 12912 209 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4151545912 136015684 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2486] ppid=2423 vsize=173556 CPUtime=128.3 cores=0,2,4,6
/proc/2424/task/2486/stat : 2486 (pb_cplex) S 2423 2423 1671 0 -1 4202560 89162 0 0 0 12625 205 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4119899792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2487] ppid=2423 vsize=173556 CPUtime=132.03 cores=0,2,4,6
/proc/2424/task/2487/stat : 2487 (pb_cplex) R 2423 2423 1671 0 -1 4202560 81863 0 0 0 12995 208 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4065485816 136364238 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2488] ppid=2423 vsize=173556 CPUtime=128.2 cores=0,2,4,6
/proc/2424/task/2488/stat : 2488 (pb_cplex) R 2423 2423 1671 0 -1 4202560 82820 0 0 0 12614 206 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4043302040 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2489] ppid=2423 vsize=173556 CPUtime=130.59 cores=0,2,4,6
/proc/2424/task/2489/stat : 2489 (pb_cplex) R 2423 2423 1671 0 -1 4202560 106191 0 0 0 12843 216 0 0 20 0 8 0 34793917 177721344 22330 33554432000 134512640 146736320 4291399696 4032815720 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1525.26
Current children cumulated vsize (KiB) 182704
[startup+642.3 s]
/proc/loadavg: 3.86 4.45 5.52 8/195 2494
/proc/meminfo: memFree=30269972/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=177916 CPUtime=1696.27 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) S 2423 2423 1671 0 -1 4202496 992642 0 0 0 167085 2542 0 0 20 0 8 0 34778405 182185984 23231 33554432000 134512640 146736320 4291399696 4291396048 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2424/statm: 44479 23231 1023 2985 0 41413 0
[pid=2424/tid=2483] ppid=2423 vsize=177916 CPUtime=142.44 cores=0,2,4,6
/proc/2424/task/2483/stat : 2483 (pb_cplex) S 2423 2423 1671 0 -1 4202560 72546 0 0 0 14005 239 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4130578064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2484] ppid=2423 vsize=177916 CPUtime=151.91 cores=0,2,4,6
/proc/2424/task/2484/stat : 2484 (pb_cplex) S 2423 2423 1671 0 -1 4202560 84930 0 0 0 14948 243 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4141063824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2485] ppid=2423 vsize=177916 CPUtime=152.06 cores=0,2,4,6
/proc/2424/task/2485/stat : 2485 (pb_cplex) S 2423 2423 1671 0 -1 4202560 112762 0 0 0 14960 246 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4151549584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2486] ppid=2423 vsize=177916 CPUtime=149.05 cores=0,2,4,6
/proc/2424/task/2486/stat : 2486 (pb_cplex) R 2423 2423 1671 0 -1 4202560 91532 0 0 0 14666 239 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4119894180 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2487] ppid=2423 vsize=177916 CPUtime=152.79 cores=0,2,4,6
/proc/2424/task/2487/stat : 2487 (pb_cplex) S 2423 2423 1671 0 -1 4202560 86141 0 0 0 15036 243 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4065488528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2488] ppid=2423 vsize=177916 CPUtime=149.17 cores=0,2,4,6
/proc/2424/task/2488/stat : 2488 (pb_cplex) S 2423 2423 1671 0 -1 4202560 84668 0 0 0 14679 238 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2489] ppid=2423 vsize=177916 CPUtime=151.6 cores=0,2,4,6
/proc/2424/task/2489/stat : 2489 (pb_cplex) S 2423 2423 1671 0 -1 4202560 108627 0 0 0 14907 253 0 0 20 0 8 0 34793917 182185984 23231 33554432000 134512640 146736320 4291399696 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1696.27
Current children cumulated vsize (KiB) 187064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+679.2 s]
/proc/loadavg: 3.98 4.42 5.47 9/195 2495
/proc/meminfo: memFree=30266128/32873844 swapFree=7124/7124
[pid=2423] ppid=2421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2423/stat : 2423 (run) S 2421 2423 1671 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34778405 9367552 270 33554432000 4194304 5064252 140734041554416 140734041553328 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2423/statm: 2287 270 229 213 0 72 0
[pid=2424] ppid=2423 vsize=181196 CPUtime=1799.75 cores=0,2,4,6
/proc/2424/stat : 2424 (pb_cplex) R 2423 2423 1671 0 -1 4202496 1009881 0 0 0 177278 2697 0 0 20 0 8 0 34778405 185544704 24213 33554432000 134512640 146736320 4291399696 4291396076 144580332 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/2424/statm: 45299 24213 1023 2985 0 42233 0
[pid=2424/tid=2483] ppid=2423 vsize=181196 CPUtime=154.73 cores=0,2,4,6
/proc/2424/task/2483/stat : 2483 (pb_cplex) R 2423 2423 1671 0 -1 4202560 74600 0 0 0 15215 258 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4130574952 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=2424/tid=2484] ppid=2423 vsize=181196 CPUtime=164.3 cores=0,2,4,6
/proc/2424/task/2484/stat : 2484 (pb_cplex) R 2423 2423 1671 0 -1 4202560 87100 0 0 0 16167 263 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4141059764 135450735 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2485] ppid=2423 vsize=181196 CPUtime=164.57 cores=0,2,4,6
/proc/2424/task/2485/stat : 2485 (pb_cplex) S 2423 2423 1671 0 -1 4202560 115113 0 0 0 16192 265 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4151549584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2424/tid=2486] ppid=2423 vsize=181196 CPUtime=162.21 cores=0,2,4,6
/proc/2424/task/2486/stat : 2486 (pb_cplex) R 2423 2423 1671 0 -1 4202560 92271 0 0 0 15963 258 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4119896680 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2487] ppid=2423 vsize=181196 CPUtime=165.5 cores=0,2,4,6
/proc/2424/task/2487/stat : 2487 (pb_cplex) S 2423 2423 1671 0 -1 4202560 88635 0 0 0 16285 265 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4065488528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2424/tid=2488] ppid=2423 vsize=181196 CPUtime=161.99 cores=0,2,4,6
/proc/2424/task/2488/stat : 2488 (pb_cplex) R 2423 2423 1671 0 -1 4202560 89188 0 0 0 15943 256 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4043301304 136015696 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=2424/tid=2489] ppid=2423 vsize=181196 CPUtime=164.12 cores=0,2,4,6
/proc/2424/task/2489/stat : 2489 (pb_cplex) S 2423 2423 1671 0 -1 4202560 110507 0 0 0 16140 272 0 0 20 0 8 0 34793917 185544704 24213 33554432000 134512640 146736320 4291399696 4032818832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 190344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2423 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 1799.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.300018
# lost CPU user time (s): 0.380005
# lost CPU system time (s): -0.0799999
Real time (s): 679.217
CPU time (s): 1800.05
CPU user time (s): 1773.16
CPU system time (s): 26.89
CPU usage (%): 265.018
Max. virtual memory (cumulated for all children) (KiB): 190344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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= 2
involuntary context switches= 1
runsolver used 3.05054 second user time and 3.22551 second system time
The end