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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434034-1721126188/watcher-4434034-1721126188 -o /tmp/evaluation-result-4434034-1721126188/solver-4434034-1721126188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721118899-840436 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434034-1721126188.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
LinuxStarting watchdog threadimit, stack expansion wi
LinuxStarting watchdog threadimit, stack expansion wi
Current StackSize limit: 8192 KiB

solver pid=846934, runsolver pid=846931

[startup+0.100433 s]*
/proc/loadavg: 4.10 4.10 4.13 5/245 846939
/proc/meminfo: memFree=111224636/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=11008 memory=4816 CPUtime=0.1 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 873 0 0 0 10 0 0 0 20 0 1 0 164774685 11272192 1204 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 2752 1204 436 659 0 1956 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20940 KiB
Current children cumulated memory: 7668 KiB

[startup+0.213248 s]*
/proc/loadavg: 4.10 4.10 4.13 6/245 846939
/proc/meminfo: memFree=111206532/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=12304 memory=6328 CPUtime=0.21 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 1260 0 0 0 21 0 0 0 20 0 1 0 164774685 12599296 1582 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 3076 1582 436 659 0 2280 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22236 KiB
Current children cumulated memory: 9180 KiB

[startup+0.313372 s]*
/proc/loadavg: 4.10 4.10 4.13 7/245 846941
/proc/meminfo: memFree=111186264/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=16436 memory=10448 CPUtime=0.31 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 2288 0 0 0 31 0 0 0 20 0 1 0 164774685 16830464 2612 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 4109 2612 436 659 0 3313 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26368 KiB
Current children cumulated memory: 13300 KiB

[startup+0.700404 s]
/proc/loadavg: 4.10 4.10 4.13 5/245 846941
/proc/meminfo: memFree=111147756/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=34168 memory=28504 CPUtime=0.68 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 6751 0 0 0 67 1 0 0 20 0 1 0 164774685 34988032 7126 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 8575 7126 436 659 0 7779 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44100 KiB
Current children cumulated memory: 31356 KiB

[startup+1.50044 s]
/proc/loadavg: 4.10 4.10 4.13 5/245 846941
/proc/meminfo: memFree=111049516/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=66200 memory=59736 CPUtime=1.48 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 15427 0 0 0 145 3 0 0 20 0 1 0 164774685 67788800 14934 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 16550 14934 468 659 0 15754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76132 KiB
Current children cumulated memory: 62588 KiB

[startup+3.11354 s]
/proc/loadavg: 4.09 4.10 4.13 5/245 846941
/proc/meminfo: memFree=110547040/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=258196 memory=241368 CPUtime=3.09 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 50493 0 0 0 297 12 0 0 20 0 1 0 164774685 264392704 60342 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 64549 60342 468 659 0 63753 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 268128 KiB
Current children cumulated memory: 244220 KiB

[startup+6.30041 s]
/proc/loadavg: 4.09 4.10 4.13 5/245 846941
/proc/meminfo: memFree=109099652/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=288740 memory=267568 CPUtime=6.26 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 54616 0 0 0 613 13 0 0 20 0 1 0 164774685 295669760 66892 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 72185 66892 468 659 0 71389 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 298672 KiB
Current children cumulated memory: 270420 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.10 4.13 5/245 846942
/proc/meminfo: memFree=106732688/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=308312 memory=290556 CPUtime=12.65 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 55975 0 0 0 1250 15 0 0 20 0 1 0 164774685 315711488 72639 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 77078 72639 468 659 0 76282 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 318244 KiB
Current children cumulated memory: 293408 KiB

[startup+25.5005 s]
/proc/loadavg: 4.06 4.09 4.13 5/245 846944
/proc/meminfo: memFree=101658096/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=326988 memory=309204 CPUtime=25.4 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 56093 0 0 0 2525 15 0 0 20 0 1 0 164774685 334835712 77301 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 81747 77301 468 659 0 80951 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 336920 KiB
Current children cumulated memory: 312056 KiB

[startup+51.1135 s]
/proc/loadavg: 4.04 4.08 4.12 5/245 846948
/proc/meminfo: memFree=97775848/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=326988 memory=315412 CPUtime=50.93 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 56153 0 0 0 5077 16 0 0 20 0 1 0 164774685 334835712 78853 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 81747 78853 468 659 0 80951 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 336920 KiB
Current children cumulated memory: 318264 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/246 846958
/proc/meminfo: memFree=94383200/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=326988 memory=315444 CPUtime=101.94 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 56224 0 0 0 10178 16 0 0 20 0 1 0 164774685 334835712 78861 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 81747 78861 468 659 0 80951 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 336920 KiB
Current children cumulated memory: 318296 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.12 5/246 846969
/proc/meminfo: memFree=94273852/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=376308 memory=347960 CPUtime=161.74 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 56833 0 0 0 16156 18 0 0 20 0 1 0 164774685 385339392 86990 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 94077 86990 468 659 0 93281 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 386240 KiB
Current children cumulated memory: 350812 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/248 846983
/proc/meminfo: memFree=94204712/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=326988 memory=317240 CPUtime=221.52 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 56983 0 0 0 22133 19 0 0 20 0 1 0 164774685 334835712 79310 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 81747 79310 468 659 0 80951 0
Current children cumulated CPU time: 221.52 s

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

