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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426576-1720909512/watcher-4426576-1720909512 -o /tmp/evaluation-result-4426576-1720909512/solver-4426576-1720909512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720905472-732678 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426576-1720909512.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=737681, runsolver pid=737678
Current StackSize limit: 8192 KiB


[startup+0.100232 s]*
/proc/loadavg: 4.33 4.22 4.13 5/265 737686
/proc/meminfo: memFree=93171688/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=14948 memory=13088 CPUtime=0.08 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 3226 0 0 0 8 0 0 0 20 0 1 0 143113047 15306752 3272 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 3737 3272 580 659 0 2941 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 24880 KiB
Current children cumulated memory: 15828 KiB

[startup+0.206125 s]*
/proc/loadavg: 4.33 4.22 4.13 5/265 737686
/proc/meminfo: memFree=93161624/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=24100 memory=22712 CPUtime=0.19 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 5607 0 0 0 18 1 0 0 20 0 1 0 143113047 24678400 5678 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 6025 5678 612 659 0 5229 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34032 KiB
Current children cumulated memory: 25452 KiB

[startup+0.30597 s]*
/proc/loadavg: 4.33 4.22 4.13 5/265 737686
/proc/meminfo: memFree=93159428/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=25852 memory=24560 CPUtime=0.29 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 6049 0 0 0 28 1 0 0 20 0 1 0 143113047 26472448 6140 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 6463 6140 612 659 0 5667 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35784 KiB
Current children cumulated memory: 27300 KiB

[startup+0.700271 s]
/proc/loadavg: 4.33 4.22 4.13 5/265 737686
/proc/meminfo: memFree=93159288/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=25852 memory=24560 CPUtime=0.68 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 6049 0 0 0 67 1 0 0 20 0 1 0 143113047 26472448 6140 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 6463 6140 612 659 0 5667 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35784 KiB
Current children cumulated memory: 27300 KiB

[startup+1.50025 s]
/proc/loadavg: 4.31 4.21 4.13 5/265 737686
/proc/meminfo: memFree=93159260/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=30568 memory=27200 CPUtime=1.48 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 6749 0 0 0 147 1 0 0 20 0 1 0 143113047 31301632 6800 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 7642 6800 612 659 0 6846 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40500 KiB
Current children cumulated memory: 29940 KiB

[startup+3.10581 s]
/proc/loadavg: 4.31 4.21 4.13 5/265 737686
/proc/meminfo: memFree=92471884/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=771056 memory=733224 CPUtime=3.08 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 77079 0 0 0 287 21 0 0 20 0 1 0 143113047 789561344 183306 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 192764 183306 612 659 0 191968 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 780988 KiB
Current children cumulated memory: 735964 KiB

[startup+6.30027 s]
/proc/loadavg: 4.28 4.21 4.12 5/265 737686
/proc/meminfo: memFree=92258024/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=962440 memory=923924 CPUtime=6.26 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 106921 0 0 0 598 28 0 0 20 0 1 0 143113047 985538560 230981 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 240610 230981 644 659 0 239814 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 972372 KiB
Current children cumulated memory: 926664 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.20 4.12 5/265 737688
/proc/meminfo: memFree=92256412/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=962440 memory=924276 CPUtime=12.64 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 107114 0 0 0 1236 28 0 0 20 0 1 0 143113047 985538560 231069 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 240610 231069 644 659 0 239814 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 972372 KiB
Current children cumulated memory: 927016 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.20 4.12 5/263 737689
/proc/meminfo: memFree=91997068/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1255124 memory=1194500 CPUtime=25.4 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 118515 0 0 0 2489 51 0 0 20 0 1 0 143113047 1285246976 298625 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 313781 298625 660 659 0 312985 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1265056 KiB
Current children cumulated memory: 1197240 KiB

[startup+51.1059 s]
/proc/loadavg: 4.13 4.18 4.12 5/263 737694
/proc/meminfo: memFree=94780768/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1231908 memory=1198948 CPUtime=50.93 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 135740 0 0 0 5010 83 0 0 20 0 1 0 143113047 1261473792 299737 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 307977 299737 660 659 0 307181 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1241840 KiB
Current children cumulated memory: 1201688 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/266 737763
/proc/meminfo: memFree=115773648/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1424672 memory=1255052 CPUtime=101.96 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 152365 0 0 0 10063 133 0 0 20 0 1 0 143113047 1458864128 313763 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 356168 313763 660 659 0 355372 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1434604 KiB
Current children cumulated memory: 1257792 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/266 737774
/proc/meminfo: memFree=115758252/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1427044 memory=1261520 CPUtime=161.78 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 160123 0 0 0 16017 161 0 0 20 0 1 0 143113047 1461293056 315380 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 356761 315380 660 659 0 355965 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1436976 KiB
Current children cumulated memory: 1264260 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/266 737952
/proc/meminfo: memFree=115735420/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1429860 memory=1264336 CPUtime=221.59 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 163421 0 0 0 21985 174 0 0 20 0 1 0 143113047 1464176640 316084 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 357465 316084 660 659 0 356669 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1439792 KiB

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

