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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461355-1722076807/watcher-4461355-1722076807 -o /tmp/evaluation-result-4461355-1722076807/solver-4461355-1722076807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722076558-326023 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461355-1722076807.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=326886, runsolver pid=326883

[startup+0.100094 s]*
/proc/loadavg: 4.25 2.94 2.59 5/259 326893
/proc/meminfo: memFree=107183388/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=33164 memory=30856 CPUtime=0.09 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 7604 0 0 0 8 1 0 0 20 0 1 0 44208618 33959936 7714 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 8291 7714 644 659 0 7495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43096 KiB
Current children cumulated memory: 33592 KiB

[startup+0.205864 s]*
/proc/loadavg: 4.25 2.94 2.59 5/259 326893
/proc/meminfo: memFree=107152040/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=41072 memory=36136 CPUtime=0.2 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 8955 0 0 0 19 1 0 0 20 0 1 0 44208618 42057728 9034 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 10268 9034 644 659 0 9472 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51004 KiB
Current children cumulated memory: 38872 KiB

[startup+0.305742 s]*
/proc/loadavg: 4.25 2.94 2.59 5/259 326893
/proc/meminfo: memFree=107124700/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=41804 memory=39832 CPUtime=0.3 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 9869 0 0 0 29 1 0 0 20 0 1 0 44208618 42807296 9958 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 10451 9958 644 659 0 9655 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51736 KiB
Current children cumulated memory: 42568 KiB

[startup+0.70028 s]
/proc/loadavg: 4.25 2.94 2.59 5/259 326893
/proc/meminfo: memFree=107216808/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=51452 memory=49924 CPUtime=0.69 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 14515 0 0 0 67 2 0 0 20 0 1 0 44208618 52686848 12481 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 12863 12481 660 659 0 12067 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61384 KiB
Current children cumulated memory: 52660 KiB

[startup+1.50027 s]
/proc/loadavg: 4.25 2.94 2.59 5/259 326893
/proc/meminfo: memFree=106672416/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=61224 memory=56560 CPUtime=1.48 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 16267 0 0 0 146 2 0 0 20 0 1 0 44208618 62693376 14140 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 15306 14140 660 659 0 14510 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 59296 KiB

[startup+3.10564 s]
/proc/loadavg: 4.23 2.96 2.60 4/256 326893
/proc/meminfo: memFree=108988288/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=62796 memory=58048 CPUtime=3.08 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 17157 0 0 0 305 3 0 0 20 0 1 0 44208618 64303104 14512 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 15699 14512 660 659 0 14903 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72728 KiB
Current children cumulated memory: 60784 KiB

[startup+6.30025 s]
/proc/loadavg: 4.23 2.96 2.60 5/259 326943
/proc/meminfo: memFree=108209852/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=58240 memory=55672 CPUtime=6.26 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 17165 0 0 0 623 3 0 0 20 0 1 0 44208618 59637760 13918 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 14560 13918 660 659 0 13764 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68172 KiB
Current children cumulated memory: 58408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 2.98 2.60 5/261 326948
/proc/meminfo: memFree=104523476/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=58240 memory=55672 CPUtime=12.64 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 17172 0 0 0 1261 3 0 0 20 0 1 0 44208618 59637760 13918 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 14560 13918 660 659 0 13764 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68172 KiB
Current children cumulated memory: 58408 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 3.03 2.63 5/261 326950
/proc/meminfo: memFree=97020028/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=56488 memory=53936 CPUtime=25.4 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 20409 0 0 0 2536 4 0 0 20 0 1 0 44208618 57843712 13484 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 14122 13484 660 659 0 13326 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66420 KiB
Current children cumulated memory: 56672 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 3.13 2.67 5/262 326957
/proc/meminfo: memFree=87659176/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=77564 memory=75012 CPUtime=50.92 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 26150 0 0 0 5085 7 0 0 20 0 1 0 44208618 79425536 18753 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 19391 18753 660 659 0 18595 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 87496 KiB
Current children cumulated memory: 77748 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 3.32 2.76 5/260 327024
/proc/meminfo: memFree=117134364/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=79896 memory=77188 CPUtime=101.95 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 35246 0 0 0 10184 11 0 0 20 0 1 0 44208618 81813504 19297 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 19974 19297 660 659 0 19178 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 89828 KiB
Current children cumulated memory: 79924 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 3.46 2.85 5/260 327035
/proc/meminfo: memFree=117055028/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=106804 memory=104588 CPUtime=161.73 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 38753 0 0 0 16160 13 0 0 20 0 1 0 44208618 109367296 26147 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 26701 26147 660 659 0 25905 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 116736 KiB
Current children cumulated memory: 107324 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.59 2.93 5/260 327046
/proc/meminfo: memFree=116982172/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=121732 memory=119480 CPUtime=221.54 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 39976 0 0 0 22140 14 0 0 20 0 1 0 44208618 124653568 29870 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 30433 29870 660 659 0 29637 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 131664 KiB

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

