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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461260-1722079843/watcher-4461260-1722079843 -o /tmp/evaluation-result-4461260-1722079843/solver-4461260-1722079843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722076197-324710 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461260-1722079843.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=327081, runsolver pid=327078

[startup+0.100394 s]*
/proc/loadavg: 4.15 4.13 4.09 5/261 327086
/proc/meminfo: memFree=116774676/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=14472 memory=8068 CPUtime=0.1 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 1737 0 0 0 10 0 0 0 20 0 1 0 44512849 14819328 2017 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 3618 2017 436 659 0 2822 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24404 KiB
Current children cumulated memory: 10872 KiB

[startup+0.205743 s]*
/proc/loadavg: 4.15 4.13 4.09 5/261 327088
/proc/meminfo: memFree=116729576/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=20936 memory=13916 CPUtime=0.19 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 3278 0 0 0 19 0 0 0 20 0 1 0 44512849 21438464 3479 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 5234 3479 436 659 0 4438 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30868 KiB
Current children cumulated memory: 16720 KiB

[startup+0.305736 s]*
/proc/loadavg: 4.15 4.13 4.09 5/261 327088
/proc/meminfo: memFree=116691908/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=26876 memory=19408 CPUtime=0.29 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 4648 0 0 0 29 0 0 0 20 0 1 0 44512849 27521024 4852 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 6719 4852 436 659 0 5923 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36808 KiB
Current children cumulated memory: 22212 KiB

