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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=13494, runsolver pid=13488
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 1.50 2.48 3.32 5/249 13523
/proc/meminfo: memFree=130050536/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=19776 memory=14656 CPUtime=0.09 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 3123 0 0 0 8 1 0 0 20 0 1 0 1605986 20250624 3664 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 4944 3664 468 659 0 4148 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29708 KiB
Current children cumulated memory: 17344 KiB

[startup+0.214041 s]*
/proc/loadavg: 1.50 2.48 3.32 5/249 13523
/proc/meminfo: memFree=130005352/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=27960 memory=22632 CPUtime=0.2 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 5128 0 0 0 18 2 0 0 20 0 1 0 1605986 28631040 5658 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 6990 5658 468 659 0 6194 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 25320 KiB

[startup+0.313829 s]*
/proc/loadavg: 1.50 2.48 3.32 5/249 13523
/proc/meminfo: memFree=129954428/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=28096 memory=23260 CPUtime=0.3 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 5871 0 0 0 28 2 0 0 20 0 1 0 1605986 28770304 5815 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 7024 5815 468 659 0 6228 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 25948 KiB

[startup+0.700387 s]
/proc/loadavg: 1.50 2.48 3.32 5/249 13523
/proc/meminfo: memFree=129881212/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=42052 memory=37016 CPUtime=0.67 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 9824 0 0 0 63 4 0 0 20 0 1 0 1605986 43061248 9254 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 10513 9254 468 659 0 9717 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51984 KiB
Current children cumulated memory: 39704 KiB

[startup+1.50044 s]
/proc/loadavg: 1.50 2.48 3.32 5/249 13523
/proc/meminfo: memFree=129815700/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=68088 memory=60988 CPUtime=1.47 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 13558 0 0 0 141 6 0 0 20 0 1 0 1605986 69722112 15247 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 17022 15247 468 659 0 16226 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78020 KiB
Current children cumulated memory: 63676 KiB

[startup+3.11312 s]
/proc/loadavg: 1.50 2.48 3.32 5/249 13523
/proc/meminfo: memFree=129664232/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=75268 memory=70088 CPUtime=3.08 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 14695 0 0 0 301 7 0 0 20 0 1 0 1605986 77074432 17522 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 18817 17522 468 659 0 18021 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85200 KiB
Current children cumulated memory: 72776 KiB

[startup+6.3004 s]
/proc/loadavg: 1.78 2.52 3.33 5/249 13523
/proc/meminfo: memFree=129599252/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=102936 memory=78140 CPUtime=6.26 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 16237 0 0 0 618 8 0 0 20 0 1 0 1605986 105406464 19535 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 25734 19535 468 659 0 24938 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 112868 KiB
Current children cumulated memory: 80828 KiB

[startup+12.7004 s]
/proc/loadavg: 1.96 2.54 3.34 5/249 13525
/proc/meminfo: memFree=129519480/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=115516 memory=108844 CPUtime=12.63 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 17666 0 0 0 1254 9 0 0 20 0 1 0 1605986 118288384 27211 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 28879 27211 468 659 0 28083 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 125448 KiB
Current children cumulated memory: 111532 KiB

[startup+25.5004 s]
/proc/loadavg: 2.41 2.62 3.35 5/249 13526
/proc/meminfo: memFree=129380800/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=195656 memory=171568 CPUtime=25.39 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 19940 0 0 0 2528 11 0 0 20 0 1 0 1605986 200351744 42892 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 48914 42892 468 659 0 48118 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 205588 KiB
Current children cumulated memory: 174256 KiB

[startup+51.1132 s]
/proc/loadavg: 3.04 2.74 3.37 5/249 13531
/proc/meminfo: memFree=129232932/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=196104 memory=188528 CPUtime=50.93 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 22050 0 0 0 5078 15 0 0 20 0 1 0 1605986 200810496 47132 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 49026 47132 468 659 0 48230 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 206036 KiB
Current children cumulated memory: 191216 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 2.96 3.41 5/248 13539
/proc/meminfo: memFree=128908004/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=276656 memory=238400 CPUtime=101.96 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 25353 0 0 0 10175 21 0 0 20 0 1 0 1605986 283295744 59600 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 69164 59600 468 659 0 68368 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 241088 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.16 3.46 5/248 13549
/proc/meminfo: memFree=128922604/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=239232 memory=231528 CPUtime=161.78 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 28240 0 0 0 16152 26 0 0 20 0 1 0 1605986 244973568 57882 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 59808 57882 468 659 0 59012 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 249164 KiB
Current children cumulated memory: 234216 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.35 3.50 5/245 13562
/proc/meminfo: memFree=128882908/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=289320 memory=271536 CPUtime=221.59 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 29867 0 0 0 22130 29 0 0 20 0 1 0 1605986 296263680 67884 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 72330 67884 468 659 0 71534 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 299252 KiB

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

