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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503451-1751161809/watcher-4503451-1751161809 -o /tmp/evaluation-result-4503451-1751161809/solver-4503451-1751161809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751156266-15730 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4503451-1751161809.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100067 s]*
/proc/loadavg: 4.58 4.31 4.19 5/254 19905
/proc/meminfo: memFree=129909816/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=4740 memory=3072 CPUtime=0.08 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 297 0 0 0 8 0 0 0 20 0 1 0 31860093 4853760 768 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 1185 768 544 696 0 346 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 8932 KiB
Current children cumulated memory: 6016 KiB

[startup+0.21341 s]*
/proc/loadavg: 4.58 4.31 4.19 5/254 19905
/proc/meminfo: memFree=129909816/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=5356 memory=3712 CPUtime=0.19 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 462 0 0 0 19 0 0 0 20 0 1 0 31860093 5484544 928 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 1339 928 544 696 0 500 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 9548 KiB
Current children cumulated memory: 6656 KiB

[startup+0.313101 s]*
/proc/loadavg: 4.58 4.31 4.19 5/254 19905
/proc/meminfo: memFree=129909816/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=6400 memory=4352 CPUtime=0.29 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 634 0 0 0 29 0 0 0 20 0 1 0 31860093 6553600 1088 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 1600 1088 544 696 0 761 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10592 KiB
Current children cumulated memory: 7296 KiB

[startup+0.700361 s]
/proc/loadavg: 4.58 4.31 4.19 5/254 19905
/proc/meminfo: memFree=129909060/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=9252 memory=7040 CPUtime=0.65 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 1294 0 0 0 65 0 0 0 20 0 1 0 31860093 9474048 1760 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 2313 1760 544 696 0 1474 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 13444 KiB
Current children cumulated memory: 9984 KiB

[startup+1.50042 s]
/proc/loadavg: 4.58 4.31 4.19 5/254 19905
/proc/meminfo: memFree=129902004/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=22108 memory=18036 CPUtime=1.45 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 4701 0 0 0 143 2 0 0 20 0 1 0 31860093 22638592 4509 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 5527 4509 544 696 0 4688 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 26300 KiB
Current children cumulated memory: 20980 KiB

[startup+3.11305 s]
/proc/loadavg: 4.54 4.30 4.19 5/254 19905
/proc/meminfo: memFree=129897216/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=22108 memory=18036 CPUtime=3.06 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 4703 0 0 0 304 2 0 0 20 0 1 0 31860093 22638592 4509 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 5527 4509 544 696 0 4688 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 26300 KiB
Current children cumulated memory: 20980 KiB

[startup+6.30038 s]
/proc/loadavg: 4.54 4.30 4.19 5/254 19905
/proc/meminfo: memFree=129897216/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=22092 memory=18548 CPUtime=6.24 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 4869 0 0 0 622 2 0 0 20 0 1 0 31860093 22622208 4637 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 5523 4637 544 696 0 4684 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 26284 KiB
Current children cumulated memory: 21492 KiB

[startup+12.7004 s]
/proc/loadavg: 4.49 4.30 4.18 5/254 19905
/proc/meminfo: memFree=129893152/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=22108 memory=19252 CPUtime=12.62 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 10591 0 0 0 1259 3 0 0 20 0 1 0 31860093 22638592 4813 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 5527 4813 544 696 0 4688 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 26300 KiB
Current children cumulated memory: 22196 KiB

[startup+25.5004 s]
/proc/loadavg: 4.38 4.28 4.18 5/254 19905
/proc/meminfo: memFree=129889056/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=23924 CPUtime=25.38 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26141 0 0 0 2531 7 0 0 20 0 1 0 31860093 33267712 5981 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 5981 544 696 0 7283 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 26868 KiB

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

# cumulated CPU time of all completed processes:  user=41.1946 s, system=0.087127 s

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

