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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456005-1721718380/watcher-4456005-1721718380 -o /tmp/evaluation-result-4456005-1721718380/solver-4456005-1721718380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721718380-89464 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456005-1721718380.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100939 s]*
/proc/loadavg: 1.50 1.88 2.02 8/259 89545
/proc/meminfo: memFree=105714016/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=28392 memory=24016 CPUtime=0.1 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 6366 0 0 0 9 1 0 0 20 0 1 0 8366242 29073408 6004 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 7098 6004 468 659 0 6302 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38324 KiB
Current children cumulated memory: 26788 KiB

[startup+0.215938 s]*
/proc/loadavg: 1.50 1.88 2.02 5/259 89545
/proc/meminfo: memFree=105653632/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=34500 memory=30524 CPUtime=0.2 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 8554 0 0 0 19 1 0 0 20 0 1 0 8366242 35328000 7631 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 8625 7631 468 659 0 7829 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44432 KiB
Current children cumulated memory: 33296 KiB

[startup+0.30564 s]*
/proc/loadavg: 1.50 1.88 2.02 5/259 89545
/proc/meminfo: memFree=105608824/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=46564 memory=42304 CPUtime=0.29 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 11820 0 0 0 27 2 0 0 20 0 1 0 8366242 47681536 10576 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 11641 10576 468 659 0 10845 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56496 KiB
Current children cumulated memory: 45076 KiB

[startup+0.700224 s]
/proc/loadavg: 1.50 1.88 2.02 5/259 89545
/proc/meminfo: memFree=105491288/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=122800 memory=114180 CPUtime=0.67 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 27797 0 0 0 62 5 0 0 20 0 1 0 8366242 125747200 28545 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 30700 28545 468 659 0 29904 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 132732 KiB
Current children cumulated memory: 116952 KiB

[startup+1.50026 s]
/proc/loadavg: 1.50 1.88 2.02 6/259 89545
/proc/meminfo: memFree=105351456/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=170856 memory=164584 CPUtime=1.47 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 33416 0 0 0 140 7 0 0 20 0 1 0 8366242 174956544 41146 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 42714 41146 468 659 0 41918 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 180788 KiB
Current children cumulated memory: 167356 KiB

[startup+3.10649 s]
/proc/loadavg: 1.50 1.88 2.02 6/259 89545
/proc/meminfo: memFree=105291548/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=189532 memory=182020 CPUtime=3.07 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 34238 0 0 0 300 7 0 0 20 0 1 0 8366242 194080768 45505 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 47383 45505 468 659 0 46587 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 199464 KiB
Current children cumulated memory: 184792 KiB

[startup+6.30023 s]
/proc/loadavg: 1.70 1.92 2.03 6/259 89547
/proc/meminfo: memFree=105242888/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=182460 memory=177048 CPUtime=6.26 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 35008 0 0 0 619 7 0 0 20 0 1 0 8366242 186839040 44262 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 45615 44262 468 659 0 44819 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 192392 KiB
Current children cumulated memory: 179820 KiB

[startup+12.7002 s]
/proc/loadavg: 1.89 1.95 2.04 6/259 89547
/proc/meminfo: memFree=105161124/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=212808 memory=188656 CPUtime=12.64 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 35695 0 0 0 1256 8 0 0 20 0 1 0 8366242 217915392 47164 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 53202 47164 468 659 0 52406 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222740 KiB
Current children cumulated memory: 191428 KiB

[startup+25.5002 s]
/proc/loadavg: 2.36 2.06 2.07 6/259 89548
/proc/meminfo: memFree=105046596/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=212808 memory=190744 CPUtime=25.4 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 37127 0 0 0 2530 10 0 0 20 0 1 0 8366242 217915392 47686 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 53202 47686 468 659 0 52406 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 222740 KiB
Current children cumulated memory: 193516 KiB

[startup+51.1065 s]
/proc/loadavg: 2.99 2.23 2.13 6/258 89553
/proc/meminfo: memFree=104983348/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=262128 memory=237580 CPUtime=50.94 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 39657 0 0 0 5080 14 0 0 20 0 1 0 8366242 268419072 59395 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 65532 59395 468 659 0 64736 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 272060 KiB
Current children cumulated memory: 240352 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.23 6/258 89561
/proc/meminfo: memFree=104920324/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=292948 memory=254192 CPUtime=101.99 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 44510 0 0 0 10178 21 0 0 20 0 1 0 8366242 299978752 63548 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 73237 63548 468 659 0 72441 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 302880 KiB
Current children cumulated memory: 256964 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.81 2.35 6/258 89571
/proc/meminfo: memFree=104793532/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=275076 memory=259836 CPUtime=161.82 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 49191 0 0 0 16154 28 0 0 20 0 1 0 8366242 281677824 64959 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 68769 64959 468 659 0 67973 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 285008 KiB
Current children cumulated memory: 262608 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.06 2.47 6/258 89582
/proc/meminfo: memFree=104802656/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=305896 memory=286888 CPUtime=221.64 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 52318 0 0 0 22131 33 0 0 20 0 1 0 8366242 313237504 71722 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 76474 71722 468 659 0 75678 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 315828 KiB

