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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435290-1721138303/watcher-4435290-1721138303 -o /tmp/evaluation-result-4435290-1721138303/solver-4435290-1721138303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721131091-880587 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435290-1721138303.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=884981, runsolver pid=884978

[startup+0.100099 s]*
/proc/loadavg: 4.10 4.13 4.16 5/263 884986
/proc/meminfo: memFree=101404568/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=12160 memory=7348 CPUtime=0.09 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 1502 0 0 0 9 0 0 0 20 0 1 0 165995609 12451840 1837 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3040 1837 421 379 0 2574 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22092 KiB
Current children cumulated memory: 10052 KiB

[startup+0.205913 s]*
/proc/loadavg: 4.10 4.13 4.16 5/263 884986
/proc/meminfo: memFree=101395680/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=12120 memory=10800 CPUtime=0.19 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 2651 0 0 0 19 0 0 0 20 0 1 0 165995609 12410880 2700 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3030 2700 421 379 0 2564 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 13504 KiB

[startup+0.305848 s]*
/proc/loadavg: 4.10 4.13 4.16 5/263 884986
/proc/meminfo: memFree=101393524/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=12120 memory=10800 CPUtime=0.29 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 2666 0 0 0 29 0 0 0 20 0 1 0 165995609 12410880 2700 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3030 2700 421 379 0 2564 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 13504 KiB

[startup+0.700276 s]
/proc/loadavg: 4.10 4.13 4.16 5/263 884986
/proc/meminfo: memFree=101387248/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=12404 memory=11060 CPUtime=0.68 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 2752 0 0 0 68 0 0 0 20 0 1 0 165995609 12701696 2765 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3101 2765 421 379 0 2635 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22336 KiB
Current children cumulated memory: 13764 KiB

[startup+1.50026 s]
/proc/loadavg: 4.09 4.13 4.15 5/263 884986
/proc/meminfo: memFree=101370416/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=13324 memory=11852 CPUtime=1.48 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 2966 0 0 0 148 0 0 0 20 0 1 0 165995609 13643776 2963 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3331 2963 421 379 0 2865 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23256 KiB
Current children cumulated memory: 14556 KiB

[startup+3.10588 s]
/proc/loadavg: 4.09 4.13 4.15 5/263 884988
/proc/meminfo: memFree=101302352/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=14808 memory=13436 CPUtime=3.09 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 3315 0 0 0 308 1 0 0 20 0 1 0 165995609 15163392 3359 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3702 3359 421 379 0 3236 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 24740 KiB
Current children cumulated memory: 16140 KiB

[startup+6.30026 s]
/proc/loadavg: 4.08 4.13 4.15 5/263 884988
/proc/meminfo: memFree=101210164/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=14808 memory=13436 CPUtime=6.28 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 3320 0 0 0 627 1 0 0 20 0 1 0 165995609 15163392 3359 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 3702 3359 421 379 0 3236 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 24740 KiB
Current children cumulated memory: 16140 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.13 4.15 5/263 884989
/proc/meminfo: memFree=100581284/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=556200 memory=488396 CPUtime=12.66 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 58164 0 0 0 1251 15 0 0 20 0 1 0 165995609 569548800 122099 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 139050 122099 421 379 0 138584 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 566132 KiB
Current children cumulated memory: 491100 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.12 4.15 5/263 884991
/proc/meminfo: memFree=99565576/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1052180 memory=972312 CPUtime=25.42 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 98533 0 0 0 2504 38 0 0 20 0 1 0 165995609 1077432320 243078 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 263045 243078 421 379 0 262579 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1062112 KiB
Current children cumulated memory: 975016 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.13 4.15 5/263 884994
/proc/meminfo: memFree=95656180/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1269160 memory=1164104 CPUtime=50.96 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 113600 0 0 0 5051 45 0 0 20 0 1 0 165995609 1299619840 291026 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 317290 291026 421 379 0 316824 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1279092 KiB
Current children cumulated memory: 1166808 KiB

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

# cumulated CPU time of all completed processes:  user=83.557 s, system=0.566253 s

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

[startup+51.2003 s]
/proc/loadavg: 4.12 4.13 4.15 5/263 884994
/proc/meminfo: memFree=95656180/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1269160 memory=1164104 CPUtime=51.05 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 113604 0 0 0 5060 45 0 0 20 0 1 0 165995609 1299619840 291026 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 317290 291026 421 379 0 316824 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 1279092 KiB
Current children cumulated memory: 1166808 KiB

