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: 63968 MiB (61851 MiB free)
  memory of node 1: 64473 MiB (62589 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100441 s]*
/proc/loadavg: 0.70 1.64 2.88 6/263 371293
/proc/meminfo: memFree=127364600/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=35264 memory=33108 CPUtime=0.1 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 8433 0 0 0 9 1 0 0 20 0 1 0 44148011 36110336 8277 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 8816 8277 612 659 0 8020 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45196 KiB
Current children cumulated memory: 35788 KiB

[startup+0.21629 s]*
/proc/loadavg: 0.70 1.64 2.88 4/260 371293
/proc/meminfo: memFree=127287792/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=40544 memory=37716 CPUtime=0.21 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 9581 0 0 0 20 1 0 0 20 0 1 0 44148011 41517056 9429 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 10136 9429 644 659 0 9340 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50476 KiB
Current children cumulated memory: 40396 KiB

[startup+0.305412 s]*
/proc/loadavg: 0.70 1.64 2.88 4/257 371301
/proc/meminfo: memFree=127282872/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=43816 memory=41632 CPUtime=0.29 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 10545 0 0 0 28 1 0 0 20 0 1 0 44148011 44867584 10408 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 10954 10408 644 659 0 10158 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53748 KiB
Current children cumulated memory: 44312 KiB

[startup+0.700219 s]
/proc/loadavg: 0.70 1.64 2.88 4/259 371307
/proc/meminfo: memFree=127253376/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=64056 memory=61512 CPUtime=0.68 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 17565 0 0 0 66 2 0 0 20 0 1 0 44148011 65593344 15378 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 16014 15378 660 659 0 15218 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73988 KiB
Current children cumulated memory: 64192 KiB

[startup+1.50025 s]
/proc/loadavg: 0.70 1.64 2.88 6/263 371343
/proc/meminfo: memFree=127137672/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=66644 memory=64016 CPUtime=1.48 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 20177 0 0 0 145 3 0 0 20 0 1 0 44148011 68243456 16004 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 16661 16004 660 659 0 15865 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76576 KiB
Current children cumulated memory: 66696 KiB

[startup+3.10615 s]
/proc/loadavg: 0.70 1.64 2.88 5/263 371343
/proc/meminfo: memFree=127063820/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=65764 memory=60620 CPUtime=3.08 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 21509 0 0 0 305 3 0 0 20 0 1 0 44148011 67342336 15155 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 16441 15155 660 659 0 15645 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75696 KiB
Current children cumulated memory: 63300 KiB

[startup+6.30018 s]
/proc/loadavg: 0.97 1.68 2.88 5/263 371343
/proc/meminfo: memFree=127029544/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=65764 memory=60620 CPUtime=6.26 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 21509 0 0 0 623 3 0 0 20 0 1 0 44148011 67342336 15155 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 16441 15155 660 659 0 15645 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75696 KiB
Current children cumulated memory: 63300 KiB

[startup+12.7002 s]
/proc/loadavg: 1.29 1.73 2.89 5/263 371402
/proc/meminfo: memFree=127008276/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=65764 memory=60620 CPUtime=12.64 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 21511 0 0 0 1261 3 0 0 20 0 1 0 44148011 67342336 15155 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 16441 15155 660 659 0 15645 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75696 KiB
Current children cumulated memory: 63300 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.84 2.91 5/263 371406
/proc/meminfo: memFree=127013724/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=77472 memory=72324 CPUtime=25.4 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 23421 0 0 0 2536 4 0 0 20 0 1 0 44148011 79331328 18081 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 19368 18081 660 659 0 18572 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 87404 KiB
Current children cumulated memory: 75004 KiB

[startup+51.1063 s]
/proc/loadavg: 2.61 2.02 2.94 6/263 371410
/proc/meminfo: memFree=126979928/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=79944 memory=74896 CPUtime=50.92 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 27436 0 0 0 5087 5 0 0 20 0 1 0 44148011 81862656 18724 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 19986 18724 660 659 0 19190 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 89876 KiB
Current children cumulated memory: 77576 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 2.37 3.02 6/263 371420
/proc/meminfo: memFree=126858708/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=72752 memory=67924 CPUtime=101.95 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 32648 0 0 0 10187 8 0 0 20 0 1 0 44148011 74498048 16981 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 18188 16981 660 659 0 17392 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 82684 KiB
Current children cumulated memory: 70604 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.69 3.09 6/262 371430
/proc/meminfo: memFree=126819112/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=96620 memory=91528 CPUtime=161.74 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 39013 0 0 0 16164 10 0 0 20 0 1 0 44148011 98938880 22882 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 24155 22882 660 659 0 23359 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 106552 KiB
Current children cumulated memory: 94208 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.93 3.15 6/260 371441
/proc/meminfo: memFree=126837196/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=73964 memory=69668 CPUtime=221.53 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 44088 0 0 0 22139 14 0 0 20 0 1 0 44148011 75739136 17417 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 18491 17417 660 659 0 17695 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 83896 KiB

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

