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: 63968 MiB (36578 MiB free)
  memory of node 1: 64473 MiB (59837 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435197-1721112956/watcher-4435197-1721112956 -o /tmp/evaluation-result-4435197-1721112956/solver-4435197-1721112956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721103593-837410 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435197-1721112956.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=843651, runsolver pid=843648

[startup+0.10009 s]*
/proc/loadavg: 4.15 4.16 4.13 5/260 843656
/proc/meminfo: memFree=98722500/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=13348 memory=7992 CPUtime=0.09 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 1705 0 0 0 9 0 0 0 20 0 1 0 163459410 13668352 1998 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 3337 1998 421 379 0 2871 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23280 KiB
Current children cumulated memory: 10680 KiB

[startup+0.205679 s]*
/proc/loadavg: 4.15 4.16 4.13 5/260 843656
/proc/meminfo: memFree=98721032/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=14852 memory=9284 CPUtime=0.19 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 2189 0 0 0 19 0 0 0 20 0 1 0 163459410 15208448 2321 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 3713 2321 421 379 0 3247 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24784 KiB
Current children cumulated memory: 11972 KiB

[startup+0.305765 s]*
/proc/loadavg: 4.15 4.16 4.13 5/260 843656
/proc/meminfo: memFree=98719184/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=16640 memory=11120 CPUtime=0.29 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 2750 0 0 0 29 0 0 0 20 0 1 0 163459410 17039360 2780 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 4160 2780 421 379 0 3694 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26572 KiB
Current children cumulated memory: 13808 KiB

[startup+0.700256 s]
/proc/loadavg: 4.15 4.16 4.13 5/260 843656
/proc/meminfo: memFree=98715992/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=21812 memory=15884 CPUtime=0.69 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 4305 0 0 0 68 1 0 0 20 0 1 0 163459410 22335488 3971 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 5453 3971 421 379 0 4987 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31744 KiB
Current children cumulated memory: 18572 KiB

[startup+1.50026 s]
/proc/loadavg: 4.15 4.16 4.13 5/260 843656
/proc/meminfo: memFree=98706868/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=113084 memory=101904 CPUtime=1.49 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 21875 0 0 0 145 4 0 0 20 0 1 0 163459410 115798016 25476 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 28271 25476 421 379 0 27805 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 123016 KiB
Current children cumulated memory: 104592 KiB

[startup+3.10553 s]
/proc/loadavg: 4.22 4.18 4.14 5/260 843656
/proc/meminfo: memFree=98533300/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=215224 memory=194496 CPUtime=3.09 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 37800 0 0 0 300 9 0 0 20 0 1 0 163459410 220389376 48624 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 53806 48624 421 379 0 53340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 225156 KiB
Current children cumulated memory: 197184 KiB

[startup+6.30023 s]
/proc/loadavg: 4.22 4.18 4.14 5/260 843656
/proc/meminfo: memFree=98527140/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=216576 memory=198876 CPUtime=6.27 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 38373 0 0 0 618 9 0 0 20 0 1 0 163459410 221773824 49719 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 54144 49719 421 379 0 53678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 226508 KiB
Current children cumulated memory: 201564 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.17 4.14 5/260 843658
/proc/meminfo: memFree=98476280/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=266228 memory=241576 CPUtime=12.66 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 39386 0 0 0 1256 10 0 0 20 0 1 0 163459410 272617472 60394 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 66557 60394 421 379 0 66091 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 276160 KiB
Current children cumulated memory: 244264 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.16 4.13 5/260 843659
/proc/meminfo: memFree=98461136/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=266228 memory=246652 CPUtime=25.42 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 39615 0 0 0 2532 10 0 0 20 0 1 0 163459410 272617472 61663 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 66557 61663 421 379 0 66091 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 276160 KiB
Current children cumulated memory: 249340 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.17 4.13 5/260 843664
/proc/meminfo: memFree=98404788/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=280644 CPUtime=50.96 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40029 0 0 0 5085 11 0 0 20 0 1 0 163459410 323121152 70161 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 70161 421 379 0 78421 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 283332 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/260 843673
/proc/meminfo: memFree=98359244/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=290924 CPUtime=102.03 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40371 0 0 0 10190 13 0 0 20 0 1 0 163459410 323121152 72731 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 72731 421 379 0 78421 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 293612 KiB

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

# cumulated CPU time of all completed processes:  user=153.982 s, system=0.166749 s

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

[startup+102.4 s]
/proc/loadavg: 4.12 4.15 4.13 5/260 843673
/proc/meminfo: memFree=98359244/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=290924 CPUtime=102.13 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40371 0 0 0 10200 13 0 0 20 0 1 0 163459410 323121152 72731 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 72731 421 379 0 78421 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 293612 KiB

[startup+128 s]*
/proc/loadavg: 4.14 4.15 4.13 5/261 843848
/proc/meminfo: memFree=98336504/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=290920 CPUtime=127.68 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40543 0 0 0 12754 14 0 0 20 0 1 0 163459410 323121152 72730 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 72730 421 379 0 78421 0
Current children cumulated CPU time: 127.68 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 293608 KiB

[startup+140.8 s]
/proc/loadavg: 4.19 4.17 4.13 5/261 843849
/proc/meminfo: memFree=98369420/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=266228 memory=249532 CPUtime=140.44 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40545 0 0 0 14030 14 0 0 20 0 1 0 163459410 272617472 62383 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 66557 62383 421 379 0 66091 0
Current children cumulated CPU time: 140.44 s
Current children cumulated vsize: 276160 KiB
Current children cumulated memory: 252220 KiB

[startup+147.2 s]
/proc/loadavg: 4.18 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98553260/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=266228 memory=249532 CPUtime=146.82 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40545 0 0 0 14668 14 0 0 20 0 1 0 163459410 272617472 62383 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 66557 62383 421 379 0 66091 0
Current children cumulated CPU time: 146.82 s
Current children cumulated vsize: 276160 KiB
Current children cumulated memory: 252220 KiB

[startup+150.4 s]
/proc/loadavg: 4.16 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98517988/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=282808 CPUtime=150.02 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40688 0 0 0 14987 15 0 0 20 0 1 0 163459410 323121152 70702 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 70702 421 379 0 78421 0
Current children cumulated CPU time: 150.02 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 285496 KiB

[startup+152 s]*
/proc/loadavg: 4.16 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98513892/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=284856 CPUtime=151.62 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40716 0 0 0 15147 15 0 0 20 0 1 0 163459410 323121152 71214 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 71214 421 379 0 78421 0
Current children cumulated CPU time: 151.62 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 287544 KiB

[startup+153.6 s]
/proc/loadavg: 4.15 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98513888/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=286904 CPUtime=153.21 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40718 0 0 0 15306 15 0 0 20 0 1 0 163459410 323121152 71726 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 71726 421 379 0 78421 0
Current children cumulated CPU time: 153.21 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 289592 KiB

[startup+154 s]*
/proc/loadavg: 4.15 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98509716/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=286904 CPUtime=153.61 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40718 0 0 0 15346 15 0 0 20 0 1 0 163459410 323121152 71726 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 71726 421 379 0 78421 0
Current children cumulated CPU time: 153.61 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 289592 KiB

[startup+154.4 s]
/proc/loadavg: 4.15 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98509716/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=286904 CPUtime=154 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40718 0 0 0 15385 15 0 0 20 0 1 0 163459410 323121152 71726 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 71726 421 379 0 78421 0
Current children cumulated CPU time: 154 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 289592 KiB

[startup+154.5 s]
/proc/loadavg: 4.15 4.16 4.13 5/261 843851
/proc/meminfo: memFree=98509716/131524600 swapFree=131071996/131071996
[pid=843651] ppid=843648 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/843651/stat : 843651 (naps-1.02b5.sh) S 843648 843651 837397 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 163459410 10170368 672 134679101440 94822191411200 94822192490520 140728257143744 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94822194588976 94822194636164 94822196342784 140728257151968 140728257152095 140728257152095 140728257159110 0
/proc/843651/statm: 2483 672 594 264 0 134 0
[pid=843656] ppid=843651 vsize=315548 memory=286904 CPUtime=154.1 cores=5,7
/proc/843656/stat : 843656 (naps-1.02b5) R 843651 843651 837397 0 -1 4194304 40720 0 0 0 15395 15 0 0 20 0 1 0 163459410 323121152 71726 134679101440 4194304 5746509 140733138017632 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 13987840 140733138023407 140733138023521 140733138023521 140733138030537 0
/proc/843656/statm: 78887 71726 421 379 0 78421 0
Current children cumulated CPU time: 154.1 s
Current children cumulated vsize: 325480 KiB
Current children cumulated memory: 289592 KiB

Child status: 30

Real time (s): 154.53
CPU time (s): 154.149
CPU user time (s): 153.982
CPU system time (s): 0.166749
CPU usage (%): 99.7534
Max. virtual memory (cumulated for all children) (KiB): 325480
Max. memory (cumulated for all children) (KiB): 297704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.982
system time used= 0.166749
maximum resident set size= 295016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41200
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= 11
involuntary context switches= 140


# summary of solver processes directly reported to runsolver:
#   pid: 843651
#   total CPU time (s): 154.149
#   total CPU user time (s): 153.982
#   total CPU system time (s): 0.166749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.302685 second user time and 0.787926 second system time

The end