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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515125-1751224879/watcher-4515125-1751224879 -o /tmp/evaluation-result-4515125-1751224879/solver-4515125-1751224879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751218728-27147 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4515125-1751224879.opb 

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=27908, runsolver pid=27905
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 4.13 4.10 4.09 5/254 27912
/proc/meminfo: memFree=130025104/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=8608 memory=7060 CPUtime=0.07 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 1582 0 0 0 7 0 0 0 20 0 1 0 38167050 8814592 1765 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 2152 1765 544 696 0 1313 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 12800 KiB
Current children cumulated memory: 10132 KiB

[startup+0.213661 s]*
/proc/loadavg: 4.13 4.10 4.09 6/254 27912
/proc/meminfo: memFree=130009004/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=24556 memory=21812 CPUtime=0.18 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 6275 0 0 0 16 2 0 0 20 0 1 0 38167050 25145344 5453 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 6139 5453 544 696 0 5300 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28748 KiB
Current children cumulated memory: 24884 KiB

[startup+0.313446 s]*
/proc/loadavg: 4.13 4.10 4.09 5/254 27912
/proc/meminfo: memFree=130009004/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=25404 memory=21216 CPUtime=0.27 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 8004 0 0 0 25 2 0 0 20 0 1 0 38167050 26013696 5304 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 6351 5304 544 696 0 5512 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 29596 KiB
Current children cumulated memory: 24288 KiB