/proc/loadavg: 4.06 4.10 4.08 6/258 372520
/proc/meminfo: memFree=126412976/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=209552 memory=205128 CPUtime=3031.86 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 138724 0 0 0 303007 179 0 0 20 0 1 0 44148011 214581248 51282 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 52388 51282 660 659 0 51592 0
Current children cumulated CPU time: 3031.86 s
Current children cumulated vsize: 219484 KiB
Current children cumulated memory: 207808 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.08 6/257 372531
/proc/meminfo: memFree=126342628/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=214604 memory=210180 CPUtime=3091.64 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 141787 0 0 0 308980 184 0 0 20 0 1 0 44148011 219754496 52545 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 53651 52545 660 659 0 52855 0
Current children cumulated CPU time: 3091.64 s
Current children cumulated vsize: 224536 KiB
Current children cumulated memory: 212860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.08 6/257 372541
/proc/meminfo: memFree=126414384/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=209024 memory=204600 CPUtime=3151.42 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 144124 0 0 0 314954 188 0 0 20 0 1 0 44148011 214040576 51150 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 52256 51150 660 659 0 51460 0
Current children cumulated CPU time: 3151.42 s
Current children cumulated vsize: 218956 KiB
Current children cumulated memory: 207280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.08 6/257 372552
/proc/meminfo: memFree=126418916/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=209284 memory=204860 CPUtime=3211.2 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 146268 0 0 0 320925 195 0 0 20 0 1 0 44148011 214306816 51215 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 52321 51215 660 659 0 51525 0
Current children cumulated CPU time: 3211.2 s
Current children cumulated vsize: 219216 KiB
Current children cumulated memory: 207540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.08 5/257 372562
/proc/meminfo: memFree=126395444/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=211168 memory=206744 CPUtime=3270.97 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 148255 0 0 0 326900 197 0 0 20 0 1 0 44148011 216236032 51686 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 52792 51686 660 659 0 51996 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 221100 KiB
Current children cumulated memory: 209424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/257 372959
/proc/meminfo: memFree=126478184/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=216676 memory=209540 CPUtime=3330.75 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 151102 0 0 0 332873 202 0 0 20 0 1 0 44148011 221876224 52385 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 54169 52385 660 659 0 53373 0
Current children cumulated CPU time: 3330.75 s
Current children cumulated vsize: 226608 KiB
Current children cumulated memory: 212220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/257 372969
/proc/meminfo: memFree=126456552/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=216856 memory=209780 CPUtime=3390.53 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 152959 0 0 0 338848 205 0 0 20 0 1 0 44148011 222060544 52445 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 54214 52445 660 659 0 53418 0
Current children cumulated CPU time: 3390.53 s
Current children cumulated vsize: 226788 KiB
Current children cumulated memory: 212460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/257 372980
/proc/meminfo: memFree=126519544/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=216556 memory=209480 CPUtime=3450.31 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 155071 0 0 0 344821 210 0 0 20 0 1 0 44148011 221753344 52370 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 54139 52370 660 659 0 53343 0
Current children cumulated CPU time: 3450.31 s
Current children cumulated vsize: 226488 KiB
Current children cumulated memory: 212160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/258 373159
/proc/meminfo: memFree=126461272/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=217020 memory=209944 CPUtime=3510.09 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 157638 0 0 0 350794 215 0 0 20 0 1 0 44148011 222228480 52486 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 54255 52486 660 659 0 53459 0
Current children cumulated CPU time: 3510.09 s
Current children cumulated vsize: 226952 KiB
Current children cumulated memory: 212624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/259 373170
/proc/meminfo: memFree=126509204/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=211760 memory=204684 CPUtime=3569.86 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 159401 0 0 0 356766 220 0 0 20 0 1 0 44148011 216842240 51171 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 52940 51171 660 659 0 52144 0
Current children cumulated CPU time: 3569.86 s
Current children cumulated vsize: 221692 KiB
Current children cumulated memory: 207364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 373434
/proc/meminfo: memFree=126902648/131524600 swapFree=131062976/131071996
[pid=371267] ppid=371259 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/371267/stat : 371267 (naps-1.03.sh) S 371259 371267 371204 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 44148011 10170368 670 134679101440 94525003132928 94525004212248 140730218230704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94525006310704 94525006357892 94525023256576 140730218234853 140730218234978 140730218234978 140730218241992 0
/proc/371267/statm: 2483 670 591 264 0 134 0
[pid=371293] ppid=371267 vsize=213540 memory=206464 CPUtime=3600.05 cores=0,2
/proc/371293/stat : 371293 (naps-1.03) R 371267 371267 371204 0 -1 4194304 160223 0 0 0 359783 222 0 0 20 0 1 0 44148011 218664960 51616 134679101440 4194304 6891597 140729317705696 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26873856 140729317708790 140729317708902 140729317708902 140729317715915 0
/proc/371293/statm: 53385 51616 660 659 0 52589 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 223472 KiB
Current children cumulated memory: 209144 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.83 s, system=2.23247 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.6
CPU time (s): 3600.06
CPU user time (s): 3597.83
CPU system time (s): 2.23247
CPU usage (%): 99.6529
Max. virtual memory (cumulated for all children) (KiB): 316896
Max. memory (cumulated for all children) (KiB): 304096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.83
system time used= 2.23247
maximum resident set size= 301416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160701
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= 39
involuntary context switches= 24671


# summary of solver processes directly reported to runsolver:
#   pid: 371267
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.83
#   total CPU system time (s): 2.23247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83239 second user time and 20.7646 second system time

The end