/proc/13499/statm: 168248 136696 468 659 0 167452 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 682924 KiB
Current children cumulated memory: 549472 KiB

[startup+3102.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/242 15257
/proc/meminfo: memFree=127096508/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=676544 memory=578264 CPUtime=3093.57 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 103604 0 0 0 309226 131 0 0 20 0 1 0 1605986 692781056 144566 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 169136 144566 468 659 0 168340 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 686476 KiB
Current children cumulated memory: 580952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.79 4.37 4.19 5/242 15267
/proc/meminfo: memFree=126881976/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=680508 memory=609984 CPUtime=3153.41 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 104705 0 0 0 315209 132 0 0 20 0 1 0 1605986 696840192 152496 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 170127 152496 468 659 0 169331 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 690440 KiB
Current children cumulated memory: 612672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.34 4.32 4.18 5/242 15279
/proc/meminfo: memFree=127227648/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=473324 memory=441528 CPUtime=3213.24 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 106387 0 0 0 321189 135 0 0 20 0 1 0 1605986 484683776 110382 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 118331 110382 468 659 0 117535 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 483256 KiB
Current children cumulated memory: 444216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.58 4.37 4.20 5/242 15289
/proc/meminfo: memFree=126970296/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=554712 memory=485208 CPUtime=3273.09 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 107296 0 0 0 327172 137 0 0 20 0 1 0 1605986 568025088 121302 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 138678 121302 468 659 0 137882 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 564644 KiB
Current children cumulated memory: 487896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.71 4.47 4.25 5/243 15300
/proc/meminfo: memFree=126747760/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=554908 memory=517976 CPUtime=3332.9 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 107490 0 0 0 333153 137 0 0 20 0 1 0 1605986 568225792 129494 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 138727 129494 468 659 0 137931 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 564840 KiB
Current children cumulated memory: 520664 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.40 4.24 5/243 15311
/proc/meminfo: memFree=126933968/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=687312 memory=556740 CPUtime=3392.72 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 108067 0 0 0 339133 139 0 0 20 0 1 0 1605986 703807488 139185 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 171828 139185 468 659 0 171032 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 697244 KiB
Current children cumulated memory: 559428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.37 4.24 5/245 15325
/proc/meminfo: memFree=126675064/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=687480 memory=595920 CPUtime=3452.54 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 108247 0 0 0 345114 140 0 0 20 0 1 0 1605986 703979520 148980 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 171870 148980 468 659 0 171074 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 697412 KiB
Current children cumulated memory: 598608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.63 4.44 4.27 5/245 15335
/proc/meminfo: memFree=126798260/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=688432 memory=621288 CPUtime=3512.35 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 108684 0 0 0 351095 140 0 0 20 0 1 0 1605986 704954368 155322 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 172108 155322 468 659 0 171312 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 698364 KiB
Current children cumulated memory: 623976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.63 4.49 4.30 5/245 15345
/proc/meminfo: memFree=126544424/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=688604 memory=678772 CPUtime=3572.18 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 109065 0 0 0 357076 142 0 0 20 0 1 0 1605986 705130496 169693 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 172151 169693 468 659 0 171355 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 698536 KiB
Current children cumulated memory: 681460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.38 4.45 4.29 3/234 15382
/proc/meminfo: memFree=128059988/131655788 swapFree=131071472/131071996
[pid=13494] ppid=13488 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/13494/stat : 13494 (naps-1.03.sh) S 13488 13494 13434 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1605986 10170368 672 134679101440 94444612911104 94444613990424 140724527679792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94444616088880 94444616136068 94444632145920 140724527686627 140724527686756 140724527686756 140724527693768 0
/proc/13494/statm: 2483 672 595 264 0 134 0
[pid=13499] ppid=13494 vsize=903864 memory=705608 CPUtime=3600 cores=1,3
/proc/13499/stat : 13499 (naps-1.03a2) R 13494 13494 13434 0 -1 4194304 109736 0 0 0 359857 143 0 0 20 0 1 0 1605986 925556736 176402 134679101440 4194304 6891597 140724363104768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15667200 140724363109358 140724363109476 140724363109476 140724363116489 0
/proc/13499/statm: 225966 176402 468 659 0 225170 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 913796 KiB
Current children cumulated memory: 708296 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002967 s, system=0.004685 s

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

# cumulated CPU time of all completed processes:  user=3598.58 s, system=1.44229 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): 3610.21
CPU time (s): 3600.02
CPU user time (s): 3598.58
CPU system time (s): 1.44229
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 1028076
Max. memory (cumulated for all children) (KiB): 708296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.44229
maximum resident set size= 783720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110205
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= 183
involuntary context switches= 4375


# summary of solver processes directly reported to runsolver:
#   pid: 13494,13499
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.58
#   total CPU system time (s): 1.44229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4716 second user time and 36.2275 second system time

The end