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-3738277-1339248990/watcher-3738277-1339248990 -o /tmp/evaluation-result-3738277-1339248990/solver-3738277-1339248990 -C 1800 -W 1900 -M 15500 run HOME/instance-3738277-1339248990.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: 7.43 6.50 4.30 3/173 16453
/proc/meminfo: memFree=31212548/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0

[startup+0.040041 s]
/proc/loadavg: 7.43 6.50 4.30 3/173 16453
/proc/meminfo: memFree=31212548/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100311 s]
/proc/loadavg: 7.43 6.50 4.30 3/173 16453
/proc/meminfo: memFree=31212548/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30032 s]
/proc/loadavg: 7.43 6.50 4.30 3/173 16453
/proc/meminfo: memFree=31212548/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700257 s]
/proc/loadavg: 7.43 6.50 4.30 3/173 16453
/proc/meminfo: memFree=31212548/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 7.43 6.50 4.30 3/179 16497
/proc/meminfo: memFree=31171036/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=58128 CPUtime=1.48 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 9802 0 0 0 147 1 0 0 20 0 1 0 391025834 59523072 7037 33554432000 134512640 146736320 4294616592 4294610944 135658717 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 14532 7037 789 2985 0 11466 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67276

[startup+3.10026 s]
/proc/loadavg: 7.43 6.50 4.30 3/179 16497
/proc/meminfo: memFree=31161636/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=58128 CPUtime=3.08 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 9802 0 0 0 307 1 0 0 20 0 1 0 391025834 59523072 7037 33554432000 134512640 146736320 4294616592 4294609420 135465184 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 14532 7037 789 2985 0 11466 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67276

[startup+6.30025 s]
/proc/loadavg: 7.07 6.44 4.29 3/179 16497
/proc/meminfo: memFree=31161628/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=58128 CPUtime=6.28 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 9802 0 0 0 627 1 0 0 20 0 1 0 391025834 59523072 7037 33554432000 134512640 146736320 4294616592 4294610616 135997712 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 14532 7037 789 2985 0 11466 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67276

[startup+12.7003 s]
/proc/loadavg: 6.67 6.37 4.28 3/178 16497
/proc/meminfo: memFree=31153412/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=61212 CPUtime=12.68 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 10039 0 0 0 1267 1 0 0 20 0 1 0 391025834 62681088 8501 33554432000 134512640 146736320 4294616592 4294611128 138768493 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 15303 8501 797 2985 0 12237 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70360

[startup+25.5003 s]
/proc/loadavg: 5.63 6.15 4.24 3/179 16498
/proc/meminfo: memFree=31129884/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=77440 CPUtime=25.48 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 19776 0 0 0 2545 3 0 0 20 0 1 0 391025834 79298560 11586 33554432000 134512640 146736320 4294616592 4294610764 136017757 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19360 11586 866 2985 0 16294 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86588

[startup+51.1003 s]
/proc/loadavg: 4.39 5.82 4.18 3/179 16498
/proc/meminfo: memFree=31125868/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=77440 CPUtime=51.08 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 37807 0 0 0 5101 7 0 0 20 0 1 0 391025834 79298560 11587 33554432000 134512640 146736320 4294616592 4294611184 136385265 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19360 11587 866 2985 0 16294 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86588

[startup+102.307 s]
/proc/loadavg: 3.04 5.23 4.06 3/179 16498
/proc/meminfo: memFree=31113324/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=77788 CPUtime=102.27 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 84906 0 0 0 10210 17 0 0 20 0 1 0 391025834 79654912 13308 33554432000 134512640 146736320 4294616592 4294610672 136384892 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19447 13308 912 2985 0 16381 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 86936

[startup+162.3 s]
/proc/loadavg: 2.38 4.64 3.93 3/179 16498
/proc/meminfo: memFree=31111544/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=78392 CPUtime=162.25 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 129781 0 0 0 16199 26 0 0 20 0 1 0 391025834 80273408 13377 33554432000 134512640 146736320 4294616592 4294610764 136017481 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19598 13377 923 2985 0 16532 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 87540

[startup+222.3 s]
/proc/loadavg: 2.14 4.16 3.81 3/180 16501
/proc/meminfo: memFree=31112328/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=78672 CPUtime=222.24 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 175456 0 0 0 22189 35 0 0 20 0 1 0 391025834 80560128 13144 33554432000 134512640 146736320 4294616592 4294610424 136400477 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19668 13144 923 2985 0 16602 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 87820

[startup+282.3 s]
/proc/loadavg: 2.05 3.76 3.69 3/179 16501
/proc/meminfo: memFree=31101448/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=79344 CPUtime=282.23 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 210659 0 0 0 28180 43 0 0 20 0 1 0 391025834 81248256 13226 33554432000 134512640 146736320 4294616592 4294610736 136400477 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19836 13226 923 2985 0 16770 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 88492

[startup+342.3 s]
/proc/loadavg: 2.02 3.44 3.58 3/179 16502
/proc/meminfo: memFree=31111920/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=79196 CPUtime=342.22 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 221447 0 0 0 34177 45 0 0 20 0 1 0 391025834 81096704 13244 33554432000 134512640 146736320 4294616592 4294610764 136017757 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 19799 13244 923 2985 0 16733 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 88344

[startup+402.3 s]
/proc/loadavg: 2.05 3.19 3.49 3/179 16502
/proc/meminfo: memFree=31110072/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################


