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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461305-1722076197/watcher-4461305-1722076197 -o /tmp/evaluation-result-4461305-1722076197/solver-4461305-1722076197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722076197-324708 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461305-1722076197.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
solver pid=324751, runsolver pid=324746
Current StackSize limit: 8192 KiB


[startup+0.100372 s]*
/proc/loadavg: 0.84 1.35 1.86 5/264 324787
/proc/meminfo: memFree=126348172/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=32832 memory=28884 CPUtime=0.08 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 6687 0 0 0 8 0 0 0 20 0 1 0 44148247 33619968 7221 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 8208 7221 468 659 0 7412 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42764 KiB
Current children cumulated memory: 31540 KiB

[startup+0.206372 s]*
/proc/loadavg: 0.84 1.35 1.86 5/264 324787
/proc/meminfo: memFree=126272812/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=35912 memory=32096 CPUtime=0.19 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 8613 0 0 0 18 1 0 0 20 0 1 0 44148247 36773888 8024 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 8978 8024 468 659 0 8182 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45844 KiB
Current children cumulated memory: 34752 KiB

[startup+0.306388 s]*
/proc/loadavg: 0.84 1.35 1.86 5/264 324787
/proc/meminfo: memFree=126236436/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=40260 memory=35264 CPUtime=0.29 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 9348 0 0 0 28 1 0 0 20 0 1 0 44148247 41226240 8816 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 10065 8816 468 659 0 9269 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50192 KiB
Current children cumulated memory: 37920 KiB

[startup+0.700267 s]
/proc/loadavg: 0.84 1.35 1.86 5/264 324787
/proc/meminfo: memFree=126187072/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=88380 memory=82212 CPUtime=0.68 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 19430 0 0 0 65 3 0 0 20 0 1 0 44148247 90501120 20553 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 22095 20553 468 659 0 21299 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98312 KiB
Current children cumulated memory: 84868 KiB

[startup+1.50027 s]
/proc/loadavg: 1.17 1.41 1.87 5/264 324787
/proc/meminfo: memFree=126123344/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=91060 memory=86908 CPUtime=1.47 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 20989 0 0 0 144 3 0 0 20 0 1 0 44148247 93245440 21727 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 22765 21727 468 659 0 21969 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 100992 KiB
Current children cumulated memory: 89564 KiB

[startup+3.10649 s]
/proc/loadavg: 1.17 1.41 1.87 5/264 324787
/proc/meminfo: memFree=125974356/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=109276 memory=104100 CPUtime=3.07 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 21776 0 0 0 304 3 0 0 20 0 1 0 44148247 111898624 26025 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 27319 26025 468 659 0 26523 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119208 KiB
Current children cumulated memory: 106756 KiB

[startup+6.30024 s]
/proc/loadavg: 1.40 1.45 1.88 5/264 324787
/proc/meminfo: memFree=125906252/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=132552 memory=107384 CPUtime=6.25 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 22846 0 0 0 621 4 0 0 20 0 1 0 44148247 135733248 26846 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 33138 26846 468 659 0 32342 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 142484 KiB
Current children cumulated memory: 110040 KiB

[startup+12.7003 s]
/proc/loadavg: 1.61 1.49 1.90 5/264 324789
/proc/meminfo: memFree=125778588/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=212692 memory=165412 CPUtime=12.63 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 23716 0 0 0 1257 6 0 0 20 0 1 0 44148247 217796608 41353 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 53173 41353 468 659 0 52377 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 222624 KiB
Current children cumulated memory: 168068 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 1.58 1.92 5/264 324792
/proc/meminfo: memFree=125780500/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=132740 memory=128688 CPUtime=25.38 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 24834 0 0 0 2529 9 0 0 20 0 1 0 44148247 135925760 32172 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 33185 32172 468 659 0 32389 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 142672 KiB
Current children cumulated memory: 131344 KiB

[startup+51.1065 s]
/proc/loadavg: 2.83 1.83 1.99 5/264 324797
/proc/meminfo: memFree=125694832/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=151480 memory=147428 CPUtime=50.91 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 27048 0 0 0 5076 15 0 0 20 0 1 0 44148247 155115520 36857 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 37870 36857 468 659 0 37074 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 161412 KiB
Current children cumulated memory: 150084 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.16 2.10 5/266 324866
/proc/meminfo: memFree=125552552/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=234280 memory=213972 CPUtime=101.93 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 30625 0 0 0 10172 21 0 0 20 0 1 0 44148247 239902720 53493 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 58570 53493 468 659 0 57774 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 244212 KiB
Current children cumulated memory: 216628 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.53 2.23 5/266 324876
/proc/meminfo: memFree=125473808/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=265100 memory=251220 CPUtime=161.72 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 34043 0 0 0 16146 26 0 0 20 0 1 0 44148247 271462400 62805 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 66275 62805 468 659 0 65479 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 253876 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.82 2.35 5/266 324887
/proc/meminfo: memFree=125435656/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=315188 memory=283108 CPUtime=221.5 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 38008 0 0 0 22119 31 0 0 20 0 1 0 44148247 322752512 70777 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 78797 70777 468 659 0 78001 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 325120 KiB

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

