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-3738079-1339248859/watcher-3738079-1339248859 -o /tmp/evaluation-result-3738079-1339248859/solver-3738079-1339248859 -C 1800 -W 1900 -M 15500 run HOME/instance-3738079-1339248859.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.82 6.20 5.85 7/184 18989
/proc/meminfo: memFree=31253988/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[startup+0.0562121 s]
/proc/loadavg: 6.82 6.20 5.85 7/184 18989
/proc/meminfo: memFree=31253988/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100284 s]
/proc/loadavg: 6.82 6.20 5.85 7/184 18989
/proc/meminfo: memFree=31253988/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300293 s]
/proc/loadavg: 6.82 6.20 5.85 7/184 18989
/proc/meminfo: memFree=31253988/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 6.82 6.20 5.85 7/184 18989
/proc/meminfo: memFree=31253988/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 6.82 6.20 5.85 3/186 18991
/proc/meminfo: memFree=31229040/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=59272 CPUtime=1.48 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 9953 0 0 0 148 0 0 0 20 0 1 0 391014442 60694528 7111 33554432000 134512640 146736320 4288527104 4288521144 135997714 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 14818 7111 789 2985 0 11752 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 68420
[startup+3.10029 s]
/proc/loadavg: 6.82 6.20 5.85 3/186 18991
/proc/meminfo: memFree=31227676/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=59272 CPUtime=3.09 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 9953 0 0 0 308 1 0 0 20 0 1 0 391014442 60694528 7111 33554432000 134512640 146736320 4288527104 4288522712 144757825 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 14818 7111 789 2985 0 11752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68420
[startup+6.30029 s]
/proc/loadavg: 6.91 6.22 5.86 3/186 18991
/proc/meminfo: memFree=31226808/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=59272 CPUtime=6.29 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 9953 0 0 0 628 1 0 0 20 0 1 0 391014442 60694528 7111 33554432000 134512640 146736320 4288527104 4288522056 136461573 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 14818 7111 789 2985 0 11752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68420
[startup+12.7003 s]
/proc/loadavg: 6.52 6.15 5.84 8/186 18991
/proc/meminfo: memFree=31223908/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=62604 CPUtime=12.69 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 10230 0 0 0 1268 1 0 0 20 0 1 0 391014442 64106496 7899 33554432000 134512640 146736320 4288527104 4288521656 138768258 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 15651 7899 797 2985 0 12585 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71752
[startup+25.5003 s]
/proc/loadavg: 5.85 6.03 5.80 3/179 19041
/proc/meminfo: memFree=31229136/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=78068 CPUtime=25.48 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 17354 0 0 0 2546 2 0 0 20 0 1 0 391014442 79941632 10917 33554432000 134512640 146736320 4288527104 4288521680 136403116 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19517 10917 880 2985 0 16451 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87216
[startup+51.1003 s]
/proc/loadavg: 4.53 5.71 5.70 3/179 19041
/proc/meminfo: memFree=31226080/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=78068 CPUtime=51.07 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 34583 0 0 0 5102 5 0 0 20 0 1 0 391014442 79941632 11574 33554432000 134512640 146736320 4288527104 4288521680 136403112 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19517 11574 880 2985 0 16451 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87216
[startup+102.307 s]
/proc/loadavg: 3.15 5.15 5.51 3/179 19041
/proc/meminfo: memFree=31210284/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=78560 CPUtime=102.27 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 82061 0 0 0 10213 14 0 0 20 0 1 0 391014442 80445440 12777 33554432000 134512640 146736320 4288527104 4288521292 136017496 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19640 12777 921 2985 0 16574 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87708
[startup+162.3 s]
/proc/loadavg: 2.42 4.57 5.29 3/179 19042
/proc/meminfo: memFree=31180560/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=79200 CPUtime=162.26 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 127446 0 0 0 16203 23 0 0 20 0 1 0 391014442 81100800 13338 33554432000 134512640 146736320 4288527104 4288521292 136017489 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19800 13338 924 2985 0 16734 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88348
[startup+222.3 s]
/proc/loadavg: 2.15 4.10 5.08 3/179 19042
/proc/meminfo: memFree=31168068/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=78856 CPUtime=222.24 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 171523 0 0 0 22193 31 0 0 20 0 1 0 391014442 80748544 13265 33554432000 134512640 146736320 4288527104 4288521292 136017748 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19714 13265 924 2985 0 16648 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 88004
[startup+282.3 s]
/proc/loadavg: 2.05 3.72 4.88 3/179 19042
/proc/meminfo: memFree=31166700/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80168 CPUtime=282.23 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 218241 0 0 0 28183 40 0 0 20 0 1 0 391014442 82092032 13565 33554432000 134512640 146736320 4288527104 4288521680 136403129 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20042 13565 924 2985 0 16976 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89316
[startup+342.3 s]
/proc/loadavg: 2.02 3.40 4.70 3/180 19045
/proc/meminfo: memFree=31167072/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80000 CPUtime=342.22 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 263221 0 0 0 34174 48 0 0 20 0 1 0 391014442 81920000 13466 33554432000 134512640 146736320 4288527104 4288521516 136400469 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20000 13466 924 2985 0 16934 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 89148
[startup+402.3 s]
/proc/loadavg: 2.00 3.14 4.53 3/180 19045
/proc/meminfo: memFree=31170104/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.81 3/179 19054
/proc/meminfo: memFree=31166288/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=78800 CPUtime=1422.06 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 899026 0 0 0 142036 170 0 0 20 0 1 0 391014442 80691200 13234 33554432000 134512640 146736320 4288527104 4288520980 136017766 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19700 13234 924 2985 0 16634 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 87948
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.76 3/179 19054
/proc/meminfo: memFree=31154372/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=96836 CPUtime=1482.03 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 946065 0 0 0 148026 177 0 0 20 0 1 0 391014442 99160064 16256 33554432000 134512640 146736320 4288527104 4288522896 137698804 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 24209 16256 924 2985 0 21143 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 105984
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.71 3/180 19057
/proc/meminfo: memFree=31164376/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=79828 CPUtime=1542.03 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 984814 0 0 0 154018 185 0 0 20 0 1 0 391014442 81743872 13469 33554432000 134512640 146736320 4288527104 4288521264 136400474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19957 13469 924 2985 0 16891 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 88976
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.67 3/180 19057
/proc/meminfo: memFree=31165272/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=78684 CPUtime=1602.02 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1027304 0 0 0 160010 192 0 0 20 0 1 0 391014442 80572416 13197 33554432000 134512640 146736320 4288527104 4288520980 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19671 13197 924 2985 0 16605 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 87832
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.62 3/179 19081
/proc/meminfo: memFree=31164776/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=79824 CPUtime=1662 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1067102 0 0 0 166002 198 0 0 20 0 1 0 391014442 81739776 13495 33554432000 134512640 146736320 4288527104 4288521292 136017520 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 19956 13495 924 2985 0 16890 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 88972
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.58 3/179 19081
/proc/meminfo: memFree=31140532/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=92096 CPUtime=1721.99 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1072309 0 0 0 172000 199 0 0 20 0 1 0 391014442 94306304 15753 33554432000 134512640 146736320 4288527104 4288522856 139023104 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 23024 15753 924 2985 0 19958 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 101244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.54 3/179 19081
/proc/meminfo: memFree=31162472/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1781.99 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1107126 0 0 0 177993 206 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521244 136389732 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 89752
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.54 3/179 19081
/proc/meminfo: memFree=31162472/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1791.59 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1114064 0 0 0 178952 207 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521292 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 89752
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.53 3/179 19081
/proc/meminfo: memFree=31162348/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1794.79 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1116535 0 0 0 179272 207 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521292 136017757 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 89752
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.53 3/179 19081
/proc/meminfo: memFree=31162348/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1796.39 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1117656 0 0 0 179431 208 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521292 136017777 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 89752
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.53 3/179 19081
/proc/meminfo: memFree=31162348/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1797.99 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1119000 0 0 0 179591 208 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521292 136017769 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 89752
[startup+1798.7 s]
/proc/loadavg: 2.00 2.01 2.53 3/179 19081
/proc/meminfo: memFree=31162348/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1798.39 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1119223 0 0 0 179631 208 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521292 136017474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 89752
[startup+1798.9 s]
/proc/loadavg: 2.00 2.01 2.53 3/179 19081
/proc/meminfo: memFree=31162348/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1798.59 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1119447 0 0 0 179651 208 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288521292 136017755 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 89752
[startup+1799 s]
/proc/loadavg: 2.00 2.01 2.53 3/179 19081
/proc/meminfo: memFree=31162348/32873844 swapFree=8656/8656
[pid=18989] ppid=18987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18989/stat : 18989 (run) S 18987 18989 17566 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391014442 9367552 270 33554432000 4194304 5064252 140733336641376 140733336640288 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18989/statm: 2287 270 229 213 0 72 0
[pid=18990] ppid=18989 vsize=80604 CPUtime=1798.69 cores=0,2,4,6
/proc/18990/stat : 18990 (pb_cplex) R 18989 18989 17566 0 -1 4202496 1119447 0 0 0 179661 208 0 0 20 0 1 0 391014442 82538496 13778 33554432000 134512640 146736320 4288527104 4288520980 136017489 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/18990/statm: 20151 13778 924 2985 0 17085 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 89752
Child status: 0
Real time (s): 1799.07
CPU time (s): 1798.77
CPU user time (s): 1796.68
CPU system time (s): 2.08668
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 107800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.68
system time used= 2.08668
maximum resident set size= 75308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1120062
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= 38
involuntary context switches= 1850
runsolver used 2.58361 second user time and 7.27289 second system time
The end