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-3739347-1339249116/watcher-3739347-1339249116 -o /tmp/evaluation-result-3739347-1339249116/solver-3739347-1339249116 -C 1800 -W 1900 -M 15500 run HOME/instance-3739347-1339249116.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: 6.01 4.52 4.82 3/175 1141
/proc/meminfo: memFree=29708000/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[startup+0.083076 s]
/proc/loadavg: 6.01 4.52 4.82 3/175 1141
/proc/meminfo: memFree=29708000/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 6.01 4.52 4.82 3/175 1141
/proc/meminfo: memFree=29708000/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300256 s]
/proc/loadavg: 6.01 4.52 4.82 3/175 1141
/proc/meminfo: memFree=29708000/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700249 s]
/proc/loadavg: 6.01 4.52 4.82 3/175 1141
/proc/meminfo: memFree=29708000/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/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: 6.01 4.52 4.82 3/177 1143
/proc/meminfo: memFree=29693120/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=32000 CPUtime=1.48 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 9305 0 0 0 144 4 0 0 20 0 1 0 391040056 32768000 4907 33554432000 134512640 146736320 4289268640 4289262840 136400583 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 8000 4907 907 2985 0 4934 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41148
[startup+3.10027 s]
/proc/loadavg: 5.69 4.48 4.80 3/177 1143
/proc/meminfo: memFree=29691888/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=32700 CPUtime=3.09 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 9940 0 0 0 304 5 0 0 20 0 1 0 391040056 33484800 5060 33554432000 134512640 146736320 4289268640 4289262968 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 8175 5060 907 2985 0 5109 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41848
[startup+6.30027 s]
/proc/loadavg: 5.69 4.48 4.80 3/177 1143
/proc/meminfo: memFree=29691516/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=148904 CPUtime=6.29 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 23279 0 0 0 616 13 0 0 20 0 8 0 391040056 152477696 13163 33554432000 134512640 146736320 4289268640 4289261404 135854505 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 37226 13163 962 2985 0 34160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158052
[startup+12.7004 s]
/proc/loadavg: 5.36 4.45 4.79 3/184 1157
/proc/meminfo: memFree=29637404/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=194244 CPUtime=25.04 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 37345 0 0 0 2475 29 0 0 20 0 8 0 391040056 198905856 23421 33554432000 134512640 146736320 4289268640 4289261312 136018936 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 48561 23421 965 2985 0 45495 0
[pid=1142/tid=1151] ppid=1141 vsize=194244 CPUtime=1.7 cores=1,3,5,7
/proc/1142/task/1151/stat : 1151 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1687 0 0 0 170 0 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4082311760 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1152] ppid=1141 vsize=194244 CPUtime=3.35 cores=1,3,5,7
/proc/1142/task/1152/stat : 1152 (pb_cplex) R 1141 1141 32287 0 -1 4202560 2119 0 0 0 332 3 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4092796968 139044591 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1153] ppid=1141 vsize=194244 CPUtime=2.71 cores=1,3,5,7
/proc/1142/task/1153/stat : 1153 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1867 0 0 0 266 5 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4103282840 136007053 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1154] ppid=1141 vsize=194244 CPUtime=1.11 cores=1,3,5,7
/proc/1142/task/1154/stat : 1154 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1867 0 0 0 111 0 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4113768656 136008309 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1155] ppid=1141 vsize=194244 CPUtime=2.74 cores=1,3,5,7
/proc/1142/task/1155/stat : 1155 (pb_cplex) R 1141 1141 32287 0 -1 4202560 2021 0 0 0 273 1 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4069997652 139023083 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1156] ppid=1141 vsize=194244 CPUtime=1.86 cores=1,3,5,7
/proc/1142/task/1156/stat : 1156 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1900 0 0 0 186 0 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4059512816 136385269 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1157] ppid=1141 vsize=194244 CPUtime=2.57 cores=1,3,5,7
/proc/1142/task/1157/stat : 1157 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1382 0 0 0 257 0 0 0 20 0 8 0 391040658 198905856 23421 33554432000 134512640 146736320 4289268640 4049027280 136008167 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 203392
[startup+25.5005 s]
/proc/loadavg: 5.92 4.60 4.83 10/184 1157
/proc/meminfo: memFree=29609752/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=197052 CPUtime=73.79 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 39404 0 0 0 7324 55 0 0 20 0 8 0 391040056 201781248 24251 33554432000 134512640 146736320 4289268640 4289261768 136000480 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1142/statm: 49263 24251 965 2985 0 46197 0
[pid=1142/tid=1151] ppid=1141 vsize=197052 CPUtime=8.76 cores=1,3,5,7
/proc/1142/task/1151/stat : 1151 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1840 0 0 0 876 0 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4082311240 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1152] ppid=1141 vsize=197052 CPUtime=8.75 cores=1,3,5,7
/proc/1142/task/1152/stat : 1152 (pb_cplex) R 1141 1141 32287 0 -1 4202560 2387 0 0 0 870 5 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4092797520 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1153] ppid=1141 vsize=197052 CPUtime=9.27 cores=1,3,5,7
/proc/1142/task/1153/stat : 1153 (pb_cplex) R 1141 1141 32287 0 -1 4202560 2312 0 0 0 918 9 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4103283280 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1154] ppid=1141 vsize=197052 CPUtime=7.86 cores=1,3,5,7
/proc/1142/task/1154/stat : 1154 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1970 0 0 0 783 3 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4113768656 136008170 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1155] ppid=1141 vsize=197052 CPUtime=8.31 cores=1,3,5,7
/proc/1142/task/1155/stat : 1155 (pb_cplex) R 1141 1141 32287 0 -1 4202560 2629 0 0 0 830 1 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4069998744 136007089 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1156] ppid=1141 vsize=197052 CPUtime=7.64 cores=1,3,5,7
/proc/1142/task/1156/stat : 1156 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1936 0 0 0 762 2 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4059513424 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1157] ppid=1141 vsize=197052 CPUtime=8.11 cores=1,3,5,7
/proc/1142/task/1157/stat : 1157 (pb_cplex) R 1141 1141 32287 0 -1 4202560 1532 0 0 0 799 12 0 0 20 0 8 0 391040658 201781248 24251 33554432000 134512640 146736320 4289268640 4049027664 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 73.79
Current children cumulated vsize (KiB) 206200
############
# WARNING:
# current cumulated CPU time (125.21 s) is less than in the last sample (125.22 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999451 s) to the 'lost time'.
[startup+39.9005 s]
/proc/loadavg: 6.60 4.81 4.90 4/184 1157
/proc/meminfo: memFree=29592440/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=210980 CPUtime=125.22 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 51217 0 0 0 12438 84 0 0 20 0 8 0 391040056 216043520 28087 33554432000 134512640 146736320 4289268640 4289262040 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1142/statm: 52745 28087 965 2985 0 49679 0
[pid=1142/tid=1151] ppid=1141 vsize=210980 CPUtime=14.41 cores=1,3,5,7
/proc/1142/task/1151/stat : 1151 (pb_cplex) S 1141 1141 32287 0 -1 4202560 3097 0 0 0 1440 1 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4082314896 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1152] ppid=1141 vsize=210980 CPUtime=16.45 cores=1,3,5,7
/proc/1142/task/1152/stat : 1152 (pb_cplex) S 1141 1141 32287 0 -1 4202560 3493 0 0 0 1639 6 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4092800656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1153] ppid=1141 vsize=210980 CPUtime=14.57 cores=1,3,5,7
/proc/1142/task/1153/stat : 1153 (pb_cplex) S 1141 1141 32287 0 -1 4202560 3551 0 0 0 1444 13 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4103286416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1154] ppid=1141 vsize=210980 CPUtime=13.42 cores=1,3,5,7
/proc/1142/task/1154/stat : 1154 (pb_cplex) S 1141 1141 32287 0 -1 4202560 3521 0 0 0 1337 5 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4113772176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1155] ppid=1141 vsize=210980 CPUtime=15.58 cores=1,3,5,7
/proc/1142/task/1155/stat : 1155 (pb_cplex) S 1141 1141 32287 0 -1 4202560 4233 0 0 0 1556 2 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4070002320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1156] ppid=1141 vsize=210980 CPUtime=14.15 cores=1,3,5,7
/proc/1142/task/1156/stat : 1156 (pb_cplex) S 1141 1141 32287 0 -1 4202560 3336 0 0 0 1402 13 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4059516560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1157] ppid=1141 vsize=210980 CPUtime=14.74 cores=1,3,5,7
/proc/1142/task/1157/stat : 1157 (pb_cplex) S 1141 1141 32287 0 -1 4202560 4367 0 0 0 1460 14 0 0 20 0 8 0 391040658 216043520 28087 33554432000 134512640 146736320 4289268640 4049030800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 125.22
Current children cumulated vsize (KiB) 220128
[startup+40.0003 s]
/proc/loadavg: 6.60 4.81 4.90 4/184 1157
/proc/meminfo: memFree=29592440/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=154512 CPUtime=125.21 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 51249 0 0 0 12433 88 0 0 20 0 1 0 391040056 158220288 22342 33554432000 134512640 146736320 4289268640 4289264880 137343152 0 0 4096 16387 0 0 0 17 7 0 0 0 0 0
/proc/1142/statm: 38628 22342 965 2985 0 35562 0
Current children cumulated CPU time (s) 125.21
Current children cumulated vsize (KiB) 163660
#
############
################
# More data... #
################
[pid=1142/tid=1172] ppid=1141 vsize=342132 CPUtime=71.85 cores=1,3,5,7
/proc/1142/task/1172/stat : 1172 (pb_cplex) R 1141 1141 32287 0 -1 4202560 32128 0 0 0 7165 20 0 0 20 0 8 0 391052198 350343168 54413 33554432000 134512640 146736320 4289268640 3950854352 136008450 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1173] ppid=1141 vsize=342132 CPUtime=61.85 cores=1,3,5,7
/proc/1142/task/1173/stat : 1173 (pb_cplex) R 1141 1141 32287 0 -1 4202560 42250 0 0 0 6167 18 0 0 20 0 8 0 391052198 350343168 54413 33554432000 134512640 146736320 4289268640 3940367504 136008168 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1174] ppid=1141 vsize=342132 CPUtime=82.57 cores=1,3,5,7
/proc/1142/task/1174/stat : 1174 (pb_cplex) R 1141 1141 32287 0 -1 4202560 19951 0 0 0 8230 27 0 0 20 0 8 0 391052198 350343168 54413 33554432000 134512640 146736320 4289268640 3929882832 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 764.54
Current children cumulated vsize (KiB) 351280
[startup+342.301 s]
/proc/loadavg: 7.37 5.88 5.23 10/184 1175
/proc/meminfo: memFree=29471032/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=336628 CPUtime=988.13 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 436382 0 0 0 98489 324 0 0 20 0 8 0 391040056 344707072 55240 33554432000 134512640 146736320 4289268640 4289261512 136388611 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1142/statm: 84157 55240 1000 2985 0 81091 0
[pid=1142/tid=1168] ppid=1141 vsize=336628 CPUtime=96.37 cores=1,3,5,7
/proc/1142/task/1168/stat : 1168 (pb_cplex) R 1141 1141 32287 0 -1 4202560 44270 0 0 0 9597 40 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 3983532308 136003529 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1169] ppid=1141 vsize=336628 CPUtime=84.48 cores=1,3,5,7
/proc/1142/task/1169/stat : 1169 (pb_cplex) R 1141 1141 32287 0 -1 4202560 50767 0 0 0 8422 26 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 3994018384 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1170] ppid=1141 vsize=336628 CPUtime=113.57 cores=1,3,5,7
/proc/1142/task/1170/stat : 1170 (pb_cplex) R 1141 1141 32287 0 -1 4202560 28800 0 0 0 11334 23 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 4089663528 139044580 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1171] ppid=1141 vsize=336628 CPUtime=89.57 cores=1,3,5,7
/proc/1142/task/1171/stat : 1171 (pb_cplex) R 1141 1141 32287 0 -1 4202560 38273 0 0 0 8935 22 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 4113768904 136001974 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1172] ppid=1141 vsize=336628 CPUtime=96.29 cores=1,3,5,7
/proc/1142/task/1172/stat : 1172 (pb_cplex) R 1141 1141 32287 0 -1 4202560 49474 0 0 0 9597 32 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 3950854312 135467759 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1173] ppid=1141 vsize=336628 CPUtime=89.95 cores=1,3,5,7
/proc/1142/task/1173/stat : 1173 (pb_cplex) R 1141 1141 32287 0 -1 4202560 58747 0 0 0 8966 29 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 3940369384 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1174] ppid=1141 vsize=336628 CPUtime=116.02 cores=1,3,5,7
/proc/1142/task/1174/stat : 1174 (pb_cplex) R 1141 1141 32287 0 -1 4202560 25239 0 0 0 11573 29 0 0 20 0 8 0 391052198 344707072 55240 33554432000 134512640 146736320 4289268640 3929882128 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 988.13
Current children cumulated vsize (KiB) 345776
[startup+402.3 s]
/proc/loadavg: 7.94 6.28 5.40 10/184 1175
/proc/meminfo: memFree=29468608/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=342116 CPUtime=1207.42 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 585697 0 0 0 120324 418 0 0 20 0 8 0 391040056 350326784 56838 33554432000 134512640 146736320 4289268640 4289260476 135526874 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1142/statm: 85529 56838 1001 2985 0 82463 0
[pid=1142/tid=1168] ppid=1141 vsize=342116 CPUtime=121.35 cores=1,3,5,7
/proc/1142/task/1168/stat : 1168 (pb_cplex) R 1141 1141 32287 0 -1 4202560 78380 0 0 0 12066 69 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 3983533080 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1169] ppid=1141 vsize=342116 CPUtime=110.71 cores=1,3,5,7
/proc/1142/task/1169/stat : 1169 (pb_cplex) R 1141 1141 32287 0 -1 4202560 74453 0 0 0 11036 35 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 3994018000 136008441 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1170] ppid=1141 vsize=342116 CPUtime=141.37 cores=1,3,5,7
/proc/1142/task/1170/stat : 1170 (pb_cplex) R 1141 1141 32287 0 -1 4202560 44971 0 0 0 14100 37 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 4089663916 136400428 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1171] ppid=1141 vsize=342116 CPUtime=116.16 cores=1,3,5,7
/proc/1142/task/1171/stat : 1171 (pb_cplex) R 1141 1141 32287 0 -1 4202560 60048 0 0 0 11585 31 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 4113768656 136008309 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1172] ppid=1141 vsize=342116 CPUtime=121.9 cores=1,3,5,7
/proc/1142/task/1172/stat : 1172 (pb_cplex) R 1141 1141 32287 0 -1 4202560 60042 0 0 0 12151 39 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 3950854236 135855165 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1173] ppid=1141 vsize=342116 CPUtime=117.49 cores=1,3,5,7
/proc/1142/task/1173/stat : 1173 (pb_cplex) R 1141 1141 32287 0 -1 4202560 81156 0 0 0 11702 47 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 3940368660 136004881 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1174] ppid=1141 vsize=342116 CPUtime=145.19 cores=1,3,5,7
/proc/1142/task/1174/stat : 1174 (pb_cplex) R 1141 1141 32287 0 -1 4202560 38085 0 0 0 14482 37 0 0 20 0 8 0 391052198 350326784 56838 33554432000 134512640 146736320 4289268640 3929883080 136000438 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1207.42
Current children cumulated vsize (KiB) 351264
[startup+462.301 s]
/proc/loadavg: 7.81 6.61 5.57 3/184 1176
/proc/meminfo: memFree=29455444/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=351020 CPUtime=1431.8 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) S 1141 1141 32287 0 -1 4202496 713564 0 0 0 142693 487 0 0 20 0 8 0 391040056 359444480 58848 33554432000 134512640 146736320 4289268640 4289265040 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1142/statm: 87755 58848 1001 2985 0 84689 0
[pid=1142/tid=1168] ppid=1141 vsize=351020 CPUtime=155.32 cores=1,3,5,7
/proc/1142/task/1168/stat : 1168 (pb_cplex) S 1141 1141 32287 0 -1 4202560 96463 0 0 0 15448 84 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 3983535760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1169] ppid=1141 vsize=351020 CPUtime=138.8 cores=1,3,5,7
/proc/1142/task/1169/stat : 1169 (pb_cplex) S 1141 1141 32287 0 -1 4202560 91908 0 0 0 13836 44 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 3994021520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1170] ppid=1141 vsize=351020 CPUtime=166.09 cores=1,3,5,7
/proc/1142/task/1170/stat : 1170 (pb_cplex) S 1141 1141 32287 0 -1 4202560 57845 0 0 0 16568 41 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 4089667216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1171] ppid=1141 vsize=351020 CPUtime=141.92 cores=1,3,5,7
/proc/1142/task/1171/stat : 1171 (pb_cplex) S 1141 1141 32287 0 -1 4202560 82870 0 0 0 14147 45 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 4113772176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1172] ppid=1141 vsize=351020 CPUtime=148.4 cores=1,3,5,7
/proc/1142/task/1172/stat : 1172 (pb_cplex) S 1141 1141 32287 0 -1 4202560 78834 0 0 0 14793 47 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 3950857872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1173] ppid=1141 vsize=351020 CPUtime=151.24 cores=1,3,5,7
/proc/1142/task/1173/stat : 1173 (pb_cplex) R 1141 1141 32287 0 -1 4202560 92286 0 0 0 15069 55 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 3940367552 135468704 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1174] ppid=1141 vsize=351020 CPUtime=170.85 cores=1,3,5,7
/proc/1142/task/1174/stat : 1174 (pb_cplex) S 1141 1141 32287 0 -1 4202560 50908 0 0 0 17041 44 0 0 20 0 8 0 391052198 359444480 58848 33554432000 134512640 146736320 4289268640 3929886352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1431.8
Current children cumulated vsize (KiB) 360168
[startup+522.3 s]
/proc/loadavg: 8.16 6.91 5.74 10/184 1176
/proc/meminfo: memFree=29448368/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=361668 CPUtime=1657.2 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 872503 0 0 0 165135 585 0 0 20 0 8 0 391040056 370348032 60887 33554432000 134512640 146736320 4289268640 4289261768 135999661 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1142/statm: 90417 60887 1001 2985 0 87351 0
[pid=1142/tid=1168] ppid=1141 vsize=361668 CPUtime=184.68 cores=1,3,5,7
/proc/1142/task/1168/stat : 1168 (pb_cplex) R 1141 1141 32287 0 -1 4202560 113209 0 0 0 18367 101 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 3983531392 135999757 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1169] ppid=1141 vsize=361668 CPUtime=170.17 cores=1,3,5,7
/proc/1142/task/1169/stat : 1169 (pb_cplex) R 1141 1141 32287 0 -1 4202560 118622 0 0 0 16961 56 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 3994017908 135450734 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1170] ppid=1141 vsize=361668 CPUtime=191.17 cores=1,3,5,7
/proc/1142/task/1170/stat : 1170 (pb_cplex) R 1141 1141 32287 0 -1 4202560 83912 0 0 0 19063 54 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 4089662580 135450973 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1171] ppid=1141 vsize=361668 CPUtime=168.13 cores=1,3,5,7
/proc/1142/task/1171/stat : 1171 (pb_cplex) R 1141 1141 32287 0 -1 4202560 110456 0 0 0 16756 57 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 4113768904 135999691 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1172] ppid=1141 vsize=361668 CPUtime=176.03 cores=1,3,5,7
/proc/1142/task/1172/stat : 1172 (pb_cplex) R 1141 1141 32287 0 -1 4202560 97919 0 0 0 17538 65 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 3950854212 136385177 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1173] ppid=1141 vsize=361668 CPUtime=180.49 cores=1,3,5,7
/proc/1142/task/1173/stat : 1173 (pb_cplex) R 1141 1141 32287 0 -1 4202560 106076 0 0 0 17982 67 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 3940367572 135455285 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1174] ppid=1141 vsize=361668 CPUtime=200.03 cores=1,3,5,7
/proc/1142/task/1174/stat : 1174 (pb_cplex) R 1141 1141 32287 0 -1 4202560 61449 0 0 0 19953 50 0 0 20 0 8 0 391052198 370348032 60887 33554432000 134512640 146736320 4289268640 3929881772 135454096 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1657.2
Current children cumulated vsize (KiB) 370816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+560.4 s]
/proc/loadavg: 8.46 7.14 5.86 10/184 1176
/proc/meminfo: memFree=29441548/32873844 swapFree=7124/7124
[pid=1141] ppid=1139 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (run) S 1139 1141 32287 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391040056 9367552 270 33554432000 4194304 5064252 140734571353536 140734571352448 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2287 270 229 213 0 72 0
[pid=1142] ppid=1141 vsize=365460 CPUtime=1800.16 cores=1,3,5,7
/proc/1142/stat : 1142 (pb_cplex) R 1141 1141 32287 0 -1 4202496 932460 0 0 0 179374 642 0 0 20 0 8 0 391040056 374231040 62430 33554432000 134512640 146736320 4289268640 4289261704 136388073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1142/statm: 91365 62430 1001 2985 0 88299 0
[pid=1142/tid=1168] ppid=1141 vsize=365460 CPUtime=201.4 cores=1,3,5,7
/proc/1142/task/1168/stat : 1168 (pb_cplex) R 1141 1141 32287 0 -1 4202560 120850 0 0 0 20034 106 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 3983531124 135450582 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1169] ppid=1141 vsize=365460 CPUtime=187.03 cores=1,3,5,7
/proc/1142/task/1169/stat : 1169 (pb_cplex) R 1141 1141 32287 0 -1 4202560 125885 0 0 0 18638 65 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 3994017572 135857501 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1142/tid=1170] ppid=1141 vsize=365460 CPUtime=210.96 cores=1,3,5,7
/proc/1142/task/1170/stat : 1170 (pb_cplex) R 1141 1141 32287 0 -1 4202560 89818 0 0 0 21037 59 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 4089663560 139042904 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1171] ppid=1141 vsize=365460 CPUtime=185.23 cores=1,3,5,7
/proc/1142/task/1171/stat : 1171 (pb_cplex) R 1141 1141 32287 0 -1 4202560 117396 0 0 0 18454 69 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 4113768656 136008047 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1142/tid=1172] ppid=1141 vsize=365460 CPUtime=194.44 cores=1,3,5,7
/proc/1142/task/1172/stat : 1172 (pb_cplex) R 1141 1141 32287 0 -1 4202560 105855 0 0 0 19373 71 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 3950854352 136008450 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1142/tid=1173] ppid=1141 vsize=365460 CPUtime=197.28 cores=1,3,5,7
/proc/1142/task/1173/stat : 1173 (pb_cplex) R 1141 1141 32287 0 -1 4202560 117189 0 0 0 19658 70 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 3940368592 136008176 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1142/tid=1174] ppid=1141 vsize=365460 CPUtime=220.31 cores=1,3,5,7
/proc/1142/task/1174/stat : 1174 (pb_cplex) R 1141 1141 32287 0 -1 4202560 66728 0 0 0 21976 55 0 0 20 0 8 0 391052198 374231040 62430 33554432000 134512640 146736320 4289268640 3929882832 136008446 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 374608
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 1141 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.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.00999451
# lost CPU user time (s): 0.0499954
# lost CPU system time (s): -0.04
Real time (s): 560.417
CPU time (s): 1800.17
CPU user time (s): 1793.79
CPU system time (s): 6.38
CPU usage (%): 321.22
Max. virtual memory (cumulated for all children) (KiB): 384500
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= 356
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.48277 second user time and 3.84341 second system time
The end