[startup+25.6005 s]
/proc/loadavg: 4.38 4.28 4.18 5/254 19905
/proc/meminfo: memFree=129889056/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=23924 CPUtime=25.48 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26141 0 0 0 2541 7 0 0 20 0 1 0 31860093 33267712 5981 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 5981 544 696 0 7283 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 26868 KiB

[startup+32.0004 s]*
/proc/loadavg: 4.35 4.28 4.18 5/254 19905
/proc/meminfo: memFree=129882012/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=27380 CPUtime=31.88 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26144 0 0 0 3180 8 0 0 20 0 1 0 31860093 33267712 6845 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 6845 544 696 0 7283 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 30324 KiB

[startup+38.4004 s]
/proc/loadavg: 4.37 4.29 4.18 5/254 19905
/proc/meminfo: memFree=129884312/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=27380 CPUtime=38.25 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26146 0 0 0 3817 8 0 0 20 0 1 0 31860093 33267712 6845 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 6845 544 696 0 7283 0
Current children cumulated CPU time: 38.25 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 30324 KiB

[startup+40.0003 s]*
/proc/loadavg: 4.37 4.29 4.18 5/254 19905
/proc/meminfo: memFree=129890708/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=27380 CPUtime=39.86 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26146 0 0 0 3978 8 0 0 20 0 1 0 31860093 33267712 6845 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 6845 544 696 0 7283 0
Current children cumulated CPU time: 39.86 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 30324 KiB

[startup+40.8003 s]
/proc/loadavg: 4.37 4.29 4.18 5/254 19905
/proc/meminfo: memFree=129890708/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=27380 CPUtime=40.64 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26146 0 0 0 4056 8 0 0 20 0 1 0 31860093 33267712 6845 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 6845 544 696 0 7283 0
Current children cumulated CPU time: 40.64 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 30324 KiB

[startup+41.2003 s]
/proc/loadavg: 4.37 4.29 4.18 5/254 19906
/proc/meminfo: memFree=129886612/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=27380 CPUtime=41.04 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26146 0 0 0 4096 8 0 0 20 0 1 0 31860093 33267712 6845 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 6845 544 696 0 7283 0
Current children cumulated CPU time: 41.04 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 30324 KiB

[startup+41.4003 s]
/proc/loadavg: 4.37 4.29 4.18 5/254 19906
/proc/meminfo: memFree=129886612/131382116 swapFree=33010684/33010684
[pid=19901] ppid=19898 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19901/stat : 19901 (naps-1.03a6.sh) S 19898 19901 15714 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 31860091 4292608 736 18446744073709551615 93862150991872 93862151886405 140727173442672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93862152125456 93862152173200 93862181507072 140727173450151 140727173450245 140727173450245 140727173455847 0
/proc/19901/statm: 1048 736 672 219 0 110 0
[pid=19905] ppid=19901 vsize=32488 memory=27380 CPUtime=41.24 cores=1,3
/proc/19905/stat : 19905 (naps-1.03a6) R 19901 19901 15714 0 -1 4194304 26146 0 0 0 4116 8 0 0 20 0 1 0 31860093 33267712 6845 18446744073709551615 4198400 7047149 140735239314848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11948032 140735239321972 140735239322086 140735239322086 140735239327689 0
/proc/19905/statm: 8122 6845 544 696 0 7283 0
Current children cumulated CPU time: 41.24 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 30324 KiB

Child status: 10

Real time (s): 41.4258
CPU time (s): 41.2817
CPU user time (s): 41.1946
CPU system time (s): 0.087127
CPU usage (%): 99.6523
Max. virtual memory (cumulated for all children) (KiB): 38592
Max. memory (cumulated for all children) (KiB): 30324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1946
system time used= 0.087127
maximum resident set size= 27380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26591
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= 137
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 19901
#   total CPU time (s): 41.2817
#   total CPU user time (s): 41.1946
#   total CPU system time (s): 0.087127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.245001 second user time and 0.488484 second system time

The end