[startup+64.0003 s]*
/proc/loadavg: 4.10 4.12 4.15 5/263 884998
/proc/meminfo: memFree=95566780/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1398884 memory=1274468 CPUtime=63.82 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 119063 0 0 0 6332 50 0 0 20 0 1 0 165995609 1432457216 318617 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 349721 318617 421 379 0 349255 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 1408816 KiB
Current children cumulated memory: 1277172 KiB

[startup+76.8003 s]
/proc/loadavg: 4.08 4.11 4.15 5/263 884999
/proc/meminfo: memFree=94416560/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1359832 CPUtime=76.57 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121207 0 0 0 7604 53 0 0 20 0 1 0 165995609 1592582144 339958 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 339958 421 379 0 388348 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1362536 KiB

[startup+80.0003 s]*
/proc/loadavg: 4.08 4.11 4.15 5/263 884999
/proc/meminfo: memFree=92554232/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1362144 CPUtime=79.76 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121310 0 0 0 7923 53 0 0 20 0 1 0 165995609 1592582144 340536 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 340536 421 379 0 388348 0
Current children cumulated CPU time: 79.76 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1364848 KiB

[startup+81.6002 s]
/proc/loadavg: 4.07 4.11 4.14 5/263 884999
/proc/meminfo: memFree=92164616/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1362144 CPUtime=81.35 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121310 0 0 0 8082 53 0 0 20 0 1 0 165995609 1592582144 340536 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 340536 421 379 0 388348 0
Current children cumulated CPU time: 81.35 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1364848 KiB

[startup+83.2002 s]
/proc/loadavg: 4.07 4.11 4.14 5/263 885001
/proc/meminfo: memFree=91212224/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1362144 CPUtime=82.95 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121314 0 0 0 8242 53 0 0 20 0 1 0 165995609 1592582144 340536 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 340536 421 379 0 388348 0
Current children cumulated CPU time: 82.95 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1364848 KiB

[startup+84.0002 s]*
/proc/loadavg: 4.07 4.11 4.14 5/263 885001
/proc/meminfo: memFree=90701240/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1362144 CPUtime=83.75 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121314 0 0 0 8322 53 0 0 20 0 1 0 165995609 1592582144 340536 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 340536 421 379 0 388348 0
Current children cumulated CPU time: 83.75 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1364848 KiB

[startup+84.2002 s]
/proc/loadavg: 4.07 4.11 4.14 5/263 885001
/proc/meminfo: memFree=90701240/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1362144 CPUtime=83.95 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121314 0 0 0 8342 53 0 0 20 0 1 0 165995609 1592582144 340536 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 340536 421 379 0 388348 0
Current children cumulated CPU time: 83.95 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1364848 KiB

[startup+84.3002 s]
/proc/loadavg: 4.07 4.11 4.14 5/263 885001
/proc/meminfo: memFree=90701240/131524600 swapFree=131071996/131071996
[pid=884981] ppid=884978 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/884981/stat : 884981 (naps-1.02b5.sh) S 884978 884981 880414 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 165995608 10170368 676 134679101440 94485414563840 94485415643160 140722769938912 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94485417741616 94485417788804 94485444218880 140722769945568 140722769945695 140722769945695 140722769952710 0
/proc/884981/statm: 2483 676 599 264 0 134 0
[pid=884986] ppid=884981 vsize=1555256 memory=1362296 CPUtime=84.05 cores=5,7
/proc/884986/stat : 884986 (naps-1.02b5) R 884981 884981 880414 0 -1 4194304 121341 0 0 0 8352 53 0 0 20 0 1 0 165995609 1592582144 340574 134679101440 4194304 5746509 140736848092560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 18513920 140736848094191 140736848094305 140736848094305 140736848101321 0
/proc/884986/statm: 388814 340574 421 379 0 388348 0
Current children cumulated CPU time: 84.05 s
Current children cumulated vsize: 1565188 KiB
Current children cumulated memory: 1365000 KiB

Child status: 30

Real time (s): 84.3597
CPU time (s): 84.1232
CPU user time (s): 83.557
CPU system time (s): 0.566253
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 1614508
Max. memory (cumulated for all children) (KiB): 1425308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.557
system time used= 0.566253
maximum resident set size= 1423048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121831
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= 110


# summary of solver processes directly reported to runsolver:
#   pid: 884981
#   total CPU time (s): 84.1232
#   total CPU user time (s): 83.557
#   total CPU system time (s): 0.566253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.149663 second user time and 0.489457 second system time

The end