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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483625-1751579235/watcher-4483625-1751579235 -o /tmp/evaluation-result-4483625-1751579235/solver-4483625-1751579235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751579235-81450 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1071170395 --ls=360 HOME/instance-4483625-1751579235.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=81505, runsolver pid=81490

[startup+0.100057 s]*
/proc/loadavg: 2.57 3.73 3.96 6/264 81506
/proc/meminfo: memFree=129931568/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=0.09 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 9 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+0.205277 s]*
/proc/loadavg: 2.57 3.73 3.96 5/264 81506
/proc/meminfo: memFree=129931744/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=0.19 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 19 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+0.304761 s]*
/proc/loadavg: 2.57 3.73 3.96 6/264 81506
/proc/meminfo: memFree=129931744/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=0.29 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 29 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+0.700096 s]
/proc/loadavg: 2.57 3.73 3.96 6/264 81506
/proc/meminfo: memFree=129931744/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=0.68 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 68 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+1.50009 s]
/proc/loadavg: 2.57 3.73 3.96 6/264 81506
/proc/meminfo: memFree=129931920/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=1.48 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 148 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+3.10436 s]
/proc/loadavg: 2.69 3.74 3.97 6/264 81506
/proc/meminfo: memFree=129932328/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=3.08 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 308 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+6.30009 s]
/proc/loadavg: 2.69 3.74 3.97 6/264 81506
/proc/meminfo: memFree=129932416/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=6.27 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 627 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+12.7001 s]
/proc/loadavg: 2.89 3.75 3.97 6/264 81507
/proc/meminfo: memFree=129932892/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=12.66 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 1266 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+25.5001 s]
/proc/loadavg: 3.06 3.76 3.97 6/264 81507
/proc/meminfo: memFree=129932748/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=25.43 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 2543 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+51.1044 s]
/proc/loadavg: 3.38 3.78 3.97 6/264 81507
/proc/meminfo: memFree=129932688/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=50.98 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 5098 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.83 3.98 6/265 81510
/proc/meminfo: memFree=129932716/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=102.06 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 10206 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.88 3.99 6/266 81513
/proc/meminfo: memFree=129924524/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=161.93 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 16193 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.94 4.00 6/266 81515
/proc/meminfo: memFree=129924124/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=221.81 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 22181 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.95 4.00 6/266 81517
/proc/meminfo: memFree=129924492/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=281.68 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 28168 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.99 4.01 6/265 81519
/proc/meminfo: memFree=129923880/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=31840 memory=8412 CPUtime=341.55 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 1279 0 0 0 34155 0 0 0 20 0 1 0 73600102 32604160 2103 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 7960 2103 1024 1200 0 6440 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 8412 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.02 4.01 6/264 81521
/proc/meminfo: memFree=128947320/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=161112 memory=132880 CPUtime=401.41 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 23485 0 0 0 40110 31 0 0 20 0 1 0 73600102 164978688 33220 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 40278 33220 1248 1200 0 38758 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 161112 KiB
Current children cumulated memory: 132880 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.03 4.01 6/262 81525
/proc/meminfo: memFree=128793244/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=164820 memory=136336 CPUtime=461.26 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 24360 0 0 0 46063 63 0 0 20 0 1 0 73600102 168775680 34084 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 41205 34084 1248 1200 0 39685 0
Current children cumulated CPU time: 461.26 s

################
# More data... #
################

/proc/loadavg: 4.10 4.04 4.01 6/263 81532
/proc/meminfo: memFree=128685504/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=168984 memory=140560 CPUtime=521.07 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 25433 0 0 0 52016 91 0 0 20 0 1 0 73600102 173039616 35140 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 42246 35140 1248 1200 0 40726 0
Current children cumulated CPU time: 521.07 s
Current children cumulated vsize: 168984 KiB
Current children cumulated memory: 140560 KiB

[startup+582.3 s]
/proc/loadavg: 4.08 4.05 4.01 6/263 81534
/proc/meminfo: memFree=128662432/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=169848 memory=141584 CPUtime=580.87 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 25720 0 0 0 57967 120 0 0 20 0 1 0 73600102 173924352 35396 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 42462 35396 1248 1200 0 40942 0
Current children cumulated CPU time: 580.87 s
Current children cumulated vsize: 169848 KiB
Current children cumulated memory: 141584 KiB

[startup+642.3 s]
/proc/loadavg: 4.15 4.07 4.02 6/263 81536
/proc/meminfo: memFree=128642312/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=170484 memory=142224 CPUtime=640.66 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 25889 0 0 0 63910 156 0 0 20 0 1 0 73600102 174575616 35556 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 42621 35556 1248 1200 0 41101 0
Current children cumulated CPU time: 640.66 s
Current children cumulated vsize: 170484 KiB
Current children cumulated memory: 142224 KiB

[startup+702.3 s]
/proc/loadavg: 4.05 4.05 4.01 6/263 81538
/proc/meminfo: memFree=128533584/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=170856 memory=142736 CPUtime=700.45 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26007 0 0 0 69855 190 0 0 20 0 1 0 73600102 174956544 35684 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 42714 35684 1248 1200 0 41194 0
Current children cumulated CPU time: 700.45 s
Current children cumulated vsize: 170856 KiB
Current children cumulated memory: 142736 KiB

