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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433825-1721072427/watcher-4433825-1721072427 -o /tmp/evaluation-result-4433825-1721072427/solver-4433825-1721072427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721072439-816272 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433825-1721072427.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100677 s]*
/proc/loadavg: 2.98 3.78 3.97 6/261 816400
/proc/meminfo: memFree=129519184/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=11752 memory=5692 CPUtime=0.09 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 1081 0 0 0 9 0 0 0 20 0 1 0 159409390 12034048 1423 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 2938 1423 436 659 0 2142 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21684 KiB
Current children cumulated memory: 8420 KiB

[startup+0.206673 s]*
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=129489216/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=17688 memory=13736 CPUtime=0.19 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 2564 0 0 0 19 0 0 0 20 0 1 0 159409390 18112512 3434 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 4422 3434 436 659 0 3626 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27620 KiB
Current children cumulated memory: 16464 KiB

[startup+0.305672 s]*
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=129458384/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=26652 memory=22688 CPUtime=0.28 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 4802 0 0 0 28 0 0 0 20 0 1 0 159409390 27291648 5672 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 6663 5672 436 659 0 5867 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 36584 KiB
Current children cumulated memory: 25416 KiB

[startup+0.700214 s]
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=129416320/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=64820 memory=60796 CPUtime=0.67 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 15171 0 0 0 66 1 0 0 20 0 1 0 159409390 66375680 15199 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 16205 15199 468 659 0 15409 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 74752 KiB
Current children cumulated memory: 63524 KiB

[startup+1.50022 s]
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=129309572/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=99268 memory=90992 CPUtime=1.47 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 22934 0 0 0 143 4 0 0 20 0 1 0 159409390 101650432 22748 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 24817 22748 468 659 0 24021 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 109200 KiB
Current children cumulated memory: 93720 KiB

[startup+3.10542 s]
/proc/loadavg: 2.98 3.78 3.97 5/261 816400
/proc/meminfo: memFree=128868688/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=289840 memory=272444 CPUtime=3.06 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 46402 0 0 0 296 10 0 0 20 0 1 0 159409390 296796160 68111 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 72460 68111 468 659 0 71664 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 275172 KiB

[startup+6.30021 s]
/proc/loadavg: 3.14 3.80 3.98 5/261 816402
/proc/meminfo: memFree=128863252/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=289840 memory=272452 CPUtime=6.25 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 47063 0 0 0 614 11 0 0 20 0 1 0 159409390 296796160 68113 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 72460 68113 468 659 0 71664 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 275180 KiB

[startup+12.7002 s]
/proc/loadavg: 3.21 3.81 3.98 5/261 816402
/proc/meminfo: memFree=128812864/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=320188 memory=276164 CPUtime=12.63 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 48306 0 0 0 1251 12 0 0 20 0 1 0 159409390 327872512 69041 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 80047 69041 468 659 0 79251 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 330120 KiB
Current children cumulated memory: 278892 KiB

[startup+25.5002 s]
/proc/loadavg: 3.54 3.85 3.99 5/261 816405
/proc/meminfo: memFree=128711384/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=350780 memory=310140 CPUtime=25.4 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 49231 0 0 0 2527 13 0 0 20 0 1 0 159409390 359198720 77535 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 87695 77535 468 659 0 86899 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 360712 KiB
Current children cumulated memory: 312868 KiB

[startup+51.1055 s]
/proc/loadavg: 3.76 3.88 4.00 5/261 816408
/proc/meminfo: memFree=128683388/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=350780 memory=316432 CPUtime=50.91 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 49289 0 0 0 5078 13 0 0 20 0 1 0 159409390 359198720 79108 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 87695 79108 468 659 0 86899 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 360712 KiB
Current children cumulated memory: 319160 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.92 4.00 5/261 816416
/proc/meminfo: memFree=128615476/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=351076 memory=319848 CPUtime=101.92 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 50046 0 0 0 10178 14 0 0 20 0 1 0 159409390 359501824 79962 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 87769 79962 468 659 0 86973 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 361008 KiB
Current children cumulated memory: 322576 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.95 4.00 5/261 816428
/proc/meminfo: memFree=128560200/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=381424 memory=350068 CPUtime=161.71 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 51927 0 0 0 16153 18 0 0 20 0 1 0 159409390 390578176 87517 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 95356 87517 468 659 0 94560 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 391356 KiB
Current children cumulated memory: 352796 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.99 4.01 5/260 816438
/proc/meminfo: memFree=128584104/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=332104 memory=316176 CPUtime=221.5 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 52573 0 0 0 22130 20 0 0 20 0 1 0 159409390 340074496 79044 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 83026 79044 468 659 0 82230 0
Current children cumulated CPU time: 221.5 s

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

/proc/loadavg: 4.07 4.09 4.09 5/265 818134
/proc/meminfo: memFree=128079312/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=527400 memory=484356 CPUtime=3091.75 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 94233 0 0 0 309083 92 0 0 20 0 1 0 159409390 540057600 121089 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 131850 121089 468 659 0 131054 0
Current children cumulated CPU time: 3091.75 s
Current children cumulated vsize: 537332 KiB
Current children cumulated memory: 487084 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 818145
/proc/meminfo: memFree=128218028/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=477312 memory=444076 CPUtime=3151.57 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 95058 0 0 0 315063 94 0 0 20 0 1 0 159409390 488767488 111019 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 119328 111019 468 659 0 118532 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 487244 KiB
Current children cumulated memory: 446804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 818156
/proc/meminfo: memFree=128107808/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=527400 memory=475956 CPUtime=3211.39 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 96013 0 0 0 321044 95 0 0 20 0 1 0 159409390 540057600 118989 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 131850 118989 468 659 0 131054 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 537332 KiB
Current children cumulated memory: 478684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 818166
/proc/meminfo: memFree=128173812/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=446492 memory=426344 CPUtime=3271.21 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 96460 0 0 0 327025 96 0 0 20 0 1 0 159409390 457207808 106586 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 111623 106586 468 659 0 110827 0
Current children cumulated CPU time: 3271.21 s
Current children cumulated vsize: 456424 KiB
Current children cumulated memory: 429072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/259 818176
/proc/meminfo: memFree=128132104/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=477312 memory=460624 CPUtime=3331.03 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 96997 0 0 0 333006 97 0 0 20 0 1 0 159409390 488767488 115156 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 119328 115156 468 659 0 118532 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 487244 KiB
Current children cumulated memory: 463352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 818186
/proc/meminfo: memFree=128144472/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=446492 memory=422248 CPUtime=3390.85 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 98260 0 0 0 338986 99 0 0 20 0 1 0 159409390 457207808 105562 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 111623 105562 468 659 0 110827 0
Current children cumulated CPU time: 3390.85 s
Current children cumulated vsize: 456424 KiB
Current children cumulated memory: 424976 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 818197
/proc/meminfo: memFree=128146576/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=477312 memory=456528 CPUtime=3450.67 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 98797 0 0 0 344967 100 0 0 20 0 1 0 159409390 488767488 114132 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 119328 114132 468 659 0 118532 0
Current children cumulated CPU time: 3450.67 s
Current children cumulated vsize: 487244 KiB
Current children cumulated memory: 459256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 818208
/proc/meminfo: memFree=128125476/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=446492 memory=424296 CPUtime=3510.49 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 100062 0 0 0 350947 102 0 0 20 0 1 0 159409390 457207808 106074 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 111623 106074 468 659 0 110827 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 456424 KiB
Current children cumulated memory: 427024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/259 818218
/proc/meminfo: memFree=128122664/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=477312 memory=458576 CPUtime=3570.3 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 100617 0 0 0 356927 103 0 0 20 0 1 0 159409390 488767488 114644 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 119328 114644 468 659 0 118532 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 487244 KiB
Current children cumulated memory: 461304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 818328
/proc/meminfo: memFree=128258724/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=527400 memory=473908 CPUtime=3600.02 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 101490 0 0 0 359898 104 0 0 20 0 1 0 159409390 540057600 118477 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 131850 118477 468 659 0 131054 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 537332 KiB
Current children cumulated memory: 476636 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.99 s, system=1.05321 s

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

[startup+3612.11 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 818328
/proc/meminfo: memFree=128258724/131524600 swapFree=131071996/131071996
[pid=816395] ppid=816392 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/816395/stat : 816395 (naps-1.03.sh) S 816392 816395 816260 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 159409389 10170368 682 134679101440 94524697165824 94524698245144 140729263980448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94524700343600 94524700390788 94524721369088 140729263989728 140729263989857 140729263989857 140729263996872 0
/proc/816395/statm: 2483 682 603 264 0 134 0
[pid=816400] ppid=816395 vsize=527400 memory=473908 CPUtime=3600.02 cores=1,3
/proc/816400/stat : 816400 (naps-1.03) R 816395 816395 816260 0 -1 4194304 101490 0 0 0 359898 104 0 0 20 0 1 0 159409390 540057600 118477 134679101440 4194304 6891213 140723131798080 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24285184 140723131802609 140723131802725 140723131802725 140723131809739 0
/proc/816400/statm: 131850 118477 468 659 0 131054 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 537332 KiB
Current children cumulated memory: 476636 KiB

Child status: 10

Real time (s): 3612.11
CPU time (s): 3600.04
CPU user time (s): 3598.99
CPU system time (s): 1.05321
CPU usage (%): 99.6659
Max. virtual memory (cumulated for all children) (KiB): 586652
Max. memory (cumulated for all children) (KiB): 535240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.05321
maximum resident set size= 534560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101970
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= 138
involuntary context switches= 5615


# summary of solver processes directly reported to runsolver:
#   pid: 816395
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.99
#   total CPU system time (s): 1.05321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76473 second user time and 16.3432 second system time

The end