[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.31 3/186 16542
/proc/meminfo: memFree=31040164/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=231016 CPUtime=1781.99 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 784361 0 0 0 178049 150 0 0 20 0 8 0 391025834 236560384 31627 33554432000 134512640 146736320 4294616592 4294609472 136400746 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 57754 31627 964 2985 0 54688 0
[pid=16454/tid=16509] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16509/stat : 16509 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4082208400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16510] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16510/stat : 16510 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4071722640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16511] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16511/stat : 16511 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4061236880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16454/tid=16512] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16512/stat : 16512 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4050751120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16513] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16513/stat : 16513 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4040265360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16514] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16514/stat : 16514 (pb_cplex) S 16453 16453 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4029779600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16515] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16515/stat : 16515 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4019293840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 240164

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.31 3/186 16542
/proc/meminfo: memFree=31038552/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=231016 CPUtime=1791.6 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 791273 0 0 0 179008 152 0 0 20 0 8 0 391025834 236560384 31627 33554432000 134512640 146736320 4294616592 4294609368 136007062 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 57754 31627 964 2985 0 54688 0
[pid=16454/tid=16509] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16509/stat : 16509 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4082208400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16510] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16510/stat : 16510 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4071722640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16511] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16511/stat : 16511 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4061236880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16454/tid=16512] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16512/stat : 16512 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4050751120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16513] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16513/stat : 16513 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4040265360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16514] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16514/stat : 16514 (pb_cplex) S 16453 16453 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4029779600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16515] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16515/stat : 16515 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4019293840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 240164

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038924/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=231016 CPUtime=1794.8 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 793440 0 0 0 179328 152 0 0 20 0 8 0 391025834 236560384 31627 33554432000 134512640 146736320 4294616592 4294609288 139042980 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 57754 31627 964 2985 0 54688 0
[pid=16454/tid=16509] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16509/stat : 16509 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4082208400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16510] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16510/stat : 16510 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4071722640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16511] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16511/stat : 16511 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4061236880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16454/tid=16512] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16512/stat : 16512 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4050751120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16513] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16513/stat : 16513 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4040265360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16514] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16514/stat : 16514 (pb_cplex) S 16453 16453 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4029779600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16515] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16515/stat : 16515 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4019293840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 240164

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=231016 CPUtime=1796.39 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 794517 0 0 0 179487 152 0 0 20 0 8 0 391025834 236560384 31627 33554432000 134512640 146736320 4294616592 4294609368 136007605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 57754 31627 964 2985 0 54688 0
[pid=16454/tid=16509] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16509/stat : 16509 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4082208400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16510] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16510/stat : 16510 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4071722640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16511] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16511/stat : 16511 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4061236880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16454/tid=16512] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16512/stat : 16512 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4050751120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16513] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16513/stat : 16513 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4040265360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16514] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16514/stat : 16514 (pb_cplex) S 16453 16453 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4029779600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16515] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16515/stat : 16515 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4019293840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 240164

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=231016 CPUtime=1797.99 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 795599 0 0 0 179647 152 0 0 20 0 8 0 391025834 236560384 31627 33554432000 134512640 146736320 4294616592 4294609368 136007053 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 57754 31627 964 2985 0 54688 0
[pid=16454/tid=16509] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16509/stat : 16509 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4082208400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16510] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16510/stat : 16510 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4071722640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16511] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16511/stat : 16511 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4061236880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16454/tid=16512] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16512/stat : 16512 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4050751120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16513] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16513/stat : 16513 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4040265360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16514] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16514/stat : 16514 (pb_cplex) S 16453 16453 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4029779600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16515] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16515/stat : 16515 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4019293840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 240164

[startup+1798.7 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=231016 CPUtime=1798.39 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 796028 0 0 0 179687 152 0 0 20 0 8 0 391025834 236560384 31627 33554432000 134512640 146736320 4294616592 4294609368 136007083 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 57754 31627 964 2985 0 54688 0
[pid=16454/tid=16509] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16509/stat : 16509 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4082208400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16510] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16510/stat : 16510 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4071722640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16511] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16511/stat : 16511 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4061236880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16454/tid=16512] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16512/stat : 16512 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4050751120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16454/tid=16513] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16513/stat : 16513 (pb_cplex) S 16453 16453 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4040265360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16514] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16514/stat : 16514 (pb_cplex) S 16453 16453 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4029779600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16454/tid=16515] ppid=16453 vsize=231016 CPUtime=0 cores=0,2,4,6
/proc/16454/task/16515/stat : 16515 (pb_cplex) S 16453 16453 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391165970 236560384 31627 33554432000 134512640 146736320 4294616592 4019293840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 240164

[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.30 3/186 16542
/proc/meminfo: memFree=31038800/32873648 swapFree=7376/7376
[pid=16453] ppid=16451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16453/stat : 16453 (run) S 16451 16453 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391025834 9367552 270 33554432000 4194304 5064252 140735987021312 140735987020224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16453/statm: 2287 270 229 213 0 72 0
[pid=16454] ppid=16453 vsize=147604 CPUtime=1798.79 cores=0,2,4,6
/proc/16454/stat : 16454 (pb_cplex) R 16453 16453 15844 0 -1 4202496 796463 0 0 0 179726 153 0 0 20 0 1 0 391025834 151146496 19491 33554432000 134512640 146736320 4294616592 4294615480 136765692 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16454/statm: 36901 19491 970 2985 0 33835 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 156752

Child status: 0
Real time (s): 1799.11
CPU time (s): 1798.8
CPU user time (s): 1797.27
CPU system time (s): 1.53477
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 243640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.27
system time used= 1.53477
maximum resident set size= 128616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 796843
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= 235
involuntary context switches= 1853

runsolver used 6.99993 second user time and 13.061 second system time

The end