/proc/737686/statm: 396093 380394 660 659 0 395297 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 1594304 KiB
Current children cumulated memory: 1524316 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 739102
/proc/meminfo: memFree=115193912/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1584680 memory=1521884 CPUtime=3092.72 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 237779 0 0 0 308862 410 0 0 20 0 1 0 143113047 1622712320 380471 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396170 380471 660 659 0 395374 0
Current children cumulated CPU time: 3092.72 s
Current children cumulated vsize: 1594612 KiB
Current children cumulated memory: 1524624 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 739113
/proc/meminfo: memFree=115200516/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1584952 memory=1522156 CPUtime=3152.53 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 238867 0 0 0 314839 414 0 0 20 0 1 0 143113047 1622990848 380539 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396238 380539 660 659 0 395442 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 1594884 KiB
Current children cumulated memory: 1524896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/259 739123
/proc/meminfo: memFree=115208460/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1585376 memory=1522580 CPUtime=3212.36 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 240436 0 0 0 320813 423 0 0 20 0 1 0 143113047 1623425024 380645 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396344 380645 660 659 0 395548 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 1595308 KiB
Current children cumulated memory: 1525320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/258 739133
/proc/meminfo: memFree=115108812/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1585628 memory=1522832 CPUtime=3272.17 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 241185 0 0 0 326791 426 0 0 20 0 1 0 143113047 1623683072 380708 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396407 380708 660 659 0 395611 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 1595560 KiB
Current children cumulated memory: 1525572 KiB

[startup+3342.3 s]
/proc/loadavg: 3.98 4.14 4.10 4/252 739180
/proc/meminfo: memFree=118040616/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1585628 memory=1522832 CPUtime=3331.99 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 241449 0 0 0 332773 426 0 0 20 0 1 0 143113047 1623683072 380708 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396407 380708 660 659 0 395611 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 1595560 KiB
Current children cumulated memory: 1525572 KiB

[startup+3402.3 s]
/proc/loadavg: 3.41 3.94 4.04 4/252 739190
/proc/meminfo: memFree=118040108/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1585864 memory=1523068 CPUtime=3391.8 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 242250 0 0 0 338749 431 0 0 20 0 1 0 143113047 1623924736 380767 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396466 380767 660 659 0 395670 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 1595796 KiB
Current children cumulated memory: 1525808 KiB

[startup+3462.3 s]
/proc/loadavg: 3.27 3.80 3.98 4/252 739200
/proc/meminfo: memFree=118039680/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1586052 memory=1523256 CPUtime=3451.62 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 243299 0 0 0 344725 437 0 0 20 0 1 0 143113047 1624117248 380814 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396513 380814 660 659 0 395717 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 1595984 KiB
Current children cumulated memory: 1525996 KiB

[startup+3522.3 s]
/proc/loadavg: 2.81 3.59 3.89 3/245 739243
/proc/meminfo: memFree=123633744/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1586144 memory=1523456 CPUtime=3511.44 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 244120 0 0 0 350702 442 0 0 20 0 1 0 143113047 1624211456 380864 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396536 380864 660 659 0 395740 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 1596076 KiB
Current children cumulated memory: 1526196 KiB

[startup+3582.3 s]
/proc/loadavg: 2.34 3.31 3.78 4/249 739475
/proc/meminfo: memFree=123622624/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1586544 memory=1524668 CPUtime=3571.26 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 245190 0 0 0 356680 446 0 0 20 0 1 0 143113047 1624621056 381167 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396636 381167 660 659 0 395840 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 1596476 KiB
Current children cumulated memory: 1527408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 2.28 3.22 3.73 3/244 739640
/proc/meminfo: memFree=123723208/131524600 swapFree=131071996/131071996
[pid=737681] ppid=737678 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/737681/stat : 737681 (naps-1.03.sh) S 737678 737681 730360 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 143113047 10170368 685 134679101440 94455720013824 94455721093144 140731639016176 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94455723191600 94455723238788 94455752671232 140731639018416 140731639018541 140731639018541 140731639025608 0
/proc/737681/statm: 2483 685 607 264 0 134 0
[pid=737686] ppid=737681 vsize=1586544 memory=1524668 CPUtime=3600.06 cores=1,3
/proc/737686/stat : 737686 (naps-1.03) R 737681 737681 730360 0 -1 4194304 245386 0 0 0 359560 446 0 0 20 0 1 0 143113047 1624621056 381167 134679101440 4194304 6891213 140737358585648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29605888 140737358590913 140737358591025 140737358591025 140737358598091 0
/proc/737686/statm: 396636 381167 660 659 0 395840 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1596476 KiB
Current children cumulated memory: 1527408 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002451 s, system=0.000485 s

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

# cumulated CPU time of all completed processes:  user=3595.61 s, system=4.49536 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): 3611.23
CPU time (s): 3600.11
CPU user time (s): 3595.61
CPU system time (s): 4.49536
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 1889560
Max. memory (cumulated for all children) (KiB): 1819552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.61
system time used= 4.49536
maximum resident set size= 1816812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245847
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= 50
involuntary context switches= 1411


# summary of solver processes directly reported to runsolver:
#   pid: 737681,737686
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3595.61
#   total CPU system time (s): 4.49536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56905 second user time and 18.3953 second system time

The end