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: 63708 MiB (50425 MiB free)
  memory of node 1: 64465 MiB (54804 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519042-1751535449/watcher-4519042-1751535449 -o /tmp/evaluation-result-4519042-1751535449/solver-4519042-1751535449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751532783-73696 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4519042-1751535449.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75198, runsolver pid=75195
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 5.14 5.12 4.85 6/267 75199
/proc/meminfo: memFree=107751400/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=0.09 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 9 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+0.205652 s]*
/proc/loadavg: 5.14 5.12 4.85 6/267 75199
/proc/meminfo: memFree=107751400/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=0.2 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 20 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+0.305581 s]*
/proc/loadavg: 5.14 5.12 4.85 6/267 75199
/proc/meminfo: memFree=107751400/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=0.3 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 30 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+0.700187 s]
/proc/loadavg: 5.14 5.12 4.85 6/267 75199
/proc/meminfo: memFree=107751400/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=0.69 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 69 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+1.50018 s]
/proc/loadavg: 5.14 5.12 4.85 6/267 75199
/proc/meminfo: memFree=107751164/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=1.48 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 148 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+3.10543 s]
/proc/loadavg: 5.14 5.12 4.85 6/267 75199
/proc/meminfo: memFree=107751164/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=3.09 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 309 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+6.30018 s]
/proc/loadavg: 5.13 5.11 4.85 6/267 75199
/proc/meminfo: memFree=107751192/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=41960 memory=7424 CPUtime=6.27 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) R 75195 75198 73685 0 -1 4194304 845 0 0 0 627 0 0 0 20 0 1 0 69223488 42967040 1856 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+12.7002 s]
/proc/loadavg: 5.12 5.11 4.85 6/268 75202
/proc/meminfo: memFree=107719444/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=36856 memory=20180 CPUtime=2.59 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 3548 0 0 0 257 2 0 0 20 0 1 0 69224496 37740544 5045 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 9214 5045 1152 1011 0 7981 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 162660 KiB
Current children cumulated memory: 48448 KiB

[startup+25.5002 s]
/proc/loadavg: 5.09 5.11 4.86 6/267 75247
/proc/meminfo: memFree=108059964/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=44276 memory=31632 CPUtime=15.36 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 5393 0 0 0 1528 8 0 0 20 0 1 0 69224496 45338624 7908 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 11069 7908 1152 1011 0 9836 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 170080 KiB
Current children cumulated memory: 59900 KiB

[startup+51.1053 s]
/proc/loadavg: 5.12 5.11 4.87 6/268 75390
/proc/meminfo: memFree=108021396/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=67444 memory=51480 CPUtime=40.89 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 8562 0 0 0 4068 21 0 0 20 0 1 0 69224496 69062656 12870 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 16861 12870 1152 1011 0 15628 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 193248 KiB
Current children cumulated memory: 79748 KiB

[startup+102.3 s]
/proc/loadavg: 5.34 5.17 4.90 6/267 75532
/proc/meminfo: memFree=106411756/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=75844 memory=59928 CPUtime=91.93 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 10690 0 0 0 9158 35 0 0 20 0 1 0 69224496 77664256 14982 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 18961 14982 1152 1011 0 17728 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 88196 KiB

[startup+162.3 s]
/proc/loadavg: 5.25 5.17 4.92 6/268 75535
/proc/meminfo: memFree=103172572/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=86704 memory=76956 CPUtime=151.76 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 13420 0 0 0 15123 53 0 0 20 0 1 0 69224496 88784896 19239 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 21676 19239 1152 1011 0 20443 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 212508 KiB
Current children cumulated memory: 105224 KiB

[startup+222.3 s]
/proc/loadavg: 5.15 5.15 4.93 6/268 75537
/proc/meminfo: memFree=103125540/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=89680 memory=79900 CPUtime=211.59 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 14180 0 0 0 21082 77 0 0 20 0 1 0 69224496 91832320 19975 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 22420 19975 1152 1011 0 21187 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 215484 KiB
Current children cumulated memory: 108168 KiB

[startup+282.3 s]
/proc/loadavg: 5.10 5.14 4.94 6/270 75543
/proc/meminfo: memFree=103109640/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=93620 memory=83868 CPUtime=271.42 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15184 0 0 0 27044 98 0 0 20 0 1 0 69224496 95866880 20967 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23405 20967 1152 1011 0 22172 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 219424 KiB
Current children cumulated memory: 112136 KiB

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

# cumulated CPU time of all completed processes:  user=301.617 s, system=1.09252 s

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

