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-3732555-1339247343/watcher-3732555-1339247343 -o /tmp/evaluation-result-3732555-1339247343/solver-3732555-1339247343 -C 1800 -W 1900 -M 15500 run HOME/instance-3732555-1339247343.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: 6.57 5.37 2.72 3/177 10952
/proc/meminfo: memFree=28329992/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[startup+0.0779751 s]
/proc/loadavg: 6.57 5.37 2.72 3/177 10952
/proc/meminfo: memFree=28329992/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 6.57 5.37 2.72 3/177 10952
/proc/meminfo: memFree=28329992/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300195 s]
/proc/loadavg: 6.57 5.37 2.72 3/177 10952
/proc/meminfo: memFree=28329992/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700201 s]
/proc/loadavg: 6.57 5.37 2.72 3/177 10952
/proc/meminfo: memFree=28329992/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 6.20 5.31 2.71 3/179 10954
/proc/meminfo: memFree=28320876/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=22748 CPUtime=1.49 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 13153 0 0 0 148 1 0 0 20 0 1 0 390861608 23293952 2964 33554432000 134512640 146736320 4294679984 4294674440 136001974 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 5687 2964 876 2985 0 2621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31896
[startup+3.10026 s]
/proc/loadavg: 6.20 5.31 2.71 3/179 10954
/proc/meminfo: memFree=28318944/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=23300 CPUtime=3.09 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 16686 0 0 0 307 2 0 0 20 0 1 0 390861608 23859200 3150 33554432000 134512640 146736320 4294679984 4294673940 136018134 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 5825 3150 907 2985 0 2759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32448
[startup+6.30039 s]
/proc/loadavg: 6.20 5.31 2.71 7/186 10961
/proc/meminfo: memFree=28287020/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=140960 CPUtime=12.44 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 29599 0 0 0 1237 7 0 0 20 0 8 0 390861608 144343040 12719 33554432000 134512640 146736320 4294679984 4294673232 136403103 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 35240 12719 946 2985 0 32174 0
[pid=10953/tid=10955] ppid=10952 vsize=140960 CPUtime=1.03 cores=0,2,4,6
/proc/10953/task/10955/stat : 10955 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1297 0 0 0 103 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4149836980 138462910 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10956] ppid=10952 vsize=140960 CPUtime=1.1 cores=0,2,4,6
/proc/10953/task/10956/stat : 10956 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1182 0 0 0 110 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4139351220 138462910 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10957] ppid=10952 vsize=140960 CPUtime=1.04 cores=0,2,4,6
/proc/10953/task/10957/stat : 10957 (pb_cplex) R 10952 10952 10692 0 -1 4202560 983 0 0 0 104 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4128866760 136000490 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10958] ppid=10952 vsize=140960 CPUtime=1.05 cores=0,2,4,6
/proc/10953/task/10958/stat : 10958 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1263 0 0 0 105 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4118380744 136388647 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10959] ppid=10952 vsize=140960 CPUtime=1 cores=0,2,4,6
/proc/10953/task/10959/stat : 10959 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1143 0 0 0 100 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4107894992 136008309 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10960] ppid=10952 vsize=140960 CPUtime=1.03 cores=0,2,4,6
/proc/10953/task/10960/stat : 10960 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1463 0 0 0 103 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4097409020 135526778 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10961] ppid=10952 vsize=140960 CPUtime=1.16 cores=0,2,4,6
/proc/10953/task/10961/stat : 10961 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1276 0 0 0 116 0 0 0 20 0 8 0 390861976 144343040 12719 33554432000 134512640 146736320 4294679984 4086923472 136008441 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 150108
[startup+12.7004 s]
/proc/loadavg: 5.56 5.20 2.71 10/186 10982
/proc/meminfo: memFree=28273048/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=143620 CPUtime=30.46 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 46219 0 0 0 3016 30 0 0 20 0 8 0 390861608 147066880 14590 33554432000 134512640 146736320 4294679984 4294672780 144797972 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10953/statm: 35905 14602 972 2985 0 32839 0
[pid=10953/tid=10976] ppid=10952 vsize=143620 CPUtime=0.82 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 84 0 0 0 82 0 0 0 20 0 8 0 390862642 147066880 14611 33554432000 134512640 146736320 4294679984 4086923264 136018927 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=143620 CPUtime=0.74 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1266 0 0 0 74 0 0 0 20 0 8 0 390862642 147066880 14625 33554432000 134512640 146736320 4294679984 4097408916 136018073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=143620 CPUtime=0.85 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 576 0 0 0 85 0 0 0 20 0 8 0 390862642 147066880 14628 33554432000 134512640 146736320 4294679984 4107894876 135854189 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=143620 CPUtime=0.85 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) R 10952 10952 10692 0 -1 4202560 181 0 0 0 85 0 0 0 20 0 8 0 390862642 147066880 14628 33554432000 134512640 146736320 4294679984 4118380752 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=143620 CPUtime=0.8 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1006 0 0 0 80 0 0 0 20 0 8 0 390862642 147066880 14628 33554432000 134512640 146736320 4294679984 4138721496 136008937 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=143620 CPUtime=0.91 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1068 0 0 0 91 0 0 0 20 0 8 0 390862642 147066880 14628 33554432000 134512640 146736320 4294679984 4064273384 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=143620 CPUtime=0.75 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1175 0 0 0 75 0 0 0 20 0 8 0 390862642 147066880 14632 33554432000 134512640 146736320 4294679984 4053787080 136000480 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 30.46
Current children cumulated vsize (KiB) 152768
[startup+25.5004 s]
/proc/loadavg: 6.08 5.33 2.77 10/186 10982
/proc/meminfo: memFree=28260176/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=153860 CPUtime=78.38 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 53534 0 0 0 7795 43 0 0 20 0 8 0 390861608 157552640 17348 33554432000 134512640 146736320 4294679984 4294672848 136008443 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10953/statm: 38465 17348 972 2985 0 35399 0
[pid=10953/tid=10976] ppid=10952 vsize=153860 CPUtime=6.73 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 225 0 0 0 672 1 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4086923656 136388020 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=153860 CPUtime=6.77 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 2544 0 0 0 676 1 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4097410024 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=153860 CPUtime=6.88 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 622 0 0 0 686 2 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4107895176 136388106 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=153860 CPUtime=6.87 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1741 0 0 0 685 2 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4118384300 144580332 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=153860 CPUtime=6.66 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1719 0 0 0 665 1 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4138722280 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=153860 CPUtime=6.96 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3026 0 0 0 694 2 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4064272456 139042883 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=153860 CPUtime=6.59 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) R 10952 10952 10692 0 -1 4202560 2619 0 0 0 658 1 0 0 20 0 8 0 390862642 157552640 17348 33554432000 134512640 146736320 4294679984 4053786824 136388550 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 78.38
Current children cumulated vsize (KiB) 163008
Solver just ended. Dumping a history of the last processes samples
[startup+31.9068 s]
/proc/loadavg: 6.53 5.45 2.84 10/186 10982
/proc/meminfo: memFree=28258560/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=154884 CPUtime=102.57 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 55168 0 0 0 10207 50 0 0 20 0 8 0 390861608 158601216 17638 33554432000 134512640 146736320 4294679984 4294673232 136403112 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10953/statm: 38721 17638 976 2985 0 35655 0
[pid=10953/tid=10976] ppid=10952 vsize=154884 CPUtime=9.72 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 338 0 0 0 969 3 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4086923472 136008450 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=154884 CPUtime=9.87 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3196 0 0 0 985 2 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4097409132 135454115 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=154884 CPUtime=9.86 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 624 0 0 0 983 3 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4107895376 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=154884 CPUtime=9.94 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1992 0 0 0 992 2 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4118381136 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=154884 CPUtime=9.63 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1723 0 0 0 960 3 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4138721488 136008309 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=154884 CPUtime=9.96 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3152 0 0 0 993 3 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4064272820 136400750 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=154884 CPUtime=9.62 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3084 0 0 0 960 2 0 0 20 0 8 0 390862642 158601216 17638 33554432000 134512640 146736320 4294679984 4053787560 138798721 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.57
Current children cumulated vsize (KiB) 164032
[startup+35.1004 s]
/proc/loadavg: 6.53 5.45 2.84 8/186 10982
/proc/meminfo: memFree=28259676/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=152836 CPUtime=114.72 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) S 10952 10952 10692 0 -1 4202496 55853 0 0 0 11418 54 0 0 20 0 8 0 390861608 156504064 17267 33554432000 134512640 146736320 4294679984 4294676368 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 38209 17267 977 2985 0 35143 0
[pid=10953/tid=10976] ppid=10952 vsize=152836 CPUtime=11.23 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 338 0 0 0 1120 3 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4086923008 135231516 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=152836 CPUtime=11.37 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3196 0 0 0 1135 2 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4097409128 136384772 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=152836 CPUtime=11.38 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 717 0 0 0 1134 4 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4107895220 136400746 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=152836 CPUtime=11.47 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) S 10952 10952 10692 0 -1 4202560 2439 0 0 0 1145 2 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4118384272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=152836 CPUtime=11.15 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1723 0 0 0 1112 3 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4138722112 138422232 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=152836 CPUtime=11.43 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3153 0 0 0 1140 3 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4064272456 139042902 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=152836 CPUtime=11.13 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3226 0 0 0 1110 3 0 0 20 0 8 0 390862642 156504064 17267 33554432000 134512640 146736320 4294679984 4053786832 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 114.72
Current children cumulated vsize (KiB) 161984
[startup+35.9004 s]
/proc/loadavg: 6.53 5.45 2.84 8/186 10982
/proc/meminfo: memFree=28259676/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=150788 CPUtime=117.73 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 56273 0 0 0 11719 54 0 0 20 0 8 0 390861608 154406912 16717 33554432000 134512640 146736320 4294679984 4294672848 136008160 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 37697 16717 977 2985 0 34631 0
[pid=10953/tid=10976] ppid=10952 vsize=150788 CPUtime=11.61 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 338 0 0 0 1158 3 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4086923260 135526778 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=150788 CPUtime=11.79 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3196 0 0 0 1176 3 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4097409232 136008056 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=150788 CPUtime=11.76 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 717 0 0 0 1172 4 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4107894992 136008299 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=150788 CPUtime=11.79 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) R 10952 10952 10692 0 -1 4202560 2439 0 0 0 1177 2 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4118380752 136007973 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=150788 CPUtime=11.55 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1723 0 0 0 1152 3 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4138722280 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=150788 CPUtime=11.83 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3153 0 0 0 1180 3 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4064272592 136008176 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=150788 CPUtime=11.54 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3646 0 0 0 1151 3 0 0 20 0 8 0 390862642 154406912 16717 33554432000 134512640 146736320 4294679984 4053786732 135454076 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 117.73
Current children cumulated vsize (KiB) 159936
[startup+36.7004 s]
/proc/loadavg: 6.73 5.51 2.87 6/186 10982
/proc/meminfo: memFree=28261536/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=150788 CPUtime=120.74 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) S 10952 10952 10692 0 -1 4202496 56273 0 0 0 12018 56 0 0 20 0 8 0 390861608 154406912 16602 33554432000 134512640 146736320 4294679984 4294676368 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 37697 16602 977 2985 0 34631 0
[pid=10953/tid=10976] ppid=10952 vsize=150788 CPUtime=12 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) S 10952 10952 10692 0 -1 4202560 338 0 0 0 1197 3 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4086926992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=150788 CPUtime=12.2 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3196 0 0 0 1217 3 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4097410024 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=150788 CPUtime=12.15 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) S 10952 10952 10692 0 -1 4202560 717 0 0 0 1211 4 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4107898512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=150788 CPUtime=12.05 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) S 10952 10952 10692 0 -1 4202560 2439 0 0 0 1203 2 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4118384272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=150788 CPUtime=11.93 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) S 10952 10952 10692 0 -1 4202560 1723 0 0 0 1190 3 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4138725008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=150788 CPUtime=12.22 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3153 0 0 0 1219 3 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4064272812 136400653 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=150788 CPUtime=11.9 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) S 10952 10952 10692 0 -1 4202560 3646 0 0 0 1187 3 0 0 20 0 8 0 390862642 154406912 16602 33554432000 134512640 146736320 4294679984 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 120.74
Current children cumulated vsize (KiB) 159936
[startup+37.1004 s]
/proc/loadavg: 6.73 5.51 2.87 6/186 10982
/proc/meminfo: memFree=28261536/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=150788 CPUtime=122.16 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 56805 0 0 0 12160 56 0 0 20 0 8 0 390861608 154406912 16670 33554432000 134512640 146736320 4294679984 4294673640 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 37697 16670 977 2985 0 34631 0
[pid=10953/tid=10976] ppid=10952 vsize=150788 CPUtime=12.21 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 421 0 0 0 1218 3 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4086924312 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=150788 CPUtime=12.44 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) S 10952 10952 10692 0 -1 4202560 3196 0 0 0 1241 3 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4097412752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=150788 CPUtime=12.31 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 894 0 0 0 1227 4 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4107894992 136008061 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=150788 CPUtime=12.21 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) R 10952 10952 10692 0 -1 4202560 2565 0 0 0 1219 2 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4118380820 136003493 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=150788 CPUtime=12.09 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1723 0 0 0 1206 3 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4138721224 138411591 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=150788 CPUtime=12.39 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3299 0 0 0 1235 4 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4064272496 136384895 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=150788 CPUtime=12.08 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3646 0 0 0 1205 3 0 0 20 0 8 0 390862642 154406912 16670 33554432000 134512640 146736320 4294679984 4053787216 136403116 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 122.16
Current children cumulated vsize (KiB) 159936
[startup+37.2004 s]
/proc/loadavg: 6.73 5.51 2.87 6/186 10982
/proc/meminfo: memFree=28261536/32873648 swapFree=7376/7376
[pid=10952] ppid=10950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10952/stat : 10952 (run) S 10950 10952 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390861608 9367552 269 33554432000 4194304 5064252 140735596125072 140735596123984 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10952/statm: 2287 269 229 213 0 72 0
[pid=10953] ppid=10952 vsize=150788 CPUtime=122.5 cores=0,2,4,6
/proc/10953/stat : 10953 (pb_cplex) R 10952 10952 10692 0 -1 4202496 56808 0 0 0 12194 56 0 0 20 0 8 0 390861608 154406912 16673 33554432000 134512640 146736320 4294679984 4294673232 136403109 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10953/statm: 37697 16673 977 2985 0 34631 0
[pid=10953/tid=10976] ppid=10952 vsize=150788 CPUtime=12.27 cores=0,2,4,6
/proc/10953/task/10976/stat : 10976 (pb_cplex) R 10952 10952 10692 0 -1 4202560 421 0 0 0 1224 3 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4086923856 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10953/tid=10977] ppid=10952 vsize=150788 CPUtime=12.46 cores=0,2,4,6
/proc/10953/task/10977/stat : 10977 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3196 0 0 0 1243 3 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4097410584 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10953/tid=10978] ppid=10952 vsize=150788 CPUtime=12.34 cores=0,2,4,6
/proc/10953/task/10978/stat : 10978 (pb_cplex) R 10952 10952 10692 0 -1 4202560 894 0 0 0 1230 4 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4107898540 144580332 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10979] ppid=10952 vsize=150788 CPUtime=12.23 cores=0,2,4,6
/proc/10953/task/10979/stat : 10979 (pb_cplex) R 10952 10952 10692 0 -1 4202560 2565 0 0 0 1221 2 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4118381544 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10980] ppid=10952 vsize=150788 CPUtime=12.12 cores=0,2,4,6
/proc/10953/task/10980/stat : 10980 (pb_cplex) R 10952 10952 10692 0 -1 4202560 1723 0 0 0 1209 3 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4138721280 136019043 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10981] ppid=10952 vsize=150788 CPUtime=12.44 cores=0,2,4,6
/proc/10953/task/10981/stat : 10981 (pb_cplex) R 10952 10952 10692 0 -1 4202560 3302 0 0 0 1240 4 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4064276112 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10953/tid=10982] ppid=10952 vsize=150788 CPUtime=12.14 cores=0,2,4,6
/proc/10953/task/10982/stat : 10982 (pb_cplex) S 10952 10952 10692 0 -1 4202560 3646 0 0 0 1211 3 0 0 20 0 8 0 390862642 154406912 16673 33554432000 134512640 146736320 4294679984 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 122.5
Current children cumulated vsize (KiB) 159936
Child status: 0
Real time (s): 37.2934
CPU time (s): 122.617
CPU user time (s): 122.006
CPU system time (s): 0.610907
CPU usage (%): 328.791
Max. virtual memory (cumulated for all children) (KiB): 165056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.006
system time used= 0.610907
maximum resident set size= 71476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57194
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= 9924
involuntary context switches= 7291
runsolver used 0.075988 second user time and 0.179972 second system time
The end