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-3736864-1339248375/watcher-3736864-1339248375 -o /tmp/evaluation-result-3736864-1339248375/solver-3736864-1339248375 -C 1800 -W 1900 -M 15500 run HOME/instance-3736864-1339248375.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.36 0.97 2.69 3/184 27594
/proc/meminfo: memFree=31464912/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0

[startup+0.103341 s]
/proc/loadavg: 0.36 0.97 2.69 3/184 27594
/proc/meminfo: memFree=31464912/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200196 s]
/proc/loadavg: 0.36 0.97 2.69 3/184 27594
/proc/meminfo: memFree=31464912/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300211 s]
/proc/loadavg: 0.36 0.97 2.69 3/184 27594
/proc/meminfo: memFree=31464912/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700208 s]
/proc/loadavg: 0.36 0.97 2.69 3/184 27594
/proc/meminfo: memFree=31464912/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 0.36 0.97 2.69 9/186 27603
/proc/meminfo: memFree=31117696/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=81016 CPUtime=1.93 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 15095 0 0 0 184 9 0 0 20 0 1 0 390964527 82960384 6749 33554432000 134512640 146736320 4294953136 4294947468 136017766 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27595/statm: 20254 6749 955 2985 0 17188 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 90164

[startup+3.10022 s]
/proc/loadavg: 1.05 1.10 2.72 10/186 27603
/proc/meminfo: memFree=31098708/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=81016 CPUtime=3.53 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 15095 0 0 0 344 9 0 0 20 0 1 0 390964527 82960384 6749 33554432000 134512640 146736320 4294953136 4294948936 136002916 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27595/statm: 20254 6749 955 2985 0 17188 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 90164

[startup+6.30024 s]
/proc/loadavg: 1.05 1.10 2.72 10/186 27603
/proc/meminfo: memFree=31071032/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=81016 CPUtime=6.73 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 15095 0 0 0 664 9 0 0 20 0 1 0 390964527 82960384 6749 33554432000 134512640 146736320 4294953136 4294945552 135459528 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27595/statm: 20254 6749 955 2985 0 17188 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 90164

[startup+12.7005 s]
/proc/loadavg: 2.27 1.36 2.79 9/193 27617
/proc/meminfo: memFree=31041336/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=143384 CPUtime=13.24 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 33463 0 0 0 1306 18 0 0 20 0 8 0 390964527 146825216 12292 33554432000 134512640 146736320 4294953136 4294944940 135454118 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27595/statm: 35846 12292 975 2985 0 32780 0
[pid=27595/tid=27611] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) S 27594 27594 27040 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4130881168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) S 27594 27594 27040 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4141366928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) S 27594 27594 27040 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4151852688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) S 27594 27594 27040 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4117958288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) S 27594 27594 27040 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) S 27594 27594 27040 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=143384 CPUtime=0 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) S 27594 27594 27040 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390965363 146825216 12292 33554432000 134512640 146736320 4294953136 4048547472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 152532

[startup+25.5005 s]
/proc/loadavg: 2.55 1.45 2.80 6/186 27617
/proc/meminfo: memFree=31578644/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=165968 CPUtime=38.97 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) S 27594 27594 27040 0 -1 4202496 58427 0 0 0 3870 27 0 0 20 0 8 0 390964527 169951232 17883 33554432000 134512640 146736320 4294953136 4294949520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27595/statm: 41492 17883 975 2985 0 38426 0
[pid=27595/tid=27611] ppid=27594 vsize=165968 CPUtime=7.15 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) S 27594 27594 27040 0 -1 4202560 2924 0 0 0 713 2 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4130881168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=165968 CPUtime=5.49 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) R 27594 27594 27040 0 -1 4202560 1808 0 0 0 549 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4141363792 136403116 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=165968 CPUtime=2.14 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) S 27594 27594 27040 0 -1 4202560 2834 0 0 0 214 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4151852688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=165968 CPUtime=2.97 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) S 27594 27594 27040 0 -1 4202560 3194 0 0 0 295 2 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4117958288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=165968 CPUtime=2.86 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) S 27594 27594 27040 0 -1 4202560 2862 0 0 0 284 2 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=165968 CPUtime=0.12 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) S 27594 27594 27040 0 -1 4202560 798 0 0 0 12 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=165968 CPUtime=0.23 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) S 27594 27594 27040 0 -1 4202560 54 0 0 0 23 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4048547472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 38.97
Current children cumulated vsize (KiB) 175116

