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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461616-1722077384/watcher-4461616-1722077384 -o /tmp/evaluation-result-4461616-1722077384/solver-4461616-1722077384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722075732-332151 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461616-1722077384.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=333774, runsolver pid=333771

[startup+0.100085 s]*
/proc/loadavg: 4.67 4.40 4.03 5/263 333779
/proc/meminfo: memFree=107705944/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=14944 memory=13008 CPUtime=0.09 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 3219 0 0 0 9 0 0 0 20 0 1 0 44261993 15302656 3252 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 3736 3252 580 659 0 2940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24876 KiB
Current children cumulated memory: 15764 KiB

[startup+0.205841 s]*
/proc/loadavg: 4.67 4.40 4.03 5/263 333781
/proc/meminfo: memFree=107695104/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=25936 memory=23732 CPUtime=0.19 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 5871 0 0 0 19 0 0 0 20 0 1 0 44261993 26558464 5933 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 6484 5933 580 659 0 5688 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35868 KiB
Current children cumulated memory: 26488 KiB

[startup+0.305777 s]*
/proc/loadavg: 4.67 4.40 4.03 5/263 333781
/proc/meminfo: memFree=107416920/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=37024 memory=34820 CPUtime=0.3 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 8696 0 0 0 29 1 0 0 20 0 1 0 44261993 37912576 8705 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 9256 8705 580 659 0 8460 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46956 KiB
Current children cumulated memory: 37576 KiB

[startup+0.70027 s]
/proc/loadavg: 4.67 4.40 4.03 5/263 333781
/proc/meminfo: memFree=107262468/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=57988 memory=56060 CPUtime=0.68 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 13957 0 0 0 66 2 0 0 20 0 1 0 44261993 59379712 14015 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 14497 14015 612 659 0 13701 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67920 KiB
Current children cumulated memory: 58816 KiB

[startup+1.50024 s]
/proc/loadavg: 4.67 4.40 4.03 6/263 333781
/proc/meminfo: memFree=107100900/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=57988 memory=56060 CPUtime=1.48 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 13957 0 0 0 146 2 0 0 20 0 1 0 44261993 59379712 14015 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 14497 14015 612 659 0 13701 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67920 KiB
Current children cumulated memory: 58816 KiB

[startup+3.10515 s]
/proc/loadavg: 4.67 4.40 4.03 6/263 333781
/proc/meminfo: memFree=105313348/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=388000 memory=367912 CPUtime=3.08 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 51400 0 0 0 296 12 0 0 20 0 1 0 44261993 397312000 91978 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 97000 91978 612 659 0 96204 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 397932 KiB
Current children cumulated memory: 370668 KiB

[startup+6.30022 s]
/proc/loadavg: 4.62 4.39 4.03 6/263 333781
/proc/meminfo: memFree=107205520/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=546628 memory=523500 CPUtime=6.27 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 67872 0 0 0 610 17 0 0 20 0 1 0 44261993 559747072 130875 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 136657 130875 644 659 0 135861 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 556560 KiB
Current children cumulated memory: 526256 KiB

[startup+12.7002 s]
/proc/loadavg: 4.57 4.38 4.03 6/263 333782
/proc/meminfo: memFree=103947456/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2740036 memory=2563816 CPUtime=12.66 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 206246 0 0 0 1180 86 0 0 20 0 1 0 44261993 2805796864 640954 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 685009 640954 644 659 0 684213 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2749968 KiB
Current children cumulated memory: 2566572 KiB

[startup+25.5002 s]
/proc/loadavg: 4.52 4.38 4.03 6/265 333788
/proc/meminfo: memFree=104123676/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2792708 memory=2599764 CPUtime=25.42 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 210778 0 0 0 2455 87 0 0 20 0 1 0 44261993 2859732992 649941 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 698177 649941 644 659 0 697381 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2802640 KiB
Current children cumulated memory: 2602520 KiB

