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-3730076-1339246841/watcher-3730076-1339246841 -o /tmp/evaluation-result-3730076-1339246841/solver-3730076-1339246841 -C 1800 -W 1900 -M 15500 run HOME/instance-3730076-1339246841.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.07 0.02 0.00 2/172 15937
/proc/meminfo: memFree=31148152/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[startup+0.045181 s]
/proc/loadavg: 0.07 0.02 0.00 2/172 15937
/proc/meminfo: memFree=31148152/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100223 s]
/proc/loadavg: 0.07 0.02 0.00 2/172 15937
/proc/meminfo: memFree=31148152/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 0.07 0.02 0.00 2/172 15937
/proc/meminfo: memFree=31148152/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70022 s]
/proc/loadavg: 0.07 0.02 0.00 2/172 15937
/proc/meminfo: memFree=31148152/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/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: 0.07 0.02 0.00 2/174 15939
/proc/meminfo: memFree=31100892/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=172784 CPUtime=1.49 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 21766 0 0 0 147 2 0 0 20 0 1 0 390811154 176930816 21235 33554432000 134512640 146736320 4293836240 4293832084 144625988 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 43196 21235 3353 2985 0 17961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 181932
[startup+3.10028 s]
/proc/loadavg: 0.07 0.02 0.00 2/174 15939
/proc/meminfo: memFree=31045656/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=247104 CPUtime=3.09 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 43226 0 0 0 304 5 0 0 20 0 1 0 390811154 253034496 43203 33554432000 134512640 146736320 4293836240 4293834264 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 61776 43203 6711 2985 0 36541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 256252
[startup+6.30028 s]
/proc/loadavg: 0.23 0.05 0.02 2/174 15939
/proc/meminfo: memFree=30894152/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=395480 CPUtime=6.28 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 85539 0 0 0 618 10 0 0 20 0 1 0 390811154 404971520 87044 33554432000 134512640 146736320 4293836240 4293834152 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 98870 87044 13475 2985 0 73635 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 404628
[startup+12.7003 s]
/proc/loadavg: 0.29 0.06 0.02 2/174 15988
/proc/meminfo: memFree=30667044/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=584752 CPUtime=12.69 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 138174 0 0 0 1251 18 0 0 20 0 1 0 390811154 598786048 143247 33554432000 134512640 146736320 4293836240 4293834224 140683292 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 146188 143247 22382 2985 0 120953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 593900
[startup+25.5003 s]
/proc/loadavg: 0.67 0.16 0.05 3/179 16033
/proc/meminfo: memFree=29782008/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=1342776 CPUtime=25.49 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 224452 0 0 0 2501 48 0 0 20 0 1 0 390811154 1375002624 321115 33554432000 134512640 146736320 4293836240 4293834408 138736799 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 335694 321115 570 2985 0 332628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1351924
[startup+51.1003 s]
/proc/loadavg: 1.12 0.30 0.10 3/180 16034
/proc/meminfo: memFree=29177392/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3969620 CPUtime=51.08 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 320822 0 0 0 5011 97 0 0 20 0 1 0 390811154 4064890880 474702 33554432000 134512640 146736320 4293836240 4293831176 136463743 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 992405 474702 712 2985 0 989339 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3978768
[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.20 3/179 16034
/proc/meminfo: memFree=29172576/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3974500 CPUtime=102.28 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 322339 0 0 0 10130 98 0 0 20 0 1 0 390811154 4069888000 475920 33554432000 134512640 146736320 4293836240 4293831116 136016691 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 993625 475920 713 2985 0 990559 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3983648
[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/179 16034
/proc/meminfo: memFree=29169380/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3974500 CPUtime=162.26 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 322341 0 0 0 16128 98 0 0 20 0 1 0 390811154 4069888000 475923 33554432000 134512640 146736320 4293836240 4293831208 136015583 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 993625 475923 713 2985 0 990559 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3983648
[startup+222.3 s]
/proc/loadavg: 1.95 1.03 0.41 3/179 16034
/proc/meminfo: memFree=29168912/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3974500 CPUtime=222.26 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 322341 0 0 0 22127 99 0 0 20 0 1 0 390811154 4069888000 475942 33554432000 134512640 146736320 4293836240 4293831208 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 993625 475942 713 2985 0 990559 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3983648
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.51 3/178 16034
/proc/meminfo: memFree=29169568/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3974500 CPUtime=282.25 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) R 15937 15937 15844 0 -1 4202496 322342 0 0 0 28126 99 0 0 20 0 1 0 390811154 4069888000 475943 33554432000 134512640 146736320 4293836240 4293831356 138665864 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 993625 475943 713 2985 0 990559 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3983648
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.37 1.35 0.57 2/179 16035
/proc/meminfo: memFree=27096584/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353379 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353379 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+319.9 s]
/proc/loadavg: 2.62 1.44 0.61 2/179 16035
/proc/meminfo: memFree=27096424/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353379 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353379 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+326.3 s]
/proc/loadavg: 2.83 1.52 0.65 2/179 16035
/proc/meminfo: memFree=27097416/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353379 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353379 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+332.7 s]
/proc/loadavg: 3.08 1.60 0.67 2/179 16036
/proc/meminfo: memFree=27136832/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353388 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353388 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+335.9 s]
/proc/loadavg: 3.24 1.65 0.70 2/180 16037
/proc/meminfo: memFree=27138312/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353388 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353388 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+337.5 s]
/proc/loadavg: 3.24 1.65 0.70 2/180 16037
/proc/meminfo: memFree=27138560/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353388 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353388 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+338.3 s]
/proc/loadavg: 3.24 1.65 0.70 2/180 16037
/proc/meminfo: memFree=27139164/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353388 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353388 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
[startup+338.7 s]
/proc/loadavg: 3.24 1.65 0.70 2/181 16038
/proc/meminfo: memFree=27138660/32873648 swapFree=7376/7376
[pid=15937] ppid=15935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15937/stat : 15937 (run) S 15935 15937 15844 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390811154 9367552 270 33554432000 4194304 5064252 140734224286784 140734224285696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15937/statm: 2287 270 229 213 0 72 0
[pid=15938] ppid=15937 vsize=3364192 CPUtime=294.31 cores=1,3,5,7
/proc/15938/stat : 15938 (pb_cplex) S 15937 15937 15844 0 -1 4204032 329032 0 0 0 29194 237 0 0 20 0 1 0 390811154 3444932608 353388 33554432000 134512640 146736320 4293836240 4293834732 144864592 0 0 4096 16387 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15938/statm: 841048 353388 1059 2985 0 837982 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 3373340
Child status: 134
Real time (s): 338.772
CPU time (s): 294.327
CPU user time (s): 291.941
CPU system time (s): 2.38664
CPU usage (%): 86.8807
Max. virtual memory (cumulated for all children) (KiB): 3983648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 291.941
system time used= 2.38664
maximum resident set size= 1931116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329399
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= 790231
involuntary context switches= 305
runsolver used 1.12783 second user time and 2.6336 second system time
The end