[startup+0.700267 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 327088
/proc/meminfo: memFree=116598256/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=50348 memory=42140 CPUtime=0.68 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 10381 0 0 0 66 2 0 0 20 0 1 0 44512849 51556352 10535 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 12587 10535 436 659 0 11791 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 44944 KiB

[startup+1.50027 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 327088
/proc/meminfo: memFree=116374640/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=96436 memory=86472 CPUtime=1.48 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 21158 0 0 0 145 3 0 0 20 0 1 0 44512849 98750464 21618 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 24109 21618 436 659 0 23313 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106368 KiB
Current children cumulated memory: 89276 KiB

[startup+3.10561 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 327088
/proc/meminfo: memFree=115538936/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=187436 memory=174916 CPUtime=3.08 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 40637 0 0 0 302 6 0 0 20 0 1 0 44512849 191934464 43729 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 46859 43729 436 659 0 46063 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197368 KiB
Current children cumulated memory: 177720 KiB

[startup+6.30027 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 327088
/proc/meminfo: memFree=114067052/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=385440 memory=356304 CPUtime=6.28 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 71570 0 0 0 612 16 0 0 20 0 1 0 44512849 394690560 89076 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 96360 89076 436 659 0 95564 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 395372 KiB
Current children cumulated memory: 359108 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 327148
/proc/meminfo: memFree=112432880/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=785128 memory=754856 CPUtime=12.66 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 142362 0 0 0 1236 30 0 0 20 0 1 0 44512849 803971072 188714 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 196282 188714 436 659 0 195486 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 795060 KiB
Current children cumulated memory: 757660 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 327150
/proc/meminfo: memFree=110208232/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=2757608 memory=2643520 CPUtime=25.42 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 366186 0 0 0 2456 86 0 0 20 0 1 0 44512849 2823790592 660880 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 689402 660880 468 659 0 688606 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2767540 KiB
Current children cumulated memory: 2646324 KiB

[startup+51.106 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 327155
/proc/meminfo: memFree=105188828/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6871348 memory=6003432 CPUtime=50.95 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 765656 0 0 0 4907 188 0 0 20 0 1 0 44512849 7036260352 1500858 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1717837 1500858 468 659 0 1717041 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6881280 KiB
Current children cumulated memory: 6006236 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 327164
/proc/meminfo: memFree=102771592/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6871348 memory=6007544 CPUtime=101.99 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 766172 0 0 0 10010 189 0 0 20 0 1 0 44512849 7036260352 1501886 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1717837 1501886 468 659 0 1717041 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 6881280 KiB
Current children cumulated memory: 6010348 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 327224
/proc/meminfo: memFree=109443872/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6871348 memory=6011656 CPUtime=161.81 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 767087 0 0 0 15990 191 0 0 20 0 1 0 44512849 7036260352 1502914 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1717837 1502914 468 659 0 1717041 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 6881280 KiB
Current children cumulated memory: 6014460 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 327236
/proc/meminfo: memFree=106732068/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6871348 memory=6013704 CPUtime=221.63 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 768041 0 0 0 21969 194 0 0 20 0 1 0 44512849 7036260352 1503426 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1717837 1503426 468 659 0 1717041 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 6881280 KiB

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

[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6907216 memory=6103192 CPUtime=3092.69 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 819599 0 0 0 308922 347 0 0 20 0 1 0 44512849 7072989184 1525798 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1726804 1525798 468 659 0 1726008 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 6917148 KiB
Current children cumulated memory: 6105996 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 328398
/proc/meminfo: memFree=103571580/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6907348 memory=6103376 CPUtime=3152.5 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 820611 0 0 0 314900 350 0 0 20 0 1 0 44512849 7073124352 1525844 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1726837 1525844 468 659 0 1726041 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 6917280 KiB
Current children cumulated memory: 6106180 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 328409
/proc/meminfo: memFree=103552080/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6907612 memory=6103692 CPUtime=3212.31 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 821721 0 0 0 320878 353 0 0 20 0 1 0 44512849 7073394688 1525923 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1726903 1525923 468 659 0 1726107 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 6917544 KiB
Current children cumulated memory: 6106496 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 328419
/proc/meminfo: memFree=103531168/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6908008 memory=6104076 CPUtime=3272.12 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 822598 0 0 0 326855 357 0 0 20 0 1 0 44512849 7073800192 1526019 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727002 1526019 468 659 0 1726206 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 6917940 KiB
Current children cumulated memory: 6106880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 328813
/proc/meminfo: memFree=103503176/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6908668 memory=6104652 CPUtime=3331.92 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 823728 0 0 0 332833 359 0 0 20 0 1 0 44512849 7074476032 1526163 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727167 1526163 468 659 0 1726371 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 6918600 KiB
Current children cumulated memory: 6107456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 328824
/proc/meminfo: memFree=103476128/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6909064 memory=6105068 CPUtime=3391.72 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 824900 0 0 0 338810 362 0 0 20 0 1 0 44512849 7074881536 1526267 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727266 1526267 468 659 0 1726470 0
Current children cumulated CPU time: 3391.72 s
Current children cumulated vsize: 6918996 KiB
Current children cumulated memory: 6107872 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 328838
/proc/meminfo: memFree=103449548/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6909328 memory=6105368 CPUtime=3451.53 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 825740 0 0 0 344787 366 0 0 20 0 1 0 44512849 7075151872 1526342 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727332 1526342 468 659 0 1726536 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 6919260 KiB
Current children cumulated memory: 6108172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 329016
/proc/meminfo: memFree=103422924/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6909592 memory=6105592 CPUtime=3511.35 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 826791 0 0 0 350766 369 0 0 20 0 1 0 44512849 7075422208 1526398 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727398 1526398 468 659 0 1726602 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 6919524 KiB
Current children cumulated memory: 6108396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 3/245 329089
/proc/meminfo: memFree=112524140/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6909988 memory=6106056 CPUtime=3571.15 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 827960 0 0 0 356743 372 0 0 20 0 1 0 44512849 7075827712 1526514 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727497 1526514 468 659 0 1726701 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 6919920 KiB
Current children cumulated memory: 6108860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 3.35 3.93 4.03 3/248 329154
/proc/meminfo: memFree=112512620/131524600 swapFree=131056028/131071996
[pid=327081] ppid=327078 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/327081/stat : 327081 (naps-1.03.sh) S 327078 327081 324698 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44512849 10170368 701 134679101440 94398451900416 94398452979736 140727467088160 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94398455078192 94398455125380 94398476705792 140727467095005 140727467095134 140727467095134 140727467102152 0
/proc/327081/statm: 2483 701 624 264 0 134 0
[pid=327086] ppid=327081 vsize=6910252 memory=6106632 CPUtime=3600.07 cores=1,3
/proc/327086/stat : 327086 (naps-1.03) R 327081 327081 324698 0 -1 4194304 828369 0 0 0 359633 374 0 0 20 0 1 0 44512849 7076098048 1526658 134679101440 4194304 6891597 140728034255824 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 19529728 140728034259950 140728034260066 140728034260066 140728034267083 0
/proc/327086/statm: 1727563 1526658 468 659 0 1726767 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6920184 KiB
Current children cumulated memory: 6109436 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001536 s, system=0.001303 s

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

# cumulated CPU time of all completed processes:  user=3596.35 s, system=3.88517 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+3611.4 s]*
/proc/loadavg: 3.24 3.90 4.02 3/247 329154
/proc/meminfo: memFree=115200052/131524600 swapFree=131056028/131071996
Current cumulated CPU time of completed processes: 0.002839 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3611.46
CPU time (s): 3600.23
CPU user time (s): 3596.35
CPU system time (s): 3.88517
CPU usage (%): 99.6892
Max. virtual memory (cumulated for all children) (KiB): 6920184
Max. memory (cumulated for all children) (KiB): 6109436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.35
system time used= 3.88517
maximum resident set size= 6106640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 828840
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= 4366


# summary of solver processes directly reported to runsolver:
#   pid: 327081,327086
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3596.35
#   total CPU system time (s): 3.88517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5613 second user time and 13.1502 second system time

The end