[startup+51.1061 s]
/proc/loadavg: 4.34 4.35 4.03 6/265 333793
/proc/meminfo: memFree=102498336/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=3168432 memory=2978160 CPUtime=50.96 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 220327 0 0 0 4966 130 0 0 20 0 1 0 44261993 3244474368 744540 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 792108 744540 644 659 0 791312 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3178364 KiB
Current children cumulated memory: 2980916 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.31 4.03 6/265 333802
/proc/meminfo: memFree=103023844/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2466952 memory=2081556 CPUtime=102.03 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 246189 0 0 0 9978 225 0 0 20 0 1 0 44261993 2526158848 520389 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 616738 520389 660 659 0 615942 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2476884 KiB
Current children cumulated memory: 2084312 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.27 4.03 6/265 333813
/proc/meminfo: memFree=104875952/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2467128 memory=2081696 CPUtime=161.88 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 256912 0 0 0 15937 251 0 0 20 0 1 0 44261993 2526339072 520424 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 616782 520424 660 659 0 615986 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2477060 KiB
Current children cumulated memory: 2084452 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.23 4.03 6/265 333823
/proc/meminfo: memFree=104751248/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2460488 memory=2321760 CPUtime=221.71 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 264231 0 0 0 21898 273 0 0 20 0 1 0 44261993 2519539712 580440 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615122 580440 660 659 0 614326 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2470420 KiB

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

/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 338247 0 0 0 75501 520 0 0 20 0 1 0 44261993 2796957696 581230 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 682851 581230 660 659 0 682055 0
Current children cumulated CPU time: 760.21 s
Current children cumulated vsize: 2741336 KiB
Current children cumulated memory: 2327676 KiB

[startup+822.3 s]
/proc/loadavg: 4.07 4.10 4.04 6/259 334499
/proc/meminfo: memFree=103471236/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2731680 memory=2325196 CPUtime=820.04 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 339290 0 0 0 81479 525 0 0 20 0 1 0 44261993 2797240320 581299 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 682920 581299 660 659 0 682124 0
Current children cumulated CPU time: 820.04 s
Current children cumulated vsize: 2741612 KiB
Current children cumulated memory: 2327952 KiB

[startup+882.3 s]
/proc/loadavg: 4.20 4.13 4.05 6/260 334512
/proc/meminfo: memFree=103066532/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2731912 memory=2325428 CPUtime=879.88 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 349688 0 0 0 87426 562 0 0 20 0 1 0 44261993 2797477888 581357 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 682978 581357 660 659 0 682182 0
Current children cumulated CPU time: 879.88 s
Current children cumulated vsize: 2741844 KiB
Current children cumulated memory: 2328184 KiB