Solver just ended. Dumping a history of the last processes samples

[startup+25.6006 s]
/proc/loadavg: 2.55 1.45 2.80 6/186 27617
/proc/meminfo: memFree=31578644/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=165968 CPUtime=39.07 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) S 27594 27594 27040 0 -1 4202496 58427 0 0 0 3880 27 0 0 20 0 8 0 390964527 169951232 17883 33554432000 134512640 146736320 4294953136 4294949520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27595/statm: 41492 17883 975 2985 0 38426 0
[pid=27595/tid=27611] ppid=27594 vsize=165968 CPUtime=7.15 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) S 27594 27594 27040 0 -1 4202560 2924 0 0 0 713 2 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4130881168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=165968 CPUtime=5.59 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) R 27594 27594 27040 0 -1 4202560 1808 0 0 0 559 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4141362152 139044557 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=165968 CPUtime=2.14 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) S 27594 27594 27040 0 -1 4202560 2834 0 0 0 214 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4151852688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=165968 CPUtime=2.97 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) S 27594 27594 27040 0 -1 4202560 3194 0 0 0 295 2 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4117958288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=165968 CPUtime=2.86 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) S 27594 27594 27040 0 -1 4202560 2862 0 0 0 284 2 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=165968 CPUtime=0.12 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) S 27594 27594 27040 0 -1 4202560 798 0 0 0 12 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=165968 CPUtime=0.23 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) S 27594 27594 27040 0 -1 4202560 54 0 0 0 23 0 0 0 20 0 8 0 390965363 169951232 17883 33554432000 134512640 146736320 4294953136 4048547472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 39.07
Current children cumulated vsize (KiB) 175116

[startup+28.8004 s]
/proc/loadavg: 3.06 1.57 2.83 10/186 27617
/proc/meminfo: memFree=31573684/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=170808 CPUtime=50.36 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 64139 0 0 0 5006 30 0 0 20 0 8 0 390964527 174907392 19445 33554432000 134512640 146736320 4294953136 4294946000 136008172 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27595/statm: 42702 19445 975 2985 0 39636 0
[pid=27595/tid=27611] ppid=27594 vsize=170808 CPUtime=8.51 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) R 27594 27594 27040 0 -1 4202560 2949 0 0 0 848 3 0 0 20 0 8 0 390965363 174907392 19445 33554432000 134512640 146736320 4294953136 4130877512 136474442 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=170808 CPUtime=6.8 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) R 27594 27594 27040 0 -1 4202560 2123 0 0 0 680 0 0 0 20 0 8 0 390965363 174907392 19445 33554432000 134512640 146736320 4294953136 4141363016 135525285 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=170808 CPUtime=3.65 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) R 27594 27594 27040 0 -1 4202560 3458 0 0 0 363 2 0 0 20 0 8 0 390965363 174907392 19445 33554432000 134512640 146736320 4294953136 4151849664 138373296 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=170808 CPUtime=4.45 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4798 0 0 0 443 2 0 0 20 0 8 0 390965363 174907392 19445 33554432000 134512640 146736320 4294953136 4117954600 139044499 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=170808 CPUtime=4.26 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4173 0 0 0 423 3 0 0 20 0 8 0 390965363 174907392 19445 33554432000 134512640 146736320 4294953136 4069515376 136384892 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=170808 CPUtime=1.32 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) R 27594 27594 27040 0 -1 4202560 2552 0 0 0 132 0 0 0 20 0 8 0 390965363 174907392 19445 33554432000 134512640 146736320 4294953136 4059029544 139044585 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=170808 CPUtime=1.35 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) R 27594 27594 27040 0 -1 4202560 84 0 0 0 135 0 0 0 20 0 8 0 390965363 174907392 19446 33554432000 134512640 146736320 4294953136 4048542968 136015701 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.36
Current children cumulated vsize (KiB) 179956