[startup+0.700384 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 27912
/proc/meminfo: memFree=130003532/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45036 memory=37440 CPUtime=0.65 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 11004 0 0 0 62 3 0 0 20 0 1 0 38167050 46116864 9360 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11259 9360 544 696 0 10420 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 49228 KiB
Current children cumulated memory: 40512 KiB

[startup+1.50041 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 27912
/proc/meminfo: memFree=130000508/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=49136 memory=40984 CPUtime=1.44 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 11384 0 0 0 141 3 0 0 20 0 1 0 38167050 50315264 10246 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 12284 10246 544 696 0 11445 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 53328 KiB
Current children cumulated memory: 44056 KiB

[startup+3.11304 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 27912
/proc/meminfo: memFree=129996732/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=34796 memory=31168 CPUtime=3.05 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 11647 0 0 0 302 3 0 0 20 0 1 0 38167050 35631104 7792 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 8699 7792 544 696 0 7860 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 38988 KiB
Current children cumulated memory: 34240 KiB

[startup+6.30036 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 27912
/proc/meminfo: memFree=129996732/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=36844 memory=32064 CPUtime=6.23 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 11851 0 0 0 620 3 0 0 20 0 1 0 38167050 37728256 8016 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 9211 8016 544 696 0 8372 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 41036 KiB
Current children cumulated memory: 35136 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.11 4.10 5/254 27912
/proc/meminfo: memFree=129991880/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=40940 memory=33768 CPUtime=12.61 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 15489 0 0 0 1257 4 0 0 20 0 1 0 38167050 41922560 8442 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 10235 8442 544 696 0 9396 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 45132 KiB
Current children cumulated memory: 36840 KiB

[startup+25.5004 s]
/proc/loadavg: 4.31 4.14 4.11 5/254 27913
/proc/meminfo: memFree=129970796/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=36836 CPUtime=25.38 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 21399 0 0 0 2532 6 0 0 20 0 1 0 38167050 46120960 9209 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 9209 544 696 0 10421 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 39908 KiB

[startup+51.1131 s]
/proc/loadavg: 4.64 4.24 4.14 5/254 27913
/proc/meminfo: memFree=129943512/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=39700 CPUtime=50.92 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 65539 0 0 0 5076 16 0 0 20 0 1 0 38167050 46120960 9925 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 9925 544 696 0 10421 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 42772 KiB

[startup+73.4639 s]
# the end of solver process 27908 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=72.9648 s, system=0.263402 s

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

[startup+51.2005 s]
/proc/loadavg: 4.64 4.24 4.14 5/254 27913
/proc/meminfo: memFree=129943512/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=39316 CPUtime=51 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 66014 0 0 0 5084 16 0 0 20 0 1 0 38167050 46120960 9829 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 9829 544 696 0 10421 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 42388 KiB

[startup+64.0003 s]*
/proc/loadavg: 4.69 4.27 4.15 5/254 27914
/proc/meminfo: memFree=129953508/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=39700 CPUtime=63.79 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 82062 0 0 0 6358 21 0 0 20 0 1 0 38167050 46120960 9925 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 9925 544 696 0 10421 0
Current children cumulated CPU time: 63.79 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 42772 KiB

[startup+70.4003 s]
/proc/loadavg: 4.72 4.28 4.15 5/254 27914
/proc/meminfo: memFree=129953256/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=40188 CPUtime=70.15 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 96895 0 0 0 6991 24 0 0 20 0 1 0 38167050 46120960 10047 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 10047 544 696 0 10421 0
Current children cumulated CPU time: 70.15 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 43260 KiB

[startup+72.0003 s]*
/proc/loadavg: 4.74 4.29 4.16 5/254 27914
/proc/meminfo: memFree=129960476/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=39676 CPUtime=71.76 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 98735 0 0 0 7151 25 0 0 20 0 1 0 38167050 46120960 9919 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 9919 544 696 0 10421 0
Current children cumulated CPU time: 71.76 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 42748 KiB

[startup+72.8003 s]
/proc/loadavg: 4.74 4.29 4.16 5/254 27914
/proc/meminfo: memFree=129960476/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=39804 CPUtime=72.55 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 99453 0 0 0 7230 25 0 0 20 0 1 0 38167050 46120960 9951 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 9951 544 696 0 10421 0
Current children cumulated CPU time: 72.55 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 42876 KiB

[startup+73.2003 s]
/proc/loadavg: 4.74 4.29 4.16 5/254 27914
/proc/meminfo: memFree=129960476/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=40444 CPUtime=72.95 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 99625 0 0 0 7270 25 0 0 20 0 1 0 38167050 46120960 10111 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 10111 544 696 0 10421 0
Current children cumulated CPU time: 72.95 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 43516 KiB

[startup+73.4004 s]
/proc/loadavg: 4.74 4.29 4.16 5/254 27914
/proc/meminfo: memFree=129960476/131382120 swapFree=33010684/33010684
[pid=27908] ppid=27905 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/27908/stat : 27908 (naps-1.03a6.sh) S 27905 27908 27134 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 38167048 4292608 768 18446744073709551615 94873077223424 94873078117957 140730642864912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94873078357008 94873078404752 94873107226624 140730642872743 140730642872837 140730642872837 140730642878439 0
/proc/27908/statm: 1048 768 704 219 0 110 0
[pid=27912] ppid=27908 vsize=45040 memory=40700 CPUtime=73.14 cores=4,6
/proc/27912/stat : 27912 (naps-1.03a6) R 27908 27908 27134 0 -1 4194304 99675 0 0 0 7289 25 0 0 20 0 1 0 38167050 46120960 10175 18446744073709551615 4198400 7047149 140734699755104 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 19230720 140734699764084 140734699764198 140734699764198 140734699769801 0
/proc/27912/statm: 11260 10175 544 696 0 10421 0
Current children cumulated CPU time: 73.14 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 43772 KiB

Child status: 10

Real time (s): 73.464
CPU time (s): 73.2282
CPU user time (s): 72.9648
CPU system time (s): 0.263402
CPU usage (%): 99.6791
Max. virtual memory (cumulated for all children) (KiB): 61520
Max. memory (cumulated for all children) (KiB): 50940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.9648
system time used= 0.263402
maximum resident set size= 47868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100128
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= 139
involuntary context switches= 112


# summary of solver processes directly reported to runsolver:
#   pid: 27908
#   total CPU time (s): 73.2282
#   total CPU user time (s): 72.9648
#   total CPU system time (s): 0.263402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.360995 second user time and 0.848291 second system time

The end