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: 63931 MiB (61477 MiB free)
  memory of node 1: 64510 MiB (42301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433988-1721113760/watcher-4433988-1721113760 -o /tmp/evaluation-result-4433988-1721113760/solver-4433988-1721113760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721106131-836240 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433988-1721113760.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=841596, runsolver pid=841593

[startup+0.10009 s]*
/proc/loadavg: 4.27 4.21 4.13 5/262 841601
/proc/meminfo: memFree=106255636/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=18084 memory=11272 CPUtime=0.09 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 2774 0 0 0 9 0 0 0 20 0 1 0 163540922 18518016 2818 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 4521 2818 468 659 0 3725 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28016 KiB
Current children cumulated memory: 14020 KiB

[startup+0.205856 s]*
/proc/loadavg: 4.27 4.21 4.13 5/262 841601
/proc/meminfo: memFree=106246636/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=20864 memory=13940 CPUtime=0.2 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 3279 0 0 0 20 0 0 0 20 0 1 0 163540922 21364736 3485 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 5216 3485 468 659 0 4420 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30796 KiB
Current children cumulated memory: 16688 KiB

[startup+0.305743 s]*
/proc/loadavg: 4.27 4.21 4.13 5/262 841601
/proc/meminfo: memFree=106243136/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=22596 memory=15260 CPUtime=0.3 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 3616 0 0 0 30 0 0 0 20 0 1 0 163540922 23138304 3815 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 5649 3815 468 659 0 4853 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32528 KiB
Current children cumulated memory: 18008 KiB

[startup+0.700253 s]
/proc/loadavg: 4.27 4.21 4.13 5/262 841601
/proc/meminfo: memFree=106231016/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=29880 memory=23044 CPUtime=0.68 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 5696 0 0 0 68 0 0 0 20 0 1 0 163540922 30597120 5761 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 7470 5761 468 659 0 6674 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39812 KiB
Current children cumulated memory: 25792 KiB

[startup+1.50026 s]
/proc/loadavg: 4.27 4.21 4.13 5/262 841603
/proc/meminfo: memFree=106193212/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=201904 memory=183584 CPUtime=1.49 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 30266 0 0 0 145 4 0 0 20 0 1 0 163540922 206749696 45896 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 50476 45896 468 659 0 49680 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 211836 KiB
Current children cumulated memory: 186332 KiB

[startup+3.10573 s]
/proc/loadavg: 4.25 4.21 4.13 5/262 841603
/proc/meminfo: memFree=106015096/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=227940 memory=212768 CPUtime=3.09 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 36085 0 0 0 303 6 0 0 20 0 1 0 163540922 233410560 53192 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 56985 53192 468 659 0 56189 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 237872 KiB
Current children cumulated memory: 215516 KiB

[startup+6.30025 s]
/proc/loadavg: 4.25 4.21 4.13 5/262 841603
/proc/meminfo: memFree=105917672/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=229716 memory=216340 CPUtime=6.27 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 36542 0 0 0 621 6 0 0 20 0 1 0 163540922 235229184 54085 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 57429 54085 468 659 0 56633 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 239648 KiB
Current children cumulated memory: 219088 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.22 4.13 5/262 841604
/proc/meminfo: memFree=105674756/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=255968 CPUtime=12.66 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 37268 0 0 0 1258 8 0 0 20 0 1 0 163540922 285835264 63992 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 63992 468 659 0 68988 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 258716 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.22 4.14 5/262 841606
/proc/meminfo: memFree=105265424/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=262304 CPUtime=25.42 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 37333 0 0 0 2534 8 0 0 20 0 1 0 163540922 285835264 65576 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 65576 468 659 0 68988 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 265052 KiB

[startup+51.1058 s]
/proc/loadavg: 4.20 4.20 4.13 5/263 841613
/proc/meminfo: memFree=104605960/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266284 CPUtime=50.95 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38146 0 0 0 5086 9 0 0 20 0 1 0 163540922 285835264 66571 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66571 468 659 0 68988 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269032 KiB

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

# cumulated CPU time of all completed processes:  user=100.358 s, system=0.120257 s

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

[startup+51.2003 s]
/proc/loadavg: 4.20 4.20 4.13 5/263 841613
/proc/meminfo: memFree=104605960/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266284 CPUtime=51.05 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38146 0 0 0 5096 9 0 0 20 0 1 0 163540922 285835264 66571 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66571 468 659 0 68988 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269032 KiB

[startup+76.8002 s]
/proc/loadavg: 4.20 4.20 4.13 5/263 841618
/proc/meminfo: memFree=99102476/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=76.58 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38445 0 0 0 7648 10 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+89.6002 s]
/proc/loadavg: 4.16 4.19 4.13 5/263 841620
/proc/meminfo: memFree=99059308/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=89.35 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38760 0 0 0 8924 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+96.0002 s]*
/proc/loadavg: 4.14 4.19 4.13 5/263 841621
/proc/meminfo: memFree=101607768/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=95.74 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38763 0 0 0 9563 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 95.74 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+99.2002 s]
/proc/loadavg: 4.13 4.19 4.13 5/263 841621
/proc/meminfo: memFree=101535140/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=98.92 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38764 0 0 0 9881 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 98.92 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+100 s]*
/proc/loadavg: 4.13 4.19 4.13 5/263 841621
/proc/meminfo: memFree=101511744/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=99.73 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38764 0 0 0 9962 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 99.73 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+100.4 s]
/proc/loadavg: 4.13 4.19 4.13 5/263 841621
/proc/meminfo: memFree=101511744/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=100.12 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38764 0 0 0 10001 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 100.12 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+100.6 s]
/proc/loadavg: 4.13 4.19 4.13 5/263 841621
/proc/meminfo: memFree=101511744/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=100.32 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38764 0 0 0 10021 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 100.32 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

[startup+100.7 s]
/proc/loadavg: 4.13 4.19 4.13 5/263 841621
/proc/meminfo: memFree=101511744/131524600 swapFree=131071996/131071996
[pid=841596] ppid=841593 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/841596/stat : 841596 (naps-1.03.sh) S 841593 841596 836229 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 163540921 10170368 687 134679101440 93986354253824 93986355333144 140725232827792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93986357431600 93986357478788 93986376593408 140725232829408 140725232829537 140725232829537 140725232836552 0
/proc/841596/statm: 2483 687 608 264 0 134 0
[pid=841601] ppid=841596 vsize=279136 memory=266292 CPUtime=100.42 cores=4,6
/proc/841601/stat : 841601 (naps-1.03) R 841596 841596 836229 0 -1 4194304 38764 0 0 0 10031 11 0 0 20 0 1 0 163540922 285835264 66573 134679101440 4194304 6891213 140723836761232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31277056 140723836765169 140723836765285 140723836765285 140723836772299 0
/proc/841601/statm: 69784 66573 468 659 0 68988 0
Current children cumulated CPU time: 100.42 s
Current children cumulated vsize: 289068 KiB
Current children cumulated memory: 269040 KiB

Child status: 30

Real time (s): 100.748
CPU time (s): 100.478
CPU user time (s): 100.358
CPU system time (s): 0.120257
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 338388
Max. memory (cumulated for all children) (KiB): 308908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.358
system time used= 0.120257
maximum resident set size= 306216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39246
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= 12
involuntary context switches= 78


# summary of solver processes directly reported to runsolver:
#   pid: 841596
#   total CPU time (s): 100.478
#   total CPU user time (s): 100.358
#   total CPU system time (s): 0.120257

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.223887 second user time and 0.508123 second system time

The end