################
# More data... #
################

/proc/89542/statm: 135635 124044 468 659 0 134839 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 552472 KiB
Current children cumulated memory: 498948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.02 6/258 91101
/proc/meminfo: memFree=104072680/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=414536 memory=396932 CPUtime=3093.93 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 124215 0 0 0 309231 162 0 0 20 0 1 0 8366242 424484864 99233 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 103634 99233 468 659 0 102838 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 424468 KiB
Current children cumulated memory: 399704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/258 91279
/proc/meminfo: memFree=103935600/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=464624 memory=453432 CPUtime=3153.77 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 124714 0 0 0 315213 164 0 0 20 0 1 0 8366242 475774976 113358 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 116156 113358 468 659 0 115360 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 474556 KiB
Current children cumulated memory: 456204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/258 91289
/proc/meminfo: memFree=103810572/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=546012 memory=490968 CPUtime=3213.6 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 125038 0 0 0 321195 165 0 0 20 0 1 0 8366242 559116288 122742 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 136503 122742 468 659 0 135707 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 555944 KiB
Current children cumulated memory: 493740 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.03 6/259 91315
/proc/meminfo: memFree=103797248/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=415400 memory=408076 CPUtime=3273.43 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 126461 0 0 0 327175 168 0 0 20 0 1 0 8366242 425369600 102019 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 103850 102019 468 659 0 103054 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 425332 KiB
Current children cumulated memory: 410848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/259 91327
/proc/meminfo: memFree=103848136/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=546876 memory=463204 CPUtime=3333.27 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 127685 0 0 0 333158 169 0 0 20 0 1 0 8366242 560001024 115801 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 136719 115801 468 659 0 135923 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 556808 KiB
Current children cumulated memory: 465976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.03 6/259 91337
/proc/meminfo: memFree=104035040/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=548016 memory=503084 CPUtime=3393.11 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 128145 0 0 0 339141 170 0 0 20 0 1 0 8366242 561168384 125771 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 137004 125771 468 659 0 136208 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 557948 KiB
Current children cumulated memory: 505856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.51 4.19 4.07 6/258 91347
/proc/meminfo: memFree=104039544/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=418640 memory=402720 CPUtime=3452.93 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 129333 0 0 0 345121 172 0 0 20 0 1 0 8366242 428687360 100680 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 104660 100680 468 659 0 103864 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 428572 KiB
Current children cumulated memory: 405492 KiB

[startup+3522.3 s]
/proc/loadavg: 5.10 4.50 4.18 6/258 91358
/proc/meminfo: memFree=103897428/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=468728 memory=457172 CPUtime=3512.76 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 129845 0 0 0 351103 173 0 0 20 0 1 0 8366242 479977472 114293 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 117182 114293 468 659 0 116386 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 478660 KiB
Current children cumulated memory: 459944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.55 4.45 4.18 6/256 91368
/proc/meminfo: memFree=103749308/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=550416 memory=494800 CPUtime=3572.6 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 130252 0 0 0 357086 174 0 0 20 0 1 0 8366242 563625984 123700 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 137604 123700 468 659 0 136808 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 560348 KiB
Current children cumulated memory: 497572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.36 4.42 4.18 6/256 91374
/proc/meminfo: memFree=103694836/131524600 swapFree=131071996/131071996
[pid=89521] ppid=89511 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/89521/stat : 89521 (naps-1.03.sh) S 89511 89521 89453 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 8366241 10170368 693 134679101440 94105406230528 94105407309848 140722096256368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94105409408304 94105409455492 94105418452992 140722096260067 140722096260196 140722096260196 140722096267208 0
/proc/89521/statm: 2483 693 615 264 0 134 0
[pid=89542] ppid=89521 vsize=550844 memory=509396 CPUtime=3600.02 cores=4,6
/proc/89542/stat : 89542 (naps-1.03) R 89521 89521 89453 0 -1 4194304 130395 0 0 0 359828 174 0 0 20 0 1 0 8366242 564064256 127349 134679101440 4194304 6891213 140722316368944 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30011392 140722316370932 140722316371048 140722316371048 140722316378059 0
/proc/89542/statm: 137711 127349 468 659 0 136915 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 560776 KiB
Current children cumulated memory: 512168 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.8 s]
# the end of solver process 89521 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.00098 s, system=0.002095 s

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

# cumulated CPU time of all completed processes:  user=3598.28 s, system=1.74978 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.03
CPU user time (s): 3598.28
CPU system time (s): 1.74978
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 689068
Max. memory (cumulated for all children) (KiB): 557444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.74978
maximum resident set size= 614524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130857
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= 124
involuntary context switches= 4518


# summary of solver processes directly reported to runsolver:
#   pid: 89521,89542
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.28
#   total CPU system time (s): 1.74978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94564 second user time and 20.692 second system time

The end