[startup+30.4004 s]
/proc/loadavg: 3.06 1.57 2.83 10/186 27617
/proc/meminfo: memFree=31557812/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=176952 CPUtime=56.62 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 68843 0 0 0 5631 31 0 0 20 0 8 0 390964527 181198848 20645 33554432000 134512640 146736320 4294953136 4294945832 139044580 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27595/statm: 44238 20645 975 2985 0 41172 0
[pid=27595/tid=27611] ppid=27594 vsize=176952 CPUtime=9.45 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) R 27594 27594 27040 0 -1 4202560 3144 0 0 0 942 3 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4130877532 135854518 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=176952 CPUtime=7.69 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) R 27594 27594 27040 0 -1 4202560 2580 0 0 0 769 0 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4141363792 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=176952 CPUtime=4.41 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4561 0 0 0 439 2 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4151849412 136001840 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=176952 CPUtime=5.32 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) R 27594 27594 27040 0 -1 4202560 5604 0 0 0 529 3 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4117954276 135857565 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=176952 CPUtime=5.1 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4173 0 0 0 507 3 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4069515376 136384892 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=176952 CPUtime=2 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4362 0 0 0 199 1 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4059029712 136008047 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=176952 CPUtime=2.04 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) R 27594 27594 27040 0 -1 4202560 340 0 0 0 204 0 0 0 20 0 8 0 390965363 181198848 20645 33554432000 134512640 146736320 4294953136 4048543856 136384857 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 56.62
Current children cumulated vsize (KiB) 186100

[startup+31.2004 s]
/proc/loadavg: 3.06 1.57 2.83 10/186 27617
/proc/meminfo: memFree=31541072/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=183676 CPUtime=59.8 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 72514 0 0 0 5948 32 0 0 20 0 8 0 390964527 188084224 21868 33554432000 134512640 146736320 4294953136 4294946124 136017845 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/27595/statm: 45919 21868 975 2985 0 42853 0
[pid=27595/tid=27611] ppid=27594 vsize=183676 CPUtime=9.93 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) R 27594 27594 27040 0 -1 4202560 3967 0 0 0 990 3 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4130876944 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=183676 CPUtime=8.2 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) R 27594 27594 27040 0 -1 4202560 3220 0 0 0 820 0 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4141364200 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=183676 CPUtime=4.77 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4832 0 0 0 475 2 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4151849168 136008044 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=183676 CPUtime=5.69 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) R 27594 27594 27040 0 -1 4202560 5604 0 0 0 566 3 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4117953728 136018936 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=183676 CPUtime=5.47 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4173 0 0 0 544 3 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4069516164 135850063 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=183676 CPUtime=2.34 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4893 0 0 0 233 1 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4059029544 139044552 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=183676 CPUtime=2.38 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) R 27594 27594 27040 0 -1 4202560 1242 0 0 0 238 0 0 0 20 0 8 0 390965363 188084224 21868 33554432000 134512640 146736320 4294953136 4048543784 139044499 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 59.8
Current children cumulated vsize (KiB) 192824

[startup+31.6004 s]
/proc/loadavg: 3.06 1.57 2.83 10/186 27617
/proc/meminfo: memFree=31541072/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=181048 CPUtime=61.4 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 73029 0 0 0 6108 32 0 0 20 0 8 0 390964527 185393152 21656 33554432000 134512640 146736320 4294953136 4294945864 139042974 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27595/statm: 45262 21656 975 2985 0 42196 0
[pid=27595/tid=27611] ppid=27594 vsize=181048 CPUtime=10.19 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) R 27594 27594 27040 0 -1 4202560 3968 0 0 0 1016 3 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4130876464 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=181048 CPUtime=8.45 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) R 27594 27594 27040 0 -1 4202560 3220 0 0 0 845 0 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4141363408 136008056 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=181048 CPUtime=5.03 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) R 27594 27594 27040 0 -1 4202560 5050 0 0 0 501 2 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4151849176 136009136 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=181048 CPUtime=5.89 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) R 27594 27594 27040 0 -1 4202560 5647 0 0 0 586 3 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4117955016 135999265 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=181048 CPUtime=5.51 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) S 27594 27594 27040 0 -1 4202560 4175 0 0 0 548 3 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=181048 CPUtime=2.55 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) R 27594 27594 27040 0 -1 4202560 4893 0 0 0 254 1 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4059030504 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=181048 CPUtime=2.58 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) R 27594 27594 27040 0 -1 4202560 1491 0 0 0 258 0 0 0 20 0 8 0 390965363 185393152 21656 33554432000 134512640 146736320 4294953136 4048544200 136000480 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 61.4
Current children cumulated vsize (KiB) 190196