[startup+294.4 s]
/proc/loadavg: 5.16 5.15 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=93768 memory=84124 CPUtime=283.49 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15235 0 0 0 28247 102 0 0 20 0 1 0 69224496 96018432 21031 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23442 21031 1152 1011 0 22209 0
Current children cumulated CPU time: 293.54 s
Current children cumulated vsize: 219572 KiB
Current children cumulated memory: 112392 KiB

[startup+297.6 s]
/proc/loadavg: 5.16 5.15 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=94080 memory=84380 CPUtime=286.67 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15297 0 0 0 28563 104 0 0 20 0 1 0 69224496 96337920 21095 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23520 21095 1152 1011 0 22287 0
Current children cumulated CPU time: 296.72 s
Current children cumulated vsize: 219884 KiB
Current children cumulated memory: 112648 KiB

[startup+300.8 s]
/proc/loadavg: 5.15 5.14 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=94216 memory=84508 CPUtime=289.87 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15327 0 0 0 28882 105 0 0 20 0 1 0 69224496 96477184 21127 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23554 21127 1152 1011 0 22321 0
Current children cumulated CPU time: 299.92 s
Current children cumulated vsize: 220020 KiB
Current children cumulated memory: 112776 KiB

[startup+302.4 s]
/proc/loadavg: 5.15 5.14 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=94888 memory=85276 CPUtime=291.46 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15520 0 0 0 29040 106 0 0 20 0 1 0 69224496 97165312 21319 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23722 21319 1152 1011 0 22489 0
Current children cumulated CPU time: 301.51 s
Current children cumulated vsize: 220692 KiB
Current children cumulated memory: 113544 KiB

[startup+303.2 s]
/proc/loadavg: 5.15 5.14 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=94888 memory=85276 CPUtime=292.26 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15520 0 0 0 29119 107 0 0 20 0 1 0 69224496 97165312 21319 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23722 21319 1152 1011 0 22489 0
Current children cumulated CPU time: 302.31 s
Current children cumulated vsize: 220692 KiB
Current children cumulated memory: 113544 KiB

[startup+303.4 s]
/proc/loadavg: 5.15 5.14 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=95532 memory=85788 CPUtime=292.46 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15656 0 0 0 29139 107 0 0 20 0 1 0 69224496 97824768 21447 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23883 21447 1152 1011 0 22650 0
Current children cumulated CPU time: 302.51 s
Current children cumulated vsize: 221336 KiB
Current children cumulated memory: 114056 KiB

[startup+303.5 s]
/proc/loadavg: 5.15 5.14 4.95 6/269 75543
/proc/meminfo: memFree=103093672/131249988 swapFree=33010416/33010684
[pid=75198] ppid=75195 vsize=125804 memory=28268 CPUtime=10.05 cores=4,6
/proc/75198/stat : 75198 (LSIPExact) S 75195 75198 73685 0 -1 4194304 3991 227 0 0 1005 0 0 0 20 0 1 0 69223488 128823296 7067 18446744073709551615 94295135629312 94295162885713 140724459144944 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94295171388552 94295171820160 94295176740864 140724459153754 140724459153930 140724459153930 140724459159532 0
/proc/75198/statm: 31451 7067 3456 6655 0 6100 0
[pid=75202] ppid=75198 vsize=95532 memory=85788 CPUtime=292.56 cores=4,6
/proc/75202/stat : 75202 (Exact) R 75198 75202 75202 0 -1 4194304 15656 0 0 0 29149 107 0 0 20 0 1 0 69224496 97824768 21447 18446744073709551615 4198400 8335837 140735410390224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 34529280 140735410395316 140735410395677 140735410395677 140735410401231 0
/proc/75202/statm: 23883 21447 1152 1011 0 22650 0
Current children cumulated CPU time: 302.61 s
Current children cumulated vsize: 221336 KiB
Current children cumulated memory: 114056 KiB

Child status: 0

Real time (s): 303.574
CPU time (s): 302.71
CPU user time (s): 301.617
CPU system time (s): 1.09252
CPU usage (%): 99.7154
Max. virtual memory (cumulated for all children) (KiB): 221336
Max. memory (cumulated for all children) (KiB): 114056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.617
system time used= 1.09252
maximum resident set size= 85788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19877
page faults= 0
swaps= 0
block input operations= 160
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 418
involuntary context switches= 330


# summary of solver processes directly reported to runsolver:
#   pid: 75198
#   total CPU time (s): 302.71
#   total CPU user time (s): 301.617
#   total CPU system time (s): 1.09252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.556827 second user time and 1.46752 second system time

The end