/proc/loadavg: 4.09 4.12 4.05 5/261 328746
/proc/meminfo: memFree=116398488/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=252100 memory=250008 CPUtime=3032.39 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 234301 0 0 0 302929 310 0 0 20 0 1 0 44208618 258150400 62502 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 63025 62502 660 659 0 62229 0
Current children cumulated CPU time: 3032.39 s
Current children cumulated vsize: 262032 KiB
Current children cumulated memory: 252744 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/261 328757
/proc/meminfo: memFree=116419740/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=252832 memory=250740 CPUtime=3092.17 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 238084 0 0 0 308898 319 0 0 20 0 1 0 44208618 258899968 62685 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 63208 62685 660 659 0 62412 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 262764 KiB
Current children cumulated memory: 253476 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.05 5/260 328767
/proc/meminfo: memFree=116422744/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=257388 memory=255296 CPUtime=3151.96 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 241649 0 0 0 314870 326 0 0 20 0 1 0 44208618 263565312 63824 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 64347 63824 660 659 0 63551 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 267320 KiB
Current children cumulated memory: 258032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/259 328778
/proc/meminfo: memFree=116391688/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=258860 memory=256768 CPUtime=3211.74 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 244038 0 0 0 320843 331 0 0 20 0 1 0 44208618 265072640 64192 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 64715 64192 660 659 0 63919 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 268792 KiB
Current children cumulated memory: 259504 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/260 328789
/proc/meminfo: memFree=116304988/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=255540 memory=253448 CPUtime=3271.53 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 246379 0 0 0 326819 334 0 0 20 0 1 0 44208618 261672960 63362 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 63885 63362 660 659 0 63089 0
Current children cumulated CPU time: 3271.53 s
Current children cumulated vsize: 265472 KiB
Current children cumulated memory: 256184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/256 328799
/proc/meminfo: memFree=116262580/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=255436 memory=253344 CPUtime=3331.32 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 250383 0 0 0 332789 343 0 0 20 0 1 0 44208618 261566464 63336 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 63859 63336 660 659 0 63063 0
Current children cumulated CPU time: 3331.32 s
Current children cumulated vsize: 265368 KiB
Current children cumulated memory: 256080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/256 328809
/proc/meminfo: memFree=116340308/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=255256 memory=253164 CPUtime=3391.1 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 252793 0 0 0 338760 350 0 0 20 0 1 0 44208618 261382144 63291 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 63814 63291 660 659 0 63018 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 265188 KiB
Current children cumulated memory: 255900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.07 5/257 328822
/proc/meminfo: memFree=116311872/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=251408 memory=249316 CPUtime=3450.89 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 256185 0 0 0 344731 358 0 0 20 0 1 0 44208618 257441792 62329 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 62852 62329 660 659 0 62056 0
Current children cumulated CPU time: 3450.89 s
Current children cumulated vsize: 261340 KiB
Current children cumulated memory: 252052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/257 328832
/proc/meminfo: memFree=116326472/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=254020 memory=251928 CPUtime=3510.68 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 259486 0 0 0 350703 365 0 0 20 0 1 0 44208618 260116480 62982 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 63505 62982 660 659 0 62709 0
Current children cumulated CPU time: 3510.68 s
Current children cumulated vsize: 263952 KiB
Current children cumulated memory: 254664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.15 4.09 5/256 328892
/proc/meminfo: memFree=116584008/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=257396 memory=255304 CPUtime=3570.47 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 261460 0 0 0 356677 370 0 0 20 0 1 0 44208618 263573504 63826 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 64349 63826 660 659 0 63553 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 267328 KiB
Current children cumulated memory: 258040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.30 4.17 4.10 5/258 329002
/proc/meminfo: memFree=116383720/131524600 swapFree=131060368/131071996
[pid=326886] ppid=326883 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/326886/stat : 326886 (naps-1.03.sh) S 326883 326886 326013 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44208618 10170368 684 134679101440 94459107606528 94459108685848 140729559469824 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94459110784304 94459110831492 94459129483264 140729559475173 140729559475298 140729559475298 140729559482312 0
/proc/326886/statm: 2483 684 605 264 0 134 0
[pid=326891] ppid=326886 vsize=259592 memory=257500 CPUtime=3600.07 cores=0,2
/proc/326891/stat : 326891 (naps-1.03) R 326886 326886 326013 0 -1 4194304 262906 0 0 0 359632 375 0 0 20 0 1 0 44208618 265822208 64375 134679101440 4194304 6891597 140723568806320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 28925952 140723568808950 140723568809062 140723568809062 140723568816075 0
/proc/326891/statm: 64898 64375 660 659 0 64102 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 269524 KiB
Current children cumulated memory: 260236 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.33 s, system=3.75316 s

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

Child status: 10

Real time (s): 3612.01
CPU time (s): 3600.08
CPU user time (s): 3596.33
CPU system time (s): 3.75316
CPU usage (%): 99.6699
Max. virtual memory (cumulated for all children) (KiB): 416124
Max. memory (cumulated for all children) (KiB): 402044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.33
system time used= 3.75316
maximum resident set size= 399308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263384
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= 48
involuntary context switches= 25196


# summary of solver processes directly reported to runsolver:
#   pid: 326886
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3596.33
#   total CPU system time (s): 3.75316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50381 second user time and 17.975 second system time

The end