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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459239-1721898459/watcher-4459239-1721898459 -o /tmp/evaluation-result-4459239-1721898459/solver-4459239-1721898459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721891213-227737 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4459239-1721898459.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100708 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 232029
/proc/meminfo: memFree=102515728/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=12792 memory=11584 CPUtime=0.09 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 2595 0 0 0 9 0 0 0 20 0 1 0 26375167 13099008 2896 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 3198 2896 644 659 0 2402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22724 KiB
Current children cumulated memory: 14260 KiB

[startup+0.206707 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 232029
/proc/meminfo: memFree=102515056/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=13476 memory=12112 CPUtime=0.19 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 2772 0 0 0 19 0 0 0 20 0 1 0 26375167 13799424 3028 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 3369 3028 644 659 0 2573 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23408 KiB
Current children cumulated memory: 14788 KiB

[startup+0.305695 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 232029
/proc/meminfo: memFree=102514036/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=13788 memory=12668 CPUtime=0.28 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 3024 0 0 0 28 0 0 0 20 0 1 0 26375167 14118912 3167 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 3447 3167 644 659 0 2651 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 23720 KiB
Current children cumulated memory: 15344 KiB

[startup+0.700257 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 232029
/proc/meminfo: memFree=102514612/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=13496 memory=12196 CPUtime=0.66 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 4071 0 0 0 66 0 0 0 20 0 1 0 26375167 13819904 3049 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 3374 3049 660 659 0 2578 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 23428 KiB
Current children cumulated memory: 14872 KiB

[startup+1.50029 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 232029
/proc/meminfo: memFree=102513000/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=15900 memory=14588 CPUtime=1.46 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 5257 0 0 0 146 0 0 0 20 0 1 0 26375167 16281600 3647 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 3975 3647 660 659 0 3179 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 25832 KiB
Current children cumulated memory: 17264 KiB

[startup+3.10571 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 232029
/proc/meminfo: memFree=102507340/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=21156 memory=19800 CPUtime=3.06 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 6061 0 0 0 306 0 0 0 20 0 1 0 26375167 21663744 4950 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 5289 4950 660 659 0 4493 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 31088 KiB
Current children cumulated memory: 22476 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 232079
/proc/meminfo: memFree=107297080/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=20372 memory=19096 CPUtime=6.25 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 8557 0 0 0 624 1 0 0 20 0 1 0 26375167 20860928 4774 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 5093 4774 660 659 0 4297 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 30304 KiB
Current children cumulated memory: 21772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/259 232080
/proc/meminfo: memFree=105973172/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=23104 memory=21468 CPUtime=12.63 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 10328 0 0 0 1262 1 0 0 20 0 1 0 26375167 23658496 5367 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 5776 5367 660 659 0 4980 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33036 KiB
Current children cumulated memory: 24144 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 232082
/proc/meminfo: memFree=106244784/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=44520 memory=43064 CPUtime=25.4 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 15214 0 0 0 2537 3 0 0 20 0 1 0 26375167 45588480 10766 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 11130 10766 660 659 0 10334 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 54452 KiB
Current children cumulated memory: 45740 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 232086
/proc/meminfo: memFree=106048320/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=41712 memory=40564 CPUtime=50.93 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 17543 0 0 0 5089 4 0 0 20 0 1 0 26375167 42713088 10141 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 10428 10141 660 659 0 9632 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 51644 KiB
Current children cumulated memory: 43240 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/260 232096
/proc/meminfo: memFree=103631420/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=68740 memory=67336 CPUtime=101.98 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 21796 0 0 0 10192 6 0 0 20 0 1 0 26375167 70389760 16834 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 17185 16834 660 659 0 16389 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 78672 KiB
Current children cumulated memory: 70012 KiB

[startup+162.3 s]
/proc/loadavg: 4.80 4.35 4.18 5/262 232111
/proc/meminfo: memFree=103012500/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=89516 memory=88240 CPUtime=161.82 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 24719 0 0 0 16174 8 0 0 20 0 1 0 26375167 91664384 22060 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 22379 22060 660 659 0 21583 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 99448 KiB
Current children cumulated memory: 90916 KiB

[startup+222.3 s]
/proc/loadavg: 4.40 4.31 4.18 5/262 232122
/proc/meminfo: memFree=101262900/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=100676 memory=99188 CPUtime=221.66 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 25497 0 0 0 22158 8 0 0 20 0 1 0 26375167 103092224 24797 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 25169 24797 660 659 0 24373 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 4.11 4.12 4.10 5/261 233959
/proc/meminfo: memFree=124768660/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=194008 memory=193044 CPUtime=3033.83 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 109494 0 0 0 303256 127 0 0 20 0 1 0 26375167 198664192 48261 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 48502 48261 660 659 0 47706 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 203940 KiB
Current children cumulated memory: 195720 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 233970
/proc/meminfo: memFree=124814576/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=192796 memory=191832 CPUtime=3093.69 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 110965 0 0 0 309238 131 0 0 20 0 1 0 26375167 197423104 47958 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 48199 47958 660 659 0 47403 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 202728 KiB
Current children cumulated memory: 194508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 233985
/proc/meminfo: memFree=124811212/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=195208 memory=194244 CPUtime=3153.53 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 112936 0 0 0 315218 135 0 0 20 0 1 0 26375167 199892992 48561 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 48802 48561 660 659 0 48006 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 205140 KiB
Current children cumulated memory: 196920 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 234007
/proc/meminfo: memFree=124785260/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=218592 memory=217628 CPUtime=3213.38 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 114169 0 0 0 321200 138 0 0 20 0 1 0 26375167 223838208 54407 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 54648 54407 660 659 0 53852 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 228524 KiB
Current children cumulated memory: 220304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 234019
/proc/meminfo: memFree=124802664/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=202716 memory=199476 CPUtime=3273.22 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 116981 0 0 0 327179 143 0 0 20 0 1 0 26375167 207581184 49869 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 50679 49869 660 659 0 49883 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 212648 KiB
Current children cumulated memory: 202152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 234030
/proc/meminfo: memFree=124824208/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=177720 memory=175184 CPUtime=3333.07 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 118795 0 0 0 333161 146 0 0 20 0 1 0 26375167 181985280 43796 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 44430 43796 660 659 0 43634 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 187652 KiB
Current children cumulated memory: 177860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 234040
/proc/meminfo: memFree=124794056/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=203752 memory=202520 CPUtime=3392.92 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 121410 0 0 0 339143 149 0 0 20 0 1 0 26375167 208642048 50630 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 50938 50630 660 659 0 50142 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 213684 KiB
Current children cumulated memory: 205196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 234050
/proc/meminfo: memFree=124793380/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=203268 memory=202184 CPUtime=3452.77 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 123010 0 0 0 345126 151 0 0 20 0 1 0 26375167 208146432 50546 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 50817 50546 660 659 0 50021 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 213200 KiB
Current children cumulated memory: 204860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 234060
/proc/meminfo: memFree=124785928/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=210212 memory=209192 CPUtime=3512.61 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 124884 0 0 0 351110 151 0 0 20 0 1 0 26375167 215257088 52298 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 52553 52298 660 659 0 51757 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 220144 KiB
Current children cumulated memory: 211868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 234072
/proc/meminfo: memFree=124808880/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=152340 memory=151504 CPUtime=3572.46 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 126560 0 0 0 357092 154 0 0 20 0 1 0 26375167 155996160 37876 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 38085 37876 660 659 0 37289 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 162272 KiB
Current children cumulated memory: 154180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.85 4.04 4.07 4/252 234107
/proc/meminfo: memFree=124893776/131524600 swapFree=131053920/131071996
[pid=232024] ppid=232021 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/232024/stat : 232024 (naps-1.03.sh) S 232021 232024 227724 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 26375167 10170368 669 134679101440 94179561971712 94179563051032 140725462993168 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94179565149488 94179565196676 94179596890112 140725462995940 140725462996065 140725462996065 140725463003080 0
/proc/232024/statm: 2483 669 591 264 0 134 0
[pid=232029] ppid=232024 vsize=147620 memory=146704 CPUtime=3600.09 cores=5,7
/proc/232029/stat : 232029 (naps-1.03) R 232024 232024 227724 0 -1 4194304 127332 0 0 0 359854 155 0 0 20 0 1 0 26375167 151162880 36676 134679101440 4194304 6891213 140736221757392 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35831808 140736221766645 140736221766757 140736221766757 140736221773771 0
/proc/232029/statm: 36905 36676 660 659 0 36109 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 157552 KiB
Current children cumulated memory: 149380 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.55 s, system=1.55473 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): 3610.01
CPU time (s): 3600.1
CPU user time (s): 3598.55
CPU system time (s): 1.55473
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 318804
Max. memory (cumulated for all children) (KiB): 282424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.55473
maximum resident set size= 305480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127807
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= 33
involuntary context switches= 1769


# summary of solver processes directly reported to runsolver:
#   pid: 232024
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.55
#   total CPU system time (s): 1.55473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86187 second user time and 18.036 second system time

The end