[startup+762.3 s]
/proc/loadavg: 4.10 4.07 4.02 6/264 81541
/proc/meminfo: memFree=128453920/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=171736 memory=143504 CPUtime=760.25 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26227 0 0 0 75803 222 0 0 20 0 1 0 73600102 175857664 35876 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 42934 35876 1248 1200 0 41414 0
Current children cumulated CPU time: 760.25 s
Current children cumulated vsize: 171736 KiB
Current children cumulated memory: 143504 KiB

[startup+822.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/265 81555
/proc/meminfo: memFree=128449360/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172216 memory=144016 CPUtime=820.05 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26356 0 0 0 81751 254 0 0 20 0 1 0 73600102 176349184 36004 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43054 36004 1248 1200 0 41534 0
Current children cumulated CPU time: 820.05 s
Current children cumulated vsize: 172216 KiB
Current children cumulated memory: 144016 KiB

[startup+882.3 s]
/proc/loadavg: 4.17 4.10 4.03 6/266 81573
/proc/meminfo: memFree=128413256/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172520 memory=144272 CPUtime=879.84 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26439 0 0 0 87699 285 0 0 20 0 1 0 73600102 176660480 36068 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43130 36068 1248 1200 0 41610 0
Current children cumulated CPU time: 879.84 s
Current children cumulated vsize: 172520 KiB
Current children cumulated memory: 144272 KiB

[startup+942.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/266 81575
/proc/meminfo: memFree=128388524/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144528 CPUtime=939.64 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26509 0 0 0 93649 315 0 0 20 0 1 0 73600102 176902144 36132 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36132 1248 1200 0 41669 0
Current children cumulated CPU time: 939.64 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144528 KiB

[startup+957.762 s]
# the end of solver process 81505 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=951.817 s, system=3.23961 s

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

[startup+947.2 s]
/proc/loadavg: 4.12 4.09 4.03 6/266 81575
/proc/meminfo: memFree=128389036/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144528 CPUtime=944.53 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26514 0 0 0 94135 318 0 0 20 0 1 0 73600102 176902144 36132 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36132 1248 1200 0 41669 0
Current children cumulated CPU time: 944.53 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144528 KiB

[startup+953.6 s]
/proc/loadavg: 4.19 4.11 4.03 6/266 81575
/proc/meminfo: memFree=128335980/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144656 CPUtime=950.89 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26522 0 0 0 94769 320 0 0 20 0 1 0 73600102 176902144 36164 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36164 1248 1200 0 41669 0
Current children cumulated CPU time: 950.89 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144656 KiB

[startup+955.2 s]
/proc/loadavg: 4.19 4.11 4.03 6/266 81575
/proc/meminfo: memFree=128349968/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144656 CPUtime=952.49 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26522 0 0 0 94928 321 0 0 20 0 1 0 73600102 176902144 36164 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36164 1248 1200 0 41669 0
Current children cumulated CPU time: 952.49 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144656 KiB

[startup+956.8 s]
/proc/loadavg: 4.19 4.11 4.03 6/266 81575
/proc/meminfo: memFree=128353308/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144656 CPUtime=954.09 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26522 0 0 0 95087 322 0 0 20 0 1 0 73600102 176902144 36164 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36164 1248 1200 0 41669 0
Current children cumulated CPU time: 954.09 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144656 KiB

[startup+957.2 s]
/proc/loadavg: 4.18 4.11 4.03 6/266 81575
/proc/meminfo: memFree=128353560/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144656 CPUtime=954.48 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26522 0 0 0 95126 322 0 0 20 0 1 0 73600102 176902144 36164 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36164 1248 1200 0 41669 0
Current children cumulated CPU time: 954.48 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144656 KiB

[startup+957.6 s]
/proc/loadavg: 4.18 4.11 4.03 6/266 81575
/proc/meminfo: memFree=128353560/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144656 CPUtime=954.88 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26522 0 0 0 95166 322 0 0 20 0 1 0 73600102 176902144 36164 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36164 1248 1200 0 41669 0
Current children cumulated CPU time: 954.88 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144656 KiB

[startup+957.7 s]
/proc/loadavg: 4.18 4.11 4.03 6/266 81575
/proc/meminfo: memFree=128353560/131250000 swapFree=33008356/33010684
[pid=81505] ppid=81490 vsize=172756 memory=144656 CPUtime=954.99 cores=5,7
/proc/81505/stat : 81505 (Exact) R 81490 81505 81437 0 -1 4194304 26522 0 0 0 95176 323 0 0 20 0 1 0 73600102 176902144 36164 18446744073709551615 4198400 9112445 140724061576848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42913792 140724061579578 140724061579757 140724061579757 140724061585359 0
/proc/81505/statm: 43189 36164 1248 1200 0 41669 0
Current children cumulated CPU time: 954.99 s
Current children cumulated vsize: 172756 KiB
Current children cumulated memory: 144656 KiB

Child status: 30

Real time (s): 957.762
CPU time (s): 955.057
CPU user time (s): 951.817
CPU system time (s): 3.23961
CPU usage (%): 99.7176
Max. virtual memory (cumulated for all children) (KiB): 172756
Max. memory (cumulated for all children) (KiB): 144656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 951.817
system time used= 3.23961
maximum resident set size= 144784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26524
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= 564


# summary of solver processes directly reported to runsolver:
#   pid: 81505
#   total CPU time (s): 955.057
#   total CPU user time (s): 951.817
#   total CPU system time (s): 3.23961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55117 second user time and 3.53323 second system time

The end