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-3731950-1339247190/watcher-3731950-1339247190 -o /tmp/evaluation-result-3731950-1339247190/solver-3731950-1339247190 -C 1800 -W 1900 -M 15500 run HOME/instance-3731950-1339247190.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: 3.41 1.75 0.74 3/178 16225
/proc/meminfo: memFree=31152340/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[startup+0.100067 s]
/proc/loadavg: 3.41 1.75 0.74 3/178 16225
/proc/meminfo: memFree=31152340/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200257 s]
/proc/loadavg: 3.41 1.75 0.74 3/178 16225
/proc/meminfo: memFree=31152340/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 3.41 1.75 0.74 3/178 16225
/proc/meminfo: memFree=31152340/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 3.41 1.75 0.74 3/178 16225
/proc/meminfo: memFree=31152340/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 3.41 1.75 0.74 3/180 16227
/proc/meminfo: memFree=31120072/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=92336 CPUtime=1.49 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 14753 0 0 0 148 1 0 0 20 0 1 0 390845880 94552064 12132 33554432000 134512640 146736320 4293990240 4293986888 138668903 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 23084 12132 683 2985 0 20018 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101484
[startup+3.1003 s]
/proc/loadavg: 3.41 1.75 0.74 3/180 16227
/proc/meminfo: memFree=31101328/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=99380 CPUtime=3.09 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 21885 0 0 0 307 2 0 0 20 0 1 0 390845880 101765120 13476 33554432000 134512640 146736320 4293990240 4293985224 136461478 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 24845 13476 779 2985 0 21779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108528
[startup+6.3003 s]
/proc/loadavg: 3.30 1.75 0.74 3/180 16227
/proc/meminfo: memFree=31100336/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=100196 CPUtime=6.28 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 22096 0 0 0 626 2 0 0 20 0 1 0 390845880 102600704 13687 33554432000 134512640 146736320 4293990240 4293985256 136015572 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 25049 13687 779 2985 0 21983 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109344
[startup+12.7004 s]
/proc/loadavg: 3.20 1.75 0.75 3/180 16227
/proc/meminfo: memFree=31094548/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=107448 CPUtime=12.69 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 23501 0 0 0 1266 3 0 0 20 0 1 0 390845880 110026752 15151 33554432000 134512640 146736320 4293990240 4293984712 135851853 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 26862 15151 789 2985 0 23796 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116596
[startup+25.5004 s]
/proc/loadavg: 2.93 1.76 0.77 3/180 16227
/proc/meminfo: memFree=31096300/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=107448 CPUtime=25.49 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 23501 0 0 0 2546 3 0 0 20 0 1 0 390845880 110026752 15151 33554432000 134512640 146736320 4293990240 4293984824 138768486 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 26862 15151 789 2985 0 23796 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116596
[startup+51.1004 s]
/proc/loadavg: 2.61 1.78 0.80 3/180 16227
/proc/meminfo: memFree=31043536/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=170484 CPUtime=51.09 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 65591 0 0 0 5099 10 0 0 20 0 1 0 390845880 174575616 27481 33554432000 134512640 146736320 4293990240 4293984444 136017845 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 42621 27481 892 2985 0 39555 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 179632
[startup+102.3 s]
/proc/loadavg: 2.30 1.83 0.87 3/186 16234
/proc/meminfo: memFree=30961932/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=140344 CPUtime=102.27 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 99928 0 0 0 10211 16 0 0 20 0 1 0 390845880 143712256 24685 33554432000 134512640 146736320 4293990240 4293984460 136017763 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 35086 24685 897 2985 0 32020 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149492
[startup+162.3 s]
/proc/loadavg: 2.15 1.87 0.94 3/186 16234
/proc/meminfo: memFree=30957564/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=135892 CPUtime=162.26 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 143693 0 0 0 16201 25 0 0 20 0 1 0 390845880 139153408 23988 33554432000 134512640 146736320 4293990240 4293984712 136001985 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 33973 23988 899 2985 0 30907 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 145040
[startup+222.307 s]
/proc/loadavg: 2.05 1.89 1.00 3/187 16237
/proc/meminfo: memFree=30941900/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=141092 CPUtime=222.26 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 174494 0 0 0 22195 31 0 0 20 0 1 0 390845880 144478208 24909 33554432000 134512640 146736320 4293990240 4293984148 136017474 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 35273 24909 899 2985 0 32207 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 150240
[startup+282.3 s]
/proc/loadavg: 5.98 2.99 1.43 10/186 16237
/proc/meminfo: memFree=30835164/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=140880 CPUtime=282.24 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 217531 0 0 0 28184 40 0 0 20 0 1 0 390845880 144261120 24846 33554432000 134512640 146736320 4293990240 4293984432 136400477 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 35220 24846 899 2985 0 32154 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 150028
[startup+342.3 s]
/proc/loadavg: 7.89 4.08 1.90 10/186 16238
/proc/meminfo: memFree=30831140/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=140880 CPUtime=342.24 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 249999 0 0 0 34178 46 0 0 20 0 1 0 390845880 144261120 25706 33554432000 134512640 146736320 4293990240 4293984460 136017527 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 35220 25706 899 2985 0 32154 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 150028
[startup+402.3 s]
/proc/loadavg: 8.59 4.97 2.34 10/186 16238
/proc/meminfo: memFree=30826296/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 423224
[startup+1795.2 s]
/proc/loadavg: 7.99 6.59 4.32 9/193 16398
/proc/meminfo: memFree=30668528/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=414076 CPUtime=1794.91 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 1033000 0 0 0 179285 206 0 0 20 0 8 0 390845880 424013824 75553 33554432000 134512640 146736320 4293990240 4293983064 136007053 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 103519 75553 968 2985 0 100453 0
[pid=16226/tid=16392] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16392/stat : 16392 (pb_cplex) S 16225 16225 15844 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3936292496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 423224
[startup+1796.8 s]
/proc/loadavg: 7.99 6.59 4.32 9/193 16398
/proc/meminfo: memFree=30668528/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=414076 CPUtime=1796.51 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 1033701 0 0 0 179444 207 0 0 20 0 8 0 390845880 424013824 75553 33554432000 134512640 146736320 4293990240 4293983064 136007034 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 103519 75553 968 2985 0 100453 0
[pid=16226/tid=16392] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16392/stat : 16392 (pb_cplex) S 16225 16225 15844 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3936292496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 423224
[startup+1798.4 s]
/proc/loadavg: 7.99 6.59 4.32 2/183 16399
/proc/meminfo: memFree=30910824/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=414076 CPUtime=1798.11 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 1034400 0 0 0 179604 207 0 0 20 0 8 0 390845880 424013824 75553 33554432000 134512640 146736320 4293990240 4293983368 135999693 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 103519 75553 968 2985 0 100453 0
[pid=16226/tid=16392] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16392/stat : 16392 (pb_cplex) S 16225 16225 15844 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3936292496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 423224
[startup+1798.8 s]
/proc/loadavg: 7.43 6.50 4.30 2/183 16399
/proc/meminfo: memFree=30911088/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=414076 CPUtime=1798.51 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 1034749 0 0 0 179644 207 0 0 20 0 8 0 390845880 424013824 75553 33554432000 134512640 146736320 4293990240 4293983024 136384883 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 103519 75553 968 2985 0 100453 0
[pid=16226/tid=16392] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16392/stat : 16392 (pb_cplex) S 16225 16225 15844 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3936292496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (KiB) 423224
[startup+1799 s]
/proc/loadavg: 7.43 6.50 4.30 2/183 16399
/proc/meminfo: memFree=30911088/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=414076 CPUtime=1798.71 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 1034749 0 0 0 179664 207 0 0 20 0 8 0 390845880 424013824 75553 33554432000 134512640 146736320 4293990240 4293982952 139044550 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 103519 75553 968 2985 0 100453 0
[pid=16226/tid=16392] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16392/stat : 16392 (pb_cplex) S 16225 16225 15844 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3936292496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 423224
[startup+1799.1 s]
/proc/loadavg: 7.43 6.50 4.30 2/183 16399
/proc/meminfo: memFree=30911088/32873648 swapFree=7376/7376
[pid=16225] ppid=16223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16225/stat : 16225 (run) S 16223 16225 15844 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390845880 9367552 270 33554432000 4194304 5064252 140736869633728 140736869632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16225/statm: 2287 270 229 213 0 72 0
[pid=16226] ppid=16225 vsize=414076 CPUtime=1798.8 cores=1,3,5,7
/proc/16226/stat : 16226 (pb_cplex) R 16225 16225 15844 0 -1 4202496 1035099 0 0 0 179673 207 0 0 20 0 8 0 390845880 424013824 75553 33554432000 134512640 146736320 4293990240 4293982728 135525908 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16226/statm: 103519 75553 968 2985 0 100453 0
[pid=16226/tid=16392] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16392/stat : 16392 (pb_cplex) S 16225 16225 15844 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3936292496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16393] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16393/stat : 16393 (pb_cplex) S 16225 16225 15844 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3925806736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16394] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16394/stat : 16394 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3915320976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16395] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16395/stat : 16395 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3904835216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16226/tid=16396] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16396/stat : 16396 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3894349456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16226/tid=16397] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16397/stat : 16397 (pb_cplex) S 16225 16225 15844 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3883863696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16226/tid=16398] ppid=16225 vsize=414076 CPUtime=0 cores=1,3,5,7
/proc/16226/task/16398/stat : 16398 (pb_cplex) S 16225 16225 15844 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391004047 424013824 75553 33554432000 134512640 146736320 4293990240 3873377936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 423224
Child status: 0
Real time (s): 1799.16
CPU time (s): 1798.86
CPU user time (s): 1796.78
CPU system time (s): 2.08668
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 424644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 2.08668
maximum resident set size= 303628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035486
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= 221
involuntary context switches= 1974
runsolver used 3.33749 second user time and 9.91449 second system time
The end