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-3731895-1339247180/watcher-3731895-1339247180 -o /tmp/evaluation-result-3731895-1339247180/solver-3731895-1339247180 -C 1800 -W 1900 -M 15500 run HOME/instance-3731895-1339247180.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.44 7.99 3.56 10/184 25977
/proc/meminfo: memFree=30043648/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[startup+0.0653379 s]
/proc/loadavg: 12.44 7.99 3.56 10/184 25977
/proc/meminfo: memFree=30043648/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100217 s]
/proc/loadavg: 12.44 7.99 3.56 10/184 25977
/proc/meminfo: memFree=30043648/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 12.44 7.99 3.56 10/184 25977
/proc/meminfo: memFree=30043648/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700172 s]
/proc/loadavg: 12.44 7.99 3.56 10/184 25977
/proc/meminfo: memFree=30043648/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 12.44 7.99 3.56 10/186 25979
/proc/meminfo: memFree=30023892/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=45208 CPUtime=1.49 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 8737 0 0 0 148 1 0 0 20 0 1 0 390843496 46292992 5649 33554432000 134512640 146736320 4293836000 4293830072 135997666 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 11302 5649 779 2985 0 8236 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54356
[startup+3.10021 s]
/proc/loadavg: 12.16 8.01 3.59 8/186 25979
/proc/meminfo: memFree=30023272/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=45208 CPUtime=3.09 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 8737 0 0 0 308 1 0 0 20 0 1 0 390843496 46292992 5649 33554432000 134512640 146736320 4293836000 4293831164 138666101 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 11302 5649 779 2985 0 8236 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54356
[startup+6.30021 s]
/proc/loadavg: 12.16 8.01 3.59 8/186 25979
/proc/meminfo: memFree=30021500/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=47752 CPUtime=6.29 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 9249 0 0 0 628 1 0 0 20 0 1 0 390843496 48898048 6161 33554432000 134512640 146736320 4293836000 4293829716 135455289 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 11938 6161 787 2985 0 8872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56900
[startup+12.7001 s]
/proc/loadavg: 11.12 7.92 3.61 10/186 25979
/proc/meminfo: memFree=30021408/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=47752 CPUtime=12.69 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 9249 0 0 0 1268 1 0 0 20 0 1 0 390843496 48898048 6161 33554432000 134512640 146736320 4293836000 4293830352 138767252 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 11938 6161 787 2985 0 8872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56900
[startup+25.5002 s]
/proc/loadavg: 10.72 7.94 3.66 10/186 25979
/proc/meminfo: memFree=30021052/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=47752 CPUtime=25.49 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 9249 0 0 0 2548 1 0 0 20 0 1 0 390843496 48898048 6161 33554432000 134512640 146736320 4293836000 4293830584 138768267 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 11938 6161 787 2985 0 8872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56900
[startup+51.1002 s]
/proc/loadavg: 9.07 7.79 3.73 10/186 25979
/proc/meminfo: memFree=30007164/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=61052 CPUtime=51.08 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 39936 0 0 0 5100 8 0 0 20 0 1 0 390843496 62517248 9552 33554432000 134512640 146736320 4293836000 4293830024 136388065 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 15263 9552 913 2985 0 12197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70200
[startup+102.306 s]
/proc/loadavg: 8.27 7.78 3.95 5/186 25979
/proc/meminfo: memFree=30000072/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=61108 CPUtime=102.27 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 39964 0 0 0 10219 8 0 0 20 0 1 0 390843496 62574592 10782 33554432000 134512640 146736320 4293836000 4293829836 136017509 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 15277 10782 916 2985 0 12211 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70256
[startup+162.3 s]
/proc/loadavg: 8.03 7.80 4.18 10/193 25986
/proc/meminfo: memFree=29886468/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=208332 CPUtime=162.26 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 99947 0 0 0 16208 18 0 0 20 0 8 0 390843496 213331968 25796 33554432000 134512640 146736320 4293836000 4293828880 136008160 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 52083 25796 963 2985 0 49017 0
[pid=25978/tid=25980] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) S 25977 25977 25739 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4085374608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) S 25977 25977 25739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4074888848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) S 25977 25977 25739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4064403088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) S 25977 25977 25739 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4053917328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) S 25977 25977 25739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4043431568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) S 25977 25977 25739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4032945808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=208332 CPUtime=0 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) S 25977 25977 25739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390855410 213331968 25796 33554432000 134512640 146736320 4293836000 4022460048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 217480
[startup+222.3 s]
/proc/loadavg: 12.88 9.21 4.90 17/194 25989
/proc/meminfo: memFree=29810320/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=300576 CPUtime=379.64 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 262779 0 0 0 37904 60 0 0 20 0 8 0 390843496 307789824 45233 33554432000 134512640 146736320 4293836000 4293828824 136007083 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25978/statm: 75144 45233 963 2985 0 72078 0
[pid=25978/tid=25980] ppid=25977 vsize=300576 CPUtime=26.24 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) R 25977 25977 25739 0 -1 4202560 26162 0 0 0 2616 8 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4085371520 139046505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=300576 CPUtime=25.98 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) R 25977 25977 25739 0 -1 4202560 18232 0 0 0 2592 6 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4074885328 136008042 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=300576 CPUtime=26.39 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 13183 0 0 0 2636 3 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4064398424 136007274 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=300576 CPUtime=26.32 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) R 25977 25977 25739 0 -1 4202560 27397 0 0 0 2625 7 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4053912604 135854505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=300576 CPUtime=26.13 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 10760 0 0 0 2611 2 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4043428840 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=300576 CPUtime=26.36 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 22137 0 0 0 2630 6 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4032942248 135983217 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=300576 CPUtime=26.27 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 14047 0 0 0 2623 4 0 0 20 0 8 0 390855410 307789824 45233 33554432000 134512640 146736320 4293836000 4022456528 136008069 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 379.64
Current children cumulated vsize (KiB) 309724
################
# More data... #
################
/proc/25978/statm: 77168 48440 963 2985 0 74102 0
[pid=25978/tid=25980] ppid=25977 vsize=308672 CPUtime=77.55 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) R 25977 25977 25739 0 -1 4202560 58252 0 0 0 7738 17 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4085371088 136008053 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=308672 CPUtime=69.06 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) R 25977 25977 25739 0 -1 4202560 46946 0 0 0 6892 14 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4074885272 136006931 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=308672 CPUtime=107.81 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 45368 0 0 0 10769 12 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4064399472 136384892 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=308672 CPUtime=98.81 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) R 25977 25977 25739 0 -1 4202560 56985 0 0 0 9866 15 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4053913492 136017787 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=308672 CPUtime=76.46 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 30977 0 0 0 7637 9 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4043428048 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=308672 CPUtime=83.48 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 42269 0 0 0 8335 13 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4032942288 136008328 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=308672 CPUtime=62.04 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 22802 0 0 0 6198 6 0 0 20 0 8 0 390855410 316080128 48440 33554432000 134512640 146736320 4293836000 4022456136 135526541 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 799.21
Current children cumulated vsize (KiB) 317820
[startup+402.3 s]
/proc/loadavg: 9.31 9.62 5.84 12/193 26159
/proc/meminfo: memFree=29921880/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=308920 CPUtime=1038.73 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 642417 0 0 0 103714 159 0 0 20 0 8 0 390843496 316334080 49210 33554432000 134512640 146736320 4293836000 4293828880 136008309 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 77230 49210 963 2985 0 74164 0
[pid=25978/tid=25980] ppid=25977 vsize=308920 CPUtime=107.36 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) R 25977 25977 25739 0 -1 4202560 83727 0 0 0 10713 23 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4085371088 136008441 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=308920 CPUtime=98.55 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) R 25977 25977 25739 0 -1 4202560 73505 0 0 0 9834 21 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4074885328 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=308920 CPUtime=138.53 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 71988 0 0 0 13834 19 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4064399428 136385174 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=308920 CPUtime=129.06 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) R 25977 25977 25739 0 -1 4202560 83485 0 0 0 12884 22 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4053913752 136007083 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=308920 CPUtime=106.3 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 56299 0 0 0 10614 16 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4043427880 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=308920 CPUtime=113.42 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 68785 0 0 0 11321 21 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4032942152 139042901 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=308920 CPUtime=91.72 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 22857 0 0 0 9164 8 0 0 20 0 8 0 390855410 316334080 49210 33554432000 134512640 146736320 4293836000 4022455440 136008177 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1038.73
Current children cumulated vsize (KiB) 318068
[startup+462.3 s]
/proc/loadavg: 7.56 8.98 5.87 11/193 26159
/proc/meminfo: memFree=29919316/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=309456 CPUtime=1247.94 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 804795 0 0 0 124591 203 0 0 20 0 8 0 390843496 316882944 49351 33554432000 134512640 146736320 4293836000 4293828824 136007037 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 77364 49351 963 2985 0 74298 0
[pid=25978/tid=25980] ppid=25977 vsize=309456 CPUtime=124.97 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) R 25977 25977 25739 0 -1 4202560 98875 0 0 0 12470 27 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4085371040 136006079 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=309456 CPUtime=139.29 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) R 25977 25977 25739 0 -1 4202560 113417 0 0 0 13897 32 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4074885176 136475763 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=309456 CPUtime=158.78 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 88889 0 0 0 15854 24 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4064399252 136017755 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=309456 CPUtime=147.27 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) R 25977 25977 25739 0 -1 4202560 99898 0 0 0 14700 27 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4053913808 136008328 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=309456 CPUtime=139.44 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 85051 0 0 0 13920 24 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4043427912 139042864 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=309456 CPUtime=134.3 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 88433 0 0 0 13402 28 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4032941244 135526874 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=309456 CPUtime=122.64 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 29283 0 0 0 12253 11 0 0 20 0 8 0 390855410 316882944 49351 33554432000 134512640 146736320 4293836000 4022456172 135457242 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1247.94
Current children cumulated vsize (KiB) 318604
[startup+522.3 s]
/proc/loadavg: 7.82 8.82 5.99 11/193 26159
/proc/meminfo: memFree=29913348/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=310568 CPUtime=1487.47 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 991031 0 0 0 148499 248 0 0 20 0 8 0 390843496 318021632 49778 33554432000 134512640 146736320 4293836000 4293828880 136008050 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 77642 49778 963 2985 0 74576 0
[pid=25978/tid=25980] ppid=25977 vsize=310568 CPUtime=154.86 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) S 25977 25977 25739 0 -1 4202560 124778 0 0 0 15453 33 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4085374608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=310568 CPUtime=168.24 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) S 25977 25977 25739 0 -1 4202560 139382 0 0 0 16785 39 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4074888848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=310568 CPUtime=188.89 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 101272 0 0 0 18862 27 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4064399432 139042888 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=310568 CPUtime=177.16 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) S 25977 25977 25739 0 -1 4202560 126873 0 0 0 17683 33 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4053917328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=310568 CPUtime=169.52 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 107923 0 0 0 16924 28 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4043427752 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=310568 CPUtime=164.42 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 110049 0 0 0 16408 34 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4032942288 136008160 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=310568 CPUtime=152.4 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 58598 0 0 0 15222 18 0 0 20 0 8 0 390855410 318021632 49778 33554432000 134512640 146736320 4293836000 4022455552 135443434 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1487.47
Current children cumulated vsize (KiB) 319716
[startup+582.3 s]
/proc/loadavg: 7.51 8.47 6.05 16/193 26160
/proc/meminfo: memFree=29911240/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=310568 CPUtime=1697.77 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 1109346 0 0 0 169497 280 0 0 20 0 8 0 390843496 318021632 49791 33554432000 134512640 146736320 4293836000 4293828672 135468708 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25978/statm: 77642 49791 963 2985 0 74576 0
[pid=25978/tid=25980] ppid=25977 vsize=310568 CPUtime=178.24 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) R 25977 25977 25739 0 -1 4202560 139282 0 0 0 17787 37 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4085371272 136388073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=310568 CPUtime=191.2 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) R 25977 25977 25739 0 -1 4202560 160479 0 0 0 19076 44 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4074885188 136385167 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=310568 CPUtime=225.63 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 102138 0 0 0 22535 28 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4064399428 136385179 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=310568 CPUtime=199.96 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) R 25977 25977 25739 0 -1 4202560 147535 0 0 0 19956 40 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4053913808 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=310568 CPUtime=202.86 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 135920 0 0 0 20250 36 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4043428432 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=310568 CPUtime=188.53 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 111132 0 0 0 18818 35 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4032942288 136008256 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=310568 CPUtime=175.47 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 81051 0 0 0 17524 23 0 0 20 0 8 0 390855410 318021632 49791 33554432000 134512640 146736320 4293836000 4022456776 135999699 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1697.77
Current children cumulated vsize (KiB) 319716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+608 s]
/proc/loadavg: 7.68 8.43 6.10 13/193 26160
/proc/meminfo: memFree=29909196/32873648 swapFree=7628/7628
[pid=25977] ppid=25975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25977/stat : 25977 (run) S 25975 25977 25739 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390843496 9367552 270 33554432000 4194304 5064252 140734164097520 140734164096432 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25977/statm: 2287 270 229 213 0 72 0
[pid=25978] ppid=25977 vsize=310568 CPUtime=1800.39 cores=1,3,5,7
/proc/25978/stat : 25978 (pb_cplex) R 25977 25977 25739 0 -1 4202496 1169527 0 0 0 179741 298 0 0 20 0 8 0 390843496 318021632 49798 33554432000 134512640 146736320 4293836000 4293828880 136008400 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25978/statm: 77642 49798 963 2985 0 74576 0
[pid=25978/tid=25980] ppid=25977 vsize=310568 CPUtime=190.95 cores=1,3,5,7
/proc/25978/task/25980/stat : 25980 (pb_cplex) R 25977 25977 25739 0 -1 4202560 150302 0 0 0 19055 40 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4085370948 136385177 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25981] ppid=25977 vsize=310568 CPUtime=203.89 cores=1,3,5,7
/proc/25978/task/25981/stat : 25981 (pb_cplex) R 25977 25977 25739 0 -1 4202560 173076 0 0 0 20341 48 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4074885712 136403114 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25978/tid=25982] ppid=25977 vsize=310568 CPUtime=238.06 cores=1,3,5,7
/proc/25978/task/25982/stat : 25982 (pb_cplex) R 25977 25977 25739 0 -1 4202560 102570 0 0 0 23777 29 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4064399432 139042902 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25983] ppid=25977 vsize=310568 CPUtime=212.83 cores=1,3,5,7
/proc/25978/task/25983/stat : 25983 (pb_cplex) R 25977 25977 25739 0 -1 4202560 160502 0 0 0 21239 44 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4053912404 136017481 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25984] ppid=25977 vsize=310568 CPUtime=215.7 cores=1,3,5,7
/proc/25978/task/25984/stat : 25984 (pb_cplex) R 25977 25977 25739 0 -1 4202560 146822 0 0 0 21530 40 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4043428048 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25978/tid=25985] ppid=25977 vsize=310568 CPUtime=201.39 cores=1,3,5,7
/proc/25978/task/25985/stat : 25985 (pb_cplex) R 25977 25977 25739 0 -1 4202560 111780 0 0 0 20103 36 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4032941228 135454096 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25978/tid=25986] ppid=25977 vsize=310568 CPUtime=188.59 cores=1,3,5,7
/proc/25978/task/25986/stat : 25986 (pb_cplex) R 25977 25977 25739 0 -1 4202560 92662 0 0 0 18833 26 0 0 20 0 8 0 390855410 318021632 49798 33554432000 134512640 146736320 4293836000 4022456392 139042885 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 319716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25977 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 608.017
CPU time (s): 1800.39
CPU user time (s): 1797.41
CPU system time (s): 2.98
CPU usage (%): 296.109
Max. virtual memory (cumulated for all children) (KiB): 320788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 354
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= 1
runsolver used 1.52277 second user time and 3.89341 second system time
The end