/proc/loadavg: 4.21 4.15 4.10 5/258 325972
/proc/meminfo: memFree=124501636/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=504024 memory=422164 CPUtime=3031.9 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 112898 0 0 0 303043 147 0 0 20 0 1 0 44148247 516120576 105541 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 126006 105541 468 659 0 125210 0
Current children cumulated CPU time: 3031.9 s
Current children cumulated vsize: 513956 KiB
Current children cumulated memory: 424820 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/261 325988
/proc/meminfo: memFree=124353252/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=504528 memory=471720 CPUtime=3091.7 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 113240 0 0 0 309022 148 0 0 20 0 1 0 44148247 516636672 117930 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 126132 117930 468 659 0 125336 0
Current children cumulated CPU time: 3091.7 s
Current children cumulated vsize: 514460 KiB
Current children cumulated memory: 474376 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/261 325998
/proc/meminfo: memFree=124197544/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=639992 memory=523364 CPUtime=3151.5 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 114605 0 0 0 315002 148 0 0 20 0 1 0 44148247 655351808 130841 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 159998 130841 468 659 0 159202 0
Current children cumulated CPU time: 3151.5 s
Current children cumulated vsize: 649924 KiB
Current children cumulated memory: 526020 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 326009
/proc/meminfo: memFree=124197664/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=507732 memory=422692 CPUtime=3211.3 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 116429 0 0 0 320978 152 0 0 20 0 1 0 44148247 519917568 105673 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 126933 105673 468 659 0 126137 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 517664 KiB
Current children cumulated memory: 425348 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 326019
/proc/meminfo: memFree=124058868/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=508068 memory=463960 CPUtime=3271.08 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 116654 0 0 0 326956 152 0 0 20 0 1 0 44148247 520261632 115990 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 127017 115990 468 659 0 126221 0
Current children cumulated CPU time: 3271.08 s
Current children cumulated vsize: 518000 KiB
Current children cumulated memory: 466616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/261 326029
/proc/meminfo: memFree=124080688/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=642492 memory=533388 CPUtime=3330.88 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 117802 0 0 0 332933 155 0 0 20 0 1 0 44148247 657911808 133347 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 160623 133347 468 659 0 159827 0
Current children cumulated CPU time: 3330.88 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 536044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 326424
/proc/meminfo: memFree=124245768/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=432552 memory=381048 CPUtime=3390.65 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 119350 0 0 0 338908 157 0 0 20 0 1 0 44148247 442933248 95262 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 108138 95262 468 659 0 107342 0
Current children cumulated CPU time: 3390.65 s
Current children cumulated vsize: 442484 KiB
Current children cumulated memory: 383704 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 326435
/proc/meminfo: memFree=124099464/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=432552 memory=428388 CPUtime=3450.45 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 119564 0 0 0 344887 158 0 0 20 0 1 0 44148247 442933248 107097 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 108138 107097 468 659 0 107342 0
Current children cumulated CPU time: 3450.45 s
Current children cumulated vsize: 442484 KiB
Current children cumulated memory: 431044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/259 326445
/proc/meminfo: memFree=124761500/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=514108 memory=475628 CPUtime=3510.25 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 120356 0 0 0 350866 159 0 0 20 0 1 0 44148247 526446592 118907 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 128527 118907 468 659 0 127731 0
Current children cumulated CPU time: 3510.25 s
Current children cumulated vsize: 524040 KiB
Current children cumulated memory: 478284 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 326625
/proc/meminfo: memFree=124614640/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=515456 memory=509264 CPUtime=3570.07 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 120867 0 0 0 356846 161 0 0 20 0 1 0 44148247 527826944 127316 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 128864 127316 468 659 0 128068 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 525388 KiB
Current children cumulated memory: 511920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 326831
/proc/meminfo: memFree=125116636/131524600 swapFree=131056028/131071996
[pid=324751] ppid=324746 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/324751/stat : 324751 (naps-1.03.sh) S 324746 324751 324698 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 44148247 10170368 664 134679101440 94611452071936 94611453151256 140723678951200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94611455249712 94611455296900 94611464806400 140723678954461 140723678954590 140723678954590 140723678961608 0
/proc/324751/statm: 2483 664 586 264 0 134 0
[pid=324771] ppid=324751 vsize=649740 memory=529328 CPUtime=3600.07 cores=0,2
/proc/324771/stat : 324771 (naps-1.03) R 324751 324751 324698 0 -1 4194304 121900 0 0 0 359845 162 0 0 20 0 1 0 44148247 665333760 132332 134679101440 4194304 6891597 140723318773056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 35037184 140723318776814 140723318776930 140723318776930 140723318783947 0
/proc/324771/statm: 162435 132332 468 659 0 161639 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 659672 KiB
Current children cumulated memory: 531984 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.46 s, system=1.62473 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.4
CPU time (s): 3600.08
CPU user time (s): 3598.46
CPU system time (s): 1.62473
CPU usage (%): 99.6589
Max. virtual memory (cumulated for all children) (KiB): 736272
Max. memory (cumulated for all children) (KiB): 594108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.46
system time used= 1.62473
maximum resident set size= 623180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122377
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= 133
involuntary context switches= 25250


# summary of solver processes directly reported to runsolver:
#   pid: 324751
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.46
#   total CPU system time (s): 1.62473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1097 second user time and 19.6354 second system time

The end