[startup+32.0066 s]
/proc/loadavg: 3.46 1.68 2.86 4/186 27617
/proc/meminfo: memFree=31540932/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=181048 CPUtime=62.55 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) S 27594 27594 27040 0 -1 4202496 73030 0 0 0 6222 33 0 0 20 0 8 0 390964527 185393152 21657 33554432000 134512640 146736320 4294953136 4294949520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27595/statm: 45262 21657 975 2985 0 42196 0
[pid=27595/tid=27611] ppid=27594 vsize=181048 CPUtime=10.19 cores=0,2,4,6
/proc/27595/task/27611/stat : 27611 (pb_cplex) S 27594 27594 27040 0 -1 4202560 3968 0 0 0 1016 3 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4130881168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27612] ppid=27594 vsize=181048 CPUtime=8.53 cores=0,2,4,6
/proc/27595/task/27612/stat : 27612 (pb_cplex) S 27594 27594 27040 0 -1 4202560 3221 0 0 0 853 0 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4141366928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27595/tid=27613] ppid=27594 vsize=181048 CPUtime=5.36 cores=0,2,4,6
/proc/27595/task/27613/stat : 27613 (pb_cplex) R 27594 27594 27040 0 -1 4202560 5050 0 0 0 533 3 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4151849168 136008047 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27595/tid=27614] ppid=27594 vsize=181048 CPUtime=6.03 cores=0,2,4,6
/proc/27595/task/27614/stat : 27614 (pb_cplex) S 27594 27594 27040 0 -1 4202560 5647 0 0 0 600 3 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4117958288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27615] ppid=27594 vsize=181048 CPUtime=5.51 cores=0,2,4,6
/proc/27595/task/27615/stat : 27615 (pb_cplex) S 27594 27594 27040 0 -1 4202560 4175 0 0 0 548 3 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27595/tid=27616] ppid=27594 vsize=181048 CPUtime=2.81 cores=0,2,4,6
/proc/27595/task/27616/stat : 27616 (pb_cplex) S 27594 27594 27040 0 -1 4202560 4893 0 0 0 280 1 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27595/tid=27617] ppid=27594 vsize=181048 CPUtime=2.77 cores=0,2,4,6
/proc/27595/task/27617/stat : 27617 (pb_cplex) S 27594 27594 27040 0 -1 4202560 1491 0 0 0 277 0 0 0 20 0 8 0 390965363 185393152 21657 33554432000 134512640 146736320 4294953136 4048547472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 62.55
Current children cumulated vsize (KiB) 190196

[startup+32.1005 s]
/proc/loadavg: 3.46 1.68 2.86 4/186 27617
/proc/meminfo: memFree=31540932/32873844 swapFree=7116/7116
[pid=27594] ppid=27592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (run) S 27592 27594 27040 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390964527 9367552 270 33554432000 4194304 5064252 140734442013984 140734442012896 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 270 229 213 0 72 0
[pid=27595] ppid=27594 vsize=97176 CPUtime=62.75 cores=0,2,4,6
/proc/27595/stat : 27595 (pb_cplex) R 27594 27594 27040 0 -1 4202496 73036 0 0 0 6234 41 0 0 20 0 1 0 390964527 99508224 10216 33554432000 134512640 146736320 4294953136 4294952024 136765696 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/27595/statm: 24294 10216 981 2985 0 21228 0
Current children cumulated CPU time (s) 62.75
Current children cumulated vsize (KiB) 106324

Child status: 0
Real time (s): 32.1041
CPU time (s): 62.7685
CPU user time (s): 62.3465
CPU system time (s): 0.421935
CPU usage (%): 195.515
Max. virtual memory (cumulated for all children) (KiB): 193540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.3465
system time used= 0.421935
maximum resident set size= 88312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73417
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= 3745
involuntary context switches= 2400

runsolver used 0.123981 second user time and 0.280957 second system time

The end