[startup+942.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/259 334523
/proc/meminfo: memFree=102080020/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461428 memory=2322812 CPUtime=939.72 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 357565 0 0 0 93385 587 0 0 20 0 1 0 44261993 2520502272 580703 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615357 580703 660 659 0 614561 0
Current children cumulated CPU time: 939.72 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2325568 KiB

[startup+980.686 s]
# the end of solver process 333774 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=972.058 s, system=5.95829 s

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

[startup+947.2 s]
/proc/loadavg: 4.12 4.12 4.05 6/259 334523
/proc/meminfo: memFree=102042904/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461428 memory=2322812 CPUtime=944.61 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 357598 0 0 0 93874 587 0 0 20 0 1 0 44261993 2520502272 580703 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615357 580703 660 659 0 614561 0
Current children cumulated CPU time: 944.61 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2325568 KiB

[startup+960 s]*
/proc/loadavg: 4.10 4.11 4.05 6/259 334524
/proc/meminfo: memFree=102061612/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461428 memory=2322812 CPUtime=957.38 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 357641 0 0 0 95151 587 0 0 20 0 1 0 44261993 2520502272 580703 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615357 580703 660 659 0 614561 0
Current children cumulated CPU time: 957.38 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2325568 KiB

[startup+972.8 s]
/proc/loadavg: 4.08 4.11 4.05 6/259 334528
/proc/meminfo: memFree=102098164/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461428 memory=2322812 CPUtime=970.14 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 357656 0 0 0 96427 587 0 0 20 0 1 0 44261993 2520502272 580703 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615357 580703 660 659 0 614561 0
Current children cumulated CPU time: 970.14 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2325568 KiB

[startup+976 s]*
/proc/loadavg: 4.07 4.10 4.05 6/259 334528
/proc/meminfo: memFree=101371924/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461404 memory=2322788 CPUtime=973.34 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 358396 0 0 0 96743 591 0 0 20 0 1 0 44261993 2520477696 580697 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615351 580697 660 659 0 614555 0
Current children cumulated CPU time: 973.34 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2325544 KiB

[startup+979.2 s]
/proc/loadavg: 4.07 4.10 4.05 6/259 334528
/proc/meminfo: memFree=101993180/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461404 memory=2322788 CPUtime=976.52 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 358435 0 0 0 97061 591 0 0 20 0 1 0 44261993 2520477696 580697 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615351 580697 660 659 0 614555 0
Current children cumulated CPU time: 976.52 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2325544 KiB

[startup+980 s]*
/proc/loadavg: 4.07 4.10 4.05 6/259 334528
/proc/meminfo: memFree=101993132/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461404 memory=2322788 CPUtime=977.33 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 358435 0 0 0 97142 591 0 0 20 0 1 0 44261993 2520477696 580697 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615351 580697 660 659 0 614555 0
Current children cumulated CPU time: 977.33 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2325544 KiB

[startup+980.4 s]
/proc/loadavg: 4.07 4.10 4.05 6/259 334528
/proc/meminfo: memFree=101993132/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461404 memory=2322788 CPUtime=977.72 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 358459 0 0 0 97181 591 0 0 20 0 1 0 44261993 2520477696 580697 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615351 580697 660 659 0 614555 0
Current children cumulated CPU time: 977.72 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2325544 KiB

[startup+980.6 s]
/proc/loadavg: 4.07 4.10 4.05 6/259 334528
/proc/meminfo: memFree=101993132/131524600 swapFree=131056796/131071996
[pid=333774] ppid=333771 vsize=9932 memory=2756 CPUtime=0 cores=4,6
/proc/333774/stat : 333774 (naps-1.03.sh) S 333771 333774 332140 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44261993 10170368 689 134679101440 94219978977280 94219980056600 140735473926544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94219982155056 94219982202244 94219983458304 140735473935329 140735473935454 140735473935454 140735473942472 0
/proc/333774/statm: 2483 689 610 264 0 134 0
[pid=333779] ppid=333774 vsize=2461404 memory=2322788 CPUtime=977.92 cores=4,6
/proc/333779/stat : 333779 (naps-1.03) R 333774 333774 332140 0 -1 4194304 358519 0 0 0 97201 591 0 0 20 0 1 0 44261993 2520477696 580697 134679101440 4194304 6891597 140732886187376 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21676032 140732886193138 140732886193250 140732886193250 140732886200267 0
/proc/333779/statm: 615351 580697 660 659 0 614555 0
Current children cumulated CPU time: 977.92 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2325544 KiB

Child status: 30

Real time (s): 980.686
CPU time (s): 978.017
CPU user time (s): 972.058
CPU system time (s): 5.95829
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 4059508
Max. memory (cumulated for all children) (KiB): 3624952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 972.058
system time used= 5.95829
maximum resident set size= 3622196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359003
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= 12
involuntary context switches= 1507


# summary of solver processes directly reported to runsolver:
#   pid: 333774
#   total CPU time (s): 978.017
#   total CPU user time (s): 972.058
#   total CPU system time (s): 5.95829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.96907 second user time and 4.20723 second system time

The end