runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (58290 MiB free)
  memory of node 1: 64473 MiB (60346 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459349-1721895289/watcher-4459349-1721895289 -o /tmp/evaluation-result-4459349-1721895289/solver-4459349-1721895289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721890022-211006 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4459349-1721895289.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=214243, runsolver pid=214240

[startup+0.100096 s]*
/proc/loadavg: 5.03 4.33 4.22 5/251 214247
/proc/meminfo: memFree=121476768/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=131296 memory=19828 CPUtime=0.09 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 2898 0 0 0 7 2 0 0 20 0 1 0 25518786 134447104 4957 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 2147221247 0 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 32824 4957 2550 46 0 5420 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 141224 KiB
Current children cumulated memory: 22632 KiB

[startup+0.213495 s]*
/proc/loadavg: 5.03 4.33 4.22 6/252 214248
/proc/meminfo: memFree=121464028/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=145148 memory=30056 CPUtime=0.21 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 4297 0 0 0 16 5 0 0 20 0 2 0 25518786 148631552 7514 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 36287 7514 2710 46 0 8882 0
[pid=214245/tid=214248] ppid=214243 vsize=145148 memory=3471202400344241230 CPUtime=0 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) R 214243 214243 210993 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25518797 148631552 7514 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 155076 KiB
Current children cumulated memory: 32860 KiB

[startup+0.313661 s]*
/proc/loadavg: 5.03 4.33 4.22 5/252 214248
/proc/meminfo: memFree=121461208/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=149088 memory=33276 CPUtime=0.31 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 5087 0 0 0 22 9 0 0 20 0 2 0 25518786 152666112 8319 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 37272 8319 2710 46 0 9867 0
[pid=214245/tid=214248] ppid=214243 vsize=149088 memory=-9042036837254915942 CPUtime=0 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25518797 152666112 8319 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 159016 KiB
Current children cumulated memory: 36080 KiB

[startup+0.70045 s]
/proc/loadavg: 5.03 4.33 4.22 5/252 214248
/proc/meminfo: memFree=121437072/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=229456 memory=80752 CPUtime=0.69 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 15636 0 0 0 55 14 0 0 20 0 2 0 25518786 234962944 20188 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 57364 20188 3762 46 0 29959 0
[pid=214245/tid=214248] ppid=214243 vsize=229456 memory=0 CPUtime=0 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25518797 234962944 20188 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 239384 KiB
Current children cumulated memory: 83556 KiB

[startup+1.50038 s]
/proc/loadavg: 5.03 4.33 4.22 5/252 214248
/proc/meminfo: memFree=121395424/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=251116 memory=105300 CPUtime=1.48 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 20303 0 0 0 110 38 0 0 20 0 2 0 25518786 257142784 26325 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 62779 26325 3905 46 0 35374 0
[pid=214245/tid=214248] ppid=214243 vsize=251116 memory=105300 CPUtime=0 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25518797 257142784 26325 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 261044 KiB
Current children cumulated memory: 108104 KiB

[startup+3.11292 s]
/proc/loadavg: 5.03 4.33 4.22 5/252 214248
/proc/meminfo: memFree=121375868/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=266732 memory=122820 CPUtime=3.1 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 36263 0 0 0 257 53 0 0 20 0 2 0 25518786 273133568 30705 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 66683 30705 4032 46 0 39278 0
[pid=214245/tid=214248] ppid=214243 vsize=266732 memory=-9042036837254915942 CPUtime=0 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 25518797 273133568 30705 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 276660 KiB
Current children cumulated memory: 125624 KiB

[startup+6.3004 s]
/proc/loadavg: 5.27 4.39 4.24 5/252 214248
/proc/meminfo: memFree=121358828/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=294720 memory=142244 CPUtime=6.27 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 46471 0 0 0 549 78 0 0 20 0 2 0 25518786 301793280 35561 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 73680 35561 4047 46 0 46275 0
[pid=214245/tid=214248] ppid=214243 vsize=294720 memory=122820 CPUtime=0 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 2 0 25518797 301793280 35561 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 304648 KiB
Current children cumulated memory: 145048 KiB

[startup+12.7005 s]
/proc/loadavg: 5.48 4.45 4.26 5/252 214249
/proc/meminfo: memFree=121311992/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=318804 memory=185916 CPUtime=12.64 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 72286 0 0 0 1170 94 0 0 20 0 2 0 25518786 326455296 46479 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 79701 46479 4078 46 0 52296 0
[pid=214245/tid=214248] ppid=214243 vsize=318804 memory=15864 CPUtime=0.01 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 10 0 0 0 0 1 0 0 20 0 2 0 25518797 326455296 46479 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 328732 KiB
Current children cumulated memory: 188720 KiB

[startup+25.5004 s]
/proc/loadavg: 5.97 4.61 4.32 5/252 214251
/proc/meminfo: memFree=121288752/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=337312 memory=208260 CPUtime=25.39 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 118166 0 0 0 2426 113 0 0 20 0 2 0 25518786 345407488 52065 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 84328 52065 4078 46 0 56923 0
[pid=214245/tid=214248] ppid=214243 vsize=337312 memory=2804 CPUtime=0.02 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 19 0 0 0 0 2 0 0 20 0 2 0 25518797 345407488 52065 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 347240 KiB
Current children cumulated memory: 211064 KiB

[startup+51.1132 s]
/proc/loadavg: 6.47 4.83 4.40 5/249 214255
/proc/meminfo: memFree=121268788/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226408 CPUtime=50.96 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 138913 0 0 0 4979 117 0 0 20 0 2 0 25518786 366825472 56602 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56602 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=226408 CPUtime=0.05 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 23 0 0 0 1 4 0 0 20 0 2 0 25518797 366825472 56602 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229212 KiB

[startup+74.8409 s]
# the end of solver process 214243 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=73.444 s, system=1.21713 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2006 s]
/proc/loadavg: 6.47 4.83 4.40 5/249 214255
/proc/meminfo: memFree=121268788/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226408 CPUtime=51.05 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 138913 0 0 0 4988 117 0 0 20 0 2 0 25518786 366825472 56602 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56602 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=226408 CPUtime=0.05 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 23 0 0 0 1 4 0 0 20 0 2 0 25518797 366825472 56602 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229212 KiB

[startup+64.0004 s]*
/proc/loadavg: 5.92 4.79 4.39 5/249 214258
/proc/meminfo: memFree=121267680/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226432 CPUtime=63.84 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 146828 0 0 0 6266 118 0 0 20 0 2 0 25518786 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56608 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=7825174237190330781 CPUtime=0.06 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 26 0 0 0 2 4 0 0 20 0 2 0 25518797 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229236 KiB

[startup+70.4004 s]
/proc/loadavg: 5.85 4.79 4.40 5/249 214258
/proc/meminfo: memFree=121267276/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226432 CPUtime=70.22 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 146994 0 0 0 6903 119 0 0 20 0 2 0 25518786 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56608 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=15864 CPUtime=0.07 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 26 0 0 0 2 5 0 0 20 0 2 0 25518797 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 70.22 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229236 KiB

[startup+72.0004 s]*
/proc/loadavg: 5.85 4.79 4.40 5/249 214259
/proc/meminfo: memFree=121267132/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226432 CPUtime=71.83 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 147293 0 0 0 7064 119 0 0 20 0 2 0 25518786 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56608 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=7825174237190330781 CPUtime=0.07 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 26 0 0 0 2 5 0 0 20 0 2 0 25518797 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 71.83 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229236 KiB

[startup+73.6004 s]
/proc/loadavg: 5.85 4.79 4.40 6/249 214259
/proc/meminfo: memFree=121267144/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226432 CPUtime=73.42 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 152388 0 0 0 7222 120 0 0 20 0 2 0 25518786 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56608 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=15864 CPUtime=0.07 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 29 0 0 0 2 5 0 0 20 0 2 0 25518797 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 73.42 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229236 KiB

[startup+74.4004 s]
/proc/loadavg: 5.70 4.78 4.39 5/249 214259
/proc/meminfo: memFree=121267268/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226432 CPUtime=74.21 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 152739 0 0 0 7301 120 0 0 20 0 2 0 25518786 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56608 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=226432 CPUtime=0.07 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 29 0 0 0 2 5 0 0 20 0 2 0 25518797 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 74.21 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229236 KiB

[startup+74.8004 s]
/proc/loadavg: 5.70 4.78 4.39 5/249 214259
/proc/meminfo: memFree=121267268/131655788 swapFree=131058856/131071996
[pid=214243] ppid=214240 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/214243/stat : 214243 (run-glibc-2.34.) S 214240 214243 210993 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 25518785 10166272 701 134679101440 93902603247616 93902604326936 140730052134224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93902606425392 93902606472580 93902614650880 140730052142027 140730052142172 140730052142172 140730052149187 0
/proc/214243/statm: 2482 701 624 264 0 133 0
[pid=214245] ppid=214243 vsize=358228 memory=226432 CPUtime=74.61 cores=4,6
/proc/214245/stat : 214245 (ld-linux-x86-64) R 214243 214243 210993 0 -1 4194304 154313 0 0 0 7341 120 0 0 20 0 2 0 25518786 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
/proc/214245/statm: 89557 56608 4078 46 0 62152 0
[pid=214245/tid=214248] ppid=214243 vsize=358228 memory=1364340 CPUtime=0.07 cores=4,6
/proc/214245/task/214248/stat : 214248 (ld-linux-x86-64) S 214243 214243 210993 0 -1 1077936192 29 0 0 0 2 5 0 0 20 0 2 0 25518797 366825472 56608 134679101440 140312685842432 140312686030044 140735752775232 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140312688130944 140312688140392 93825001664512 140735752782691 140735752782843 140735752782843 140735752789938 0
Current children cumulated CPU time: 74.61 s
Current children cumulated vsize: 368156 KiB
Current children cumulated memory: 229236 KiB

Child status: 0

Real time (s): 74.841
CPU time (s): 74.6611
CPU user time (s): 73.444
CPU system time (s): 1.21713
CPU usage (%): 99.7596
Max. virtual memory (cumulated for all children) (KiB): 368156
Max. memory (cumulated for all children) (KiB): 229236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.444
system time used= 1.21713
maximum resident set size= 226512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159687
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= 7481
involuntary context switches= 69


# summary of solver processes directly reported to runsolver:
#   pid: 214243
#   total CPU time (s): 74.6611
#   total CPU user time (s): 73.444
#   total CPU system time (s): 1.21713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.410424 second user time and 0.849824 second system time

The end