/proc/846939/statm: 129867 125970 468 659 0 129071 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 529400 KiB
Current children cumulated memory: 506732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.16 4.18 5/249 848735
/proc/meminfo: memFree=121523176/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=438560 memory=428680 CPUtime=3151.59 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 81469 0 0 0 315071 88 0 0 20 0 1 0 164774685 449085440 107170 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 109640 107170 468 659 0 108844 0
Current children cumulated CPU time: 3151.59 s
Current children cumulated vsize: 448492 KiB
Current children cumulated memory: 431532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/249 848803
/proc/meminfo: memFree=121201160/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=469380 memory=451476 CPUtime=3211.39 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 81590 0 0 0 321051 88 0 0 20 0 1 0 164774685 480645120 112869 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 117345 112869 468 659 0 116549 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 479312 KiB
Current children cumulated memory: 454328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/250 848814
/proc/meminfo: memFree=120921052/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=519468 memory=473164 CPUtime=3271.19 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 82471 0 0 0 327030 89 0 0 20 0 1 0 164774685 531935232 118291 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 129867 118291 468 659 0 129071 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 529400 KiB
Current children cumulated memory: 476016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/250 848824
/proc/meminfo: memFree=120781324/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=438560 memory=426636 CPUtime=3331 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 82583 0 0 0 333009 91 0 0 20 0 1 0 164774685 449085440 106659 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 109640 106659 468 659 0 108844 0
Current children cumulated CPU time: 3331 s
Current children cumulated vsize: 448492 KiB
Current children cumulated memory: 429488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 848835
/proc/meminfo: memFree=120516828/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=469380 memory=449432 CPUtime=3390.79 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 82705 0 0 0 338988 91 0 0 20 0 1 0 164774685 480645120 112358 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 117345 112358 468 659 0 116549 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 479312 KiB
Current children cumulated memory: 452284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/249 848847
/proc/meminfo: memFree=120237432/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=519468 memory=477260 CPUtime=3450.6 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 83584 0 0 0 344968 92 0 0 20 0 1 0 164774685 531935232 119315 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 129867 119315 468 659 0 129071 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 529400 KiB
Current children cumulated memory: 480112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/248 848858
/proc/meminfo: memFree=120053148/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=469380 memory=430828 CPUtime=3510.4 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 83773 0 0 0 350947 93 0 0 20 0 1 0 164774685 480645120 107707 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 117345 107707 468 659 0 116549 0
Current children cumulated CPU time: 3510.4 s
Current children cumulated vsize: 479312 KiB
Current children cumulated memory: 433680 KiB

[startup+3582.3 s]
/proc/loadavg: 3.63 4.00 4.11 4/238 848900
/proc/meminfo: memFree=127390128/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=519468 memory=481356 CPUtime=3570.18 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 84683 0 0 0 356923 95 0 0 20 0 1 0 164774685 531935232 120339 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 129867 120339 468 659 0 129071 0
Current children cumulated CPU time: 3570.18 s
Current children cumulated vsize: 529400 KiB
Current children cumulated memory: 484208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 3.43 3.92 4.08 5/238 848906
/proc/meminfo: memFree=127390684/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=600856 memory=520108 CPUtime=3600.08 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 85249 0 0 0 359912 96 0 0 20 0 1 0 164774685 615276544 130027 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 150214 130027 468 659 0 149418 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 610788 KiB
Current children cumulated memory: 522960 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.31 s]
# the end of solver process 846934 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000871 s, system=0.003467 s

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

# cumulated CPU time of all completed processes:  user=3599.13 s, system=0.972184 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3612.3 s]
/proc/loadavg: 3.43 3.92 4.08 5/238 848906
/proc/meminfo: memFree=127390684/131655788 swapFree=131071996/131071996
[pid=846934] ppid=846931 vsize=9932 memory=2852 CPUtime=0 cores=0,2
/proc/846934/stat : 846934 (naps-1.03.sh) S 846931 846934 840426 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 164774685 10170368 713 134679101440 94246762397696 94246763477016 140723093513344 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94246765575472 94246765622660 94246785961984 140723093521376 140723093521505 140723093521505 140723093528520 0
/proc/846934/statm: 2483 713 638 264 0 134 0
[pid=846939] ppid=846934 vsize=600856 memory=520108 CPUtime=3600.08 cores=0,2
/proc/846939/stat : 846939 (naps-1.03) R 846934 846934 840426 0 -1 4194304 85249 0 0 0 359912 96 0 0 20 0 1 0 164774685 615276544 130027 134679101440 4194304 6891213 140737368393440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 7565312 140737368396785 140737368396901 140737368396901 140737368403915 0
/proc/846939/statm: 150214 130027 468 659 0 149418 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 610788 KiB
Current children cumulated memory: 522960 KiB

Child status: 10

Real time (s): 3612.31
CPU time (s): 3600.1
CPU user time (s): 3599.13
CPU system time (s): 0.972184
CPU usage (%): 99.6621
Max. virtual memory (cumulated for all children) (KiB): 610788
Max. memory (cumulated for all children) (KiB): 522960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 0.972184
maximum resident set size= 520268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 25412


# summary of solver processes directly reported to runsolver:
#   pid: 846934,846939
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.13
#   total CPU system time (s): 0.972184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0211 second user time and 41.1728 second system time

The end