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-3733083-1339247386/watcher-3733083-1339247386 -o /tmp/evaluation-result-3733083-1339247386/solver-3733083-1339247386 -C 1800 -W 1900 -M 15500 run HOME/instance-3733083-1339247386.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: 12.13 10.35 5.40 3/177 23633
/proc/meminfo: memFree=29449432/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[startup+0.0694081 s]
/proc/loadavg: 12.13 10.35 5.40 3/177 23633
/proc/meminfo: memFree=29449432/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 12.13 10.35 5.40 3/177 23633
/proc/meminfo: memFree=29449432/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/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: 12.13 10.35 5.40 3/177 23633
/proc/meminfo: memFree=29449432/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700248 s]
/proc/loadavg: 12.13 10.35 5.40 3/177 23633
/proc/meminfo: memFree=29449432/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 12.13 10.35 5.40 3/179 23635
/proc/meminfo: memFree=29422400/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=55684 CPUtime=1.48 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 10448 0 0 0 147 1 0 0 20 0 1 0 390867210 57020416 8127 33554432000 134512640 146736320 4289847840 4289842488 138657509 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 13921 8127 790 2985 0 10855 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64832
[startup+3.10027 s]
/proc/loadavg: 12.13 10.35 5.40 3/179 23635
/proc/meminfo: memFree=29419548/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=55684 CPUtime=3.08 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 10448 0 0 0 307 1 0 0 20 0 1 0 390867210 57020416 8127 33554432000 134512640 146736320 4289847840 4289842856 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 13921 8127 790 2985 0 10855 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64832
[startup+6.30027 s]
/proc/loadavg: 11.32 10.21 5.38 3/179 23635
/proc/meminfo: memFree=29394376/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=56056 CPUtime=6.28 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 10679 0 0 0 627 1 0 0 20 0 1 0 390867210 57401344 8168 33554432000 134512640 146736320 4289847840 4289842312 135851926 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 14014 8168 793 2985 0 10948 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65204
[startup+12.7003 s]
/proc/loadavg: 10.57 10.07 5.36 2/176 23678
/proc/meminfo: memFree=29401288/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=84412 CPUtime=12.68 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 17211 0 0 0 1266 2 0 0 20 0 1 0 390867210 86437888 13280 33554432000 134512640 146736320 4289847840 4289843664 137698804 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 21103 13280 882 2985 0 18037 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93560
[startup+25.5004 s]
/proc/loadavg: 8.67 9.68 5.31 3/180 23687
/proc/meminfo: memFree=29349452/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=74168 CPUtime=25.48 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 28579 0 0 0 2543 5 0 0 20 0 1 0 390867210 75948032 12036 33554432000 134512640 146736320 4289847840 4289841948 135854516 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 18542 12036 911 2985 0 15476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83316
[startup+51.1003 s]
/proc/loadavg: 6.39 9.06 5.22 3/179 23687
/proc/meminfo: memFree=29329160/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=72668 CPUtime=51.08 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 57275 0 0 0 5096 12 0 0 20 0 1 0 390867210 74412032 12465 33554432000 134512640 146736320 4289847840 4289842060 136017502 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 18167 12465 912 2985 0 15101 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81816
[startup+102.307 s]
/proc/loadavg: 3.98 7.98 5.05 3/179 23688
/proc/meminfo: memFree=29331920/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=72532 CPUtime=102.28 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 123358 0 0 0 10202 26 0 0 20 0 1 0 390867210 74272768 12896 33554432000 134512640 146736320 4289847840 4289842096 136385265 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 18133 12896 913 2985 0 15067 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 81680
[startup+162.3 s]
/proc/loadavg: 2.73 6.89 4.86 3/186 23695
/proc/meminfo: memFree=29280644/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=217284 CPUtime=162.26 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 207389 0 0 0 16184 42 0 0 20 0 8 0 390867210 222498816 26644 33554432000 134512640 146736320 4289847840 4289840664 136007073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 54321 26644 946 2985 0 51255 0
[pid=23634/tid=23689] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) S 23633 23633 23197 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4085358224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) S 23633 23633 23197 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4074872464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) S 23633 23633 23197 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4064386704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) S 23633 23633 23197 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4053900944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) S 23633 23633 23197 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4043415184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) S 23633 23633 23197 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4032929424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=217284 CPUtime=0 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) S 23633 23633 23197 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390879263 222498816 26644 33554432000 134512640 146736320 4289847840 4022443664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 226432
[startup+222.3 s]
/proc/loadavg: 3.82 6.34 4.79 10/186 23695
/proc/meminfo: memFree=29205216/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=307776 CPUtime=263.23 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 297414 0 0 0 26259 64 0 0 20 0 8 0 390867210 315162624 45370 33554432000 134512640 146736320 4289847840 4289840664 136007674 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 76944 45370 946 2985 0 73878 0
[pid=23634/tid=23689] ppid=23633 vsize=307776 CPUtime=6.79 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 5635 0 0 0 677 2 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4085354888 136388081 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=307776 CPUtime=6.72 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 5515 0 0 0 671 1 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4074868888 136007612 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=307776 CPUtime=6.58 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 5861 0 0 0 656 2 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4064383128 136007053 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=307776 CPUtime=6.76 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 6265 0 0 0 674 2 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4053897808 136403114 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=307776 CPUtime=6.74 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) R 23633 23633 23197 0 -1 4202560 5820 0 0 0 673 1 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4043410408 139044576 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=307776 CPUtime=6.94 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) R 23633 23633 23197 0 -1 4202560 6788 0 0 0 692 2 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4032925508 135850322 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=307776 CPUtime=7 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) R 23633 23633 23197 0 -1 4202560 6411 0 0 0 699 1 0 0 20 0 8 0 390879263 315162624 45370 33554432000 134512640 146736320 4289847840 4022438964 135450603 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 263.23
Current children cumulated vsize (KiB) 316924
################
# More data... #
################
/proc/23634/statm: 78019 48439 968 2985 0 74953 0
[pid=23634/tid=23689] ppid=23633 vsize=312076 CPUtime=128.69 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 69915 0 0 0 12844 25 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4085354700 135846768 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=312076 CPUtime=128.13 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 45157 0 0 0 12792 21 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4074868776 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=312076 CPUtime=127.11 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 39383 0 0 0 12691 20 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4064383176 136388579 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=312076 CPUtime=126.53 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 17045 0 0 0 12641 12 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4053897376 136006013 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=312076 CPUtime=51.86 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) S 23633 23633 23197 0 -1 4202560 24094 0 0 0 5177 9 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4043415184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=312076 CPUtime=42.42 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) S 23633 23633 23197 0 -1 4202560 25599 0 0 0 4233 9 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4032929424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=312076 CPUtime=85.72 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) S 23633 23633 23197 0 -1 4202560 49566 0 0 0 8553 19 0 0 20 0 8 0 390879263 319565824 48439 33554432000 134512640 146736320 4289847840 4022443664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 981.75
Current children cumulated vsize (KiB) 321224
[startup+462.3 s]
/proc/loadavg: 6.64 6.64 5.29 10/193 23704
/proc/meminfo: memFree=29104236/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=313128 CPUtime=1181.85 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 644507 0 0 0 117978 207 0 0 20 0 8 0 390867210 320643072 48603 33554432000 134512640 146736320 4289847840 4289841104 135520968 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23634/statm: 78282 48603 968 2985 0 75216 0
[pid=23634/tid=23689] ppid=23633 vsize=313128 CPUtime=159.86 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 83499 0 0 0 15956 30 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4085355088 136403114 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=313128 CPUtime=155.62 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 60600 0 0 0 15533 29 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4074867796 136017493 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=313128 CPUtime=165.64 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 62888 0 0 0 16536 28 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4064382184 139044505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=313128 CPUtime=171.96 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 17046 0 0 0 17181 15 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4053897032 135526137 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=313128 CPUtime=66.18 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) R 23633 23633 23197 0 -1 4202560 32467 0 0 0 6604 14 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4043411608 136007284 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=313128 CPUtime=56.44 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) R 23633 23633 23197 0 -1 4202560 33143 0 0 0 5632 12 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4032925768 139042888 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=313128 CPUtime=99.9 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) R 23633 23633 23197 0 -1 4202560 53813 0 0 0 9970 20 0 0 20 0 8 0 390879263 320643072 48603 33554432000 134512640 146736320 4289847840 4022440212 136004384 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 322276
[startup+522.301 s]
/proc/loadavg: 10.52 7.63 5.70 17/193 23704
/proc/meminfo: memFree=28992696/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=313656 CPUtime=1421.09 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 687146 0 0 0 141880 229 0 0 20 0 8 0 390867210 321183744 48742 33554432000 134512640 146736320 4289847840 4289840664 136007605 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23634/statm: 78414 48742 968 2985 0 75348 0
[pid=23634/tid=23689] ppid=23633 vsize=313656 CPUtime=189.44 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 83499 0 0 0 18912 32 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4085354952 136001863 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=313656 CPUtime=185.63 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 64600 0 0 0 18532 31 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4074868828 135854505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=313656 CPUtime=195.36 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 76905 0 0 0 19502 34 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4064383128 136007089 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=313656 CPUtime=201.9 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 17046 0 0 0 20171 19 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4053897288 139042888 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=313656 CPUtime=96.14 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) R 23633 23633 23197 0 -1 4202560 43206 0 0 0 9595 19 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4043411608 136007037 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=313656 CPUtime=86.35 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) R 23633 23633 23197 0 -1 4202560 33143 0 0 0 8622 13 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4032925848 136007626 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=313656 CPUtime=129.77 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) R 23633 23633 23197 0 -1 4202560 53813 0 0 0 12956 21 0 0 20 0 8 0 390879263 321183744 48742 33554432000 134512640 146736320 4289847840 4022440088 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.09
Current children cumulated vsize (KiB) 322804
[startup+582.301 s]
/proc/loadavg: 13.98 9.15 6.35 17/193 23704
/proc/meminfo: memFree=28983452/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=313744 CPUtime=1660.11 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 712439 0 0 0 165768 243 0 0 20 0 8 0 390867210 321273856 48800 33554432000 134512640 146736320 4289847840 4289840664 136007034 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 78436 48800 968 2985 0 75370 0
[pid=23634/tid=23689] ppid=23633 vsize=313744 CPUtime=219.4 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 83500 0 0 0 21907 33 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4085354388 136017474 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=313744 CPUtime=215.72 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 64728 0 0 0 21540 32 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4074867900 135526870 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=313744 CPUtime=225.39 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 90569 0 0 0 22499 40 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4064383128 136007620 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=313744 CPUtime=231.34 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 17062 0 0 0 23114 20 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4053897368 136007665 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=313744 CPUtime=126.04 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) R 23633 23633 23197 0 -1 4202560 43669 0 0 0 12584 20 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4043411608 136007059 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=313744 CPUtime=116.27 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) R 23633 23633 23197 0 -1 4202560 33143 0 0 0 11613 14 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4032926336 139046463 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=313744 CPUtime=159.65 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) R 23633 23633 23197 0 -1 4202560 53905 0 0 0 15942 23 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4022440136 136388561 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1660.11
Current children cumulated vsize (KiB) 322892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+617.501 s]
/proc/loadavg: 14.94 9.92 6.71 17/194 23707
/proc/meminfo: memFree=28983568/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=313744 CPUtime=1800.33 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 731093 0 0 0 179781 252 0 0 20 0 8 0 390867210 321273856 48800 33554432000 134512640 146736320 4289847840 4289840664 136007643 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 78436 48800 968 2985 0 75370 0
[pid=23634/tid=23689] ppid=23633 vsize=313744 CPUtime=237.01 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 83500 0 0 0 23668 33 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4085354648 136007050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=313744 CPUtime=233.27 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 68499 0 0 0 23293 34 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4074867688 139044550 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=313744 CPUtime=242.88 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 97911 0 0 0 24245 43 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4064383128 136007277 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=313744 CPUtime=248.72 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 17062 0 0 0 24852 20 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4053897032 135526330 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=313744 CPUtime=143.59 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) R 23633 23633 23197 0 -1 4202560 43804 0 0 0 14337 22 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4043411608 136007605 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=313744 CPUtime=133.58 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) R 23633 23633 23197 0 -1 4202560 33143 0 0 0 13342 16 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4032925788 135854535 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=313744 CPUtime=177.21 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) R 23633 23633 23197 0 -1 4202560 53905 0 0 0 17698 23 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4022440008 139042980 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 322892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+617.501 s]
/proc/loadavg: 14.94 9.92 6.71 17/194 23707
/proc/meminfo: memFree=28983568/32873844 swapFree=7372/7372
[pid=23633] ppid=23631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23633/stat : 23633 (run) S 23631 23633 23197 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390867210 9367552 270 33554432000 4194304 5064252 140736924861568 140736924860480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23633/statm: 2287 270 229 213 0 72 0
[pid=23634] ppid=23633 vsize=313744 CPUtime=1800.33 cores=1,3,5,7
/proc/23634/stat : 23634 (pb_cplex) R 23633 23633 23197 0 -1 4202496 731093 0 0 0 179781 252 0 0 20 0 8 0 390867210 321273856 48800 33554432000 134512640 146736320 4289847840 4289840664 136007643 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23634/statm: 78436 48800 968 2985 0 75370 0
[pid=23634/tid=23689] ppid=23633 vsize=313744 CPUtime=237.01 cores=1,3,5,7
/proc/23634/task/23689/stat : 23689 (pb_cplex) R 23633 23633 23197 0 -1 4202560 83500 0 0 0 23668 33 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4085354648 136007050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23690] ppid=23633 vsize=313744 CPUtime=233.27 cores=1,3,5,7
/proc/23634/task/23690/stat : 23690 (pb_cplex) R 23633 23633 23197 0 -1 4202560 68499 0 0 0 23293 34 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4074867688 139044550 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23691] ppid=23633 vsize=313744 CPUtime=242.88 cores=1,3,5,7
/proc/23634/task/23691/stat : 23691 (pb_cplex) R 23633 23633 23197 0 -1 4202560 97911 0 0 0 24245 43 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4064383128 136007277 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23692] ppid=23633 vsize=313744 CPUtime=248.72 cores=1,3,5,7
/proc/23634/task/23692/stat : 23692 (pb_cplex) R 23633 23633 23197 0 -1 4202560 17062 0 0 0 24852 20 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4053897032 135526330 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23634/tid=23693] ppid=23633 vsize=313744 CPUtime=143.59 cores=1,3,5,7
/proc/23634/task/23693/stat : 23693 (pb_cplex) R 23633 23633 23197 0 -1 4202560 43804 0 0 0 14337 22 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4043411608 136007605 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23634/tid=23694] ppid=23633 vsize=313744 CPUtime=133.58 cores=1,3,5,7
/proc/23634/task/23694/stat : 23694 (pb_cplex) R 23633 23633 23197 0 -1 4202560 33143 0 0 0 13342 16 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4032925788 135854535 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23634/tid=23695] ppid=23633 vsize=313744 CPUtime=177.21 cores=1,3,5,7
/proc/23634/task/23695/stat : 23695 (pb_cplex) R 23633 23633 23197 0 -1 4202560 53905 0 0 0 17698 23 0 0 20 0 8 0 390879263 321273856 48800 33554432000 134512640 146736320 4289847840 4022440008 139042980 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 322892
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23633 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 617.518
CPU time (s): 1800.33
CPU user time (s): 1797.81
CPU system time (s): 2.52
CPU usage (%): 291.543
Max. virtual memory (cumulated for all children) (KiB): 323512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
involuntary context switches= 2
runsolver used 1.74073 second user time and 4.21536 second system time
The end