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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458458-1721883689/watcher-4458458-1721883689 -o /tmp/evaluation-result-4458458-1721883689/solver-4458458-1721883689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263951 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458458-1721883689.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=268087, runsolver pid=268084

[startup+0.100099 s]*
/proc/loadavg: 4.17 4.16 4.14 5/245 268092
/proc/meminfo: memFree=113916824/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=22940 memory=18576 CPUtime=0.1 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 4361 0 0 0 10 0 0 0 20 0 1 0 24358333 23490560 4644 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 5735 4644 468 659 0 4939 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32872 KiB
Current children cumulated memory: 21344 KiB

[startup+0.213589 s]*
/proc/loadavg: 4.17 4.16 4.14 5/245 268092
/proc/meminfo: memFree=113916824/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=22940 memory=18840 CPUtime=0.21 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 4399 0 0 0 21 0 0 0 20 0 1 0 24358333 23490560 4710 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 5735 4710 468 659 0 4939 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32872 KiB
Current children cumulated memory: 21608 KiB

[startup+0.313279 s]*
/proc/loadavg: 4.17 4.16 4.14 5/245 268092
/proc/meminfo: memFree=113916152/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=22940 memory=19104 CPUtime=0.31 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 4447 0 0 0 31 0 0 0 20 0 1 0 24358333 23490560 4776 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 5735 4776 468 659 0 4939 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32872 KiB
Current children cumulated memory: 21872 KiB

[startup+0.700394 s]
/proc/loadavg: 4.16 4.15 4.14 5/245 268092
/proc/meminfo: memFree=113914952/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=23968 memory=20688 CPUtime=0.68 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 4847 0 0 0 68 0 0 0 20 0 1 0 24358333 24543232 5172 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 5992 5172 468 659 0 5196 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33900 KiB
Current children cumulated memory: 23456 KiB

[startup+1.5004 s]
/proc/loadavg: 4.16 4.15 4.14 5/245 268092
/proc/meminfo: memFree=113911196/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=27308 memory=24316 CPUtime=1.47 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 5298 0 0 0 147 0 0 0 20 0 1 0 24358333 27963392 6079 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 6827 6079 468 659 0 6031 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 37240 KiB
Current children cumulated memory: 27084 KiB

[startup+3.11306 s]
/proc/loadavg: 4.16 4.15 4.14 5/245 268093
/proc/meminfo: memFree=113901768/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=29284 memory=26544 CPUtime=3.09 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 6247 0 0 0 308 1 0 0 20 0 1 0 24358333 29986816 6636 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 7321 6636 468 659 0 6525 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39216 KiB
Current children cumulated memory: 29312 KiB

[startup+6.30038 s]
/proc/loadavg: 4.14 4.15 4.14 5/245 268093
/proc/meminfo: memFree=113853204/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=36356 memory=33724 CPUtime=6.26 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 6488 0 0 0 625 1 0 0 20 0 1 0 24358333 37228544 8431 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 9089 8431 468 659 0 8293 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 46288 KiB
Current children cumulated memory: 36492 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.15 4.14 5/245 268094
/proc/meminfo: memFree=113843224/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=48196 memory=38768 CPUtime=12.63 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 7774 0 0 0 1262 1 0 0 20 0 1 0 24358333 49352704 9692 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 12049 9692 468 659 0 11253 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 58128 KiB
Current children cumulated memory: 41536 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.14 4.14 5/244 268147
/proc/meminfo: memFree=113800460/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=55940 memory=53152 CPUtime=25.39 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 8856 0 0 0 2537 2 0 0 20 0 1 0 24358333 57282560 13288 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 13985 13288 468 659 0 13189 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 65872 KiB
Current children cumulated memory: 55920 KiB

[startup+51.113 s]
/proc/loadavg: 4.13 4.14 4.14 5/244 268150
/proc/meminfo: memFree=113741336/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=86400 memory=77516 CPUtime=50.91 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 10256 0 0 0 5087 4 0 0 20 0 1 0 24358333 88473600 19379 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 21600 19379 468 659 0 20804 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 96332 KiB
Current children cumulated memory: 80284 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/245 268160
/proc/meminfo: memFree=113638344/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=147608 memory=125108 CPUtime=101.91 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 11477 0 0 0 10186 5 0 0 20 0 1 0 24358333 151150592 31277 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 36902 31277 468 659 0 36106 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 157540 KiB
Current children cumulated memory: 127876 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/245 268170
/proc/meminfo: memFree=113657148/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=147608 memory=135328 CPUtime=161.69 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 14487 0 0 0 16157 12 0 0 20 0 1 0 24358333 151150592 33832 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 36902 33832 468 659 0 36106 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 157540 KiB
Current children cumulated memory: 138096 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/243 268181
/proc/meminfo: memFree=113565588/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=178428 memory=152156 CPUtime=221.47 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 17633 0 0 0 22130 17 0 0 20 0 1 0 24358333 182710272 38039 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 44607 38039 468 659 0 43811 0
Current children cumulated CPU time: 221.47 s

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

/proc/loadavg: 4.16 4.24 4.17 5/244 269424
/proc/meminfo: memFree=111864960/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=260100 memory=234636 CPUtime=3091.42 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 90156 0 0 0 308979 163 0 0 20 0 1 0 24358333 266342400 58659 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 65025 58659 468 659 0 64229 0
Current children cumulated CPU time: 3091.42 s
Current children cumulated vsize: 270032 KiB
Current children cumulated memory: 237404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.80 4.40 4.23 5/244 269435
/proc/meminfo: memFree=111901272/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=212112 memory=203720 CPUtime=3151.21 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 91888 0 0 0 314955 166 0 0 20 0 1 0 24358333 217202688 50930 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 53028 50930 468 659 0 52232 0
Current children cumulated CPU time: 3151.21 s
Current children cumulated vsize: 222044 KiB
Current children cumulated memory: 206488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.48 4.38 4.24 5/246 269829
/proc/meminfo: memFree=111831436/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=344064 memory=290384 CPUtime=3211 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 93199 0 0 0 320932 168 0 0 20 0 1 0 24358333 352321536 72596 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 86016 72596 468 659 0 85220 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 353996 KiB
Current children cumulated memory: 293152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.31 4.22 4/236 269870
/proc/meminfo: memFree=113482188/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=262676 memory=232784 CPUtime=3270.79 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 94373 0 0 0 326909 170 0 0 20 0 1 0 24358333 268980224 58196 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 65669 58196 468 659 0 64873 0
Current children cumulated CPU time: 3270.79 s
Current children cumulated vsize: 272608 KiB
Current children cumulated memory: 235552 KiB

[startup+3342.3 s]
/proc/loadavg: 3.47 4.08 4.15 4/236 269881
/proc/meminfo: memFree=113418628/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=344064 memory=310704 CPUtime=3330.58 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 95008 0 0 0 332886 172 0 0 20 0 1 0 24358333 352321536 77676 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 86016 77676 468 659 0 85220 0
Current children cumulated CPU time: 3330.58 s
Current children cumulated vsize: 353996 KiB
Current children cumulated memory: 313472 KiB

[startup+3402.3 s]
/proc/loadavg: 3.50 3.96 4.10 4/238 270061
/proc/meminfo: memFree=113475944/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=344568 memory=274084 CPUtime=3390.38 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 96824 0 0 0 338863 175 0 0 20 0 1 0 24358333 352837632 68521 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 86142 68521 468 659 0 85346 0
Current children cumulated CPU time: 3390.38 s
Current children cumulated vsize: 354500 KiB
Current children cumulated memory: 276852 KiB

[startup+3462.3 s]
/proc/loadavg: 3.64 3.94 4.08 4/238 270072
/proc/meminfo: memFree=113544984/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=213740 memory=205852 CPUtime=3450.19 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 97950 0 0 0 344841 178 0 0 20 0 1 0 24358333 218869760 51463 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 53435 51463 468 659 0 52639 0
Current children cumulated CPU time: 3450.19 s
Current children cumulated vsize: 223672 KiB
Current children cumulated memory: 208620 KiB

[startup+3522.3 s]
/proc/loadavg: 3.27 3.78 4.01 4/240 270086
/proc/meminfo: memFree=113365164/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=345216 memory=289036 CPUtime=3509.98 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 98893 0 0 0 350818 180 0 0 20 0 1 0 24358333 353501184 72259 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 86304 72259 468 659 0 85508 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 355148 KiB
Current children cumulated memory: 291804 KiB

[startup+3582.3 s]
/proc/loadavg: 3.20 3.67 3.96 4/239 270108
/proc/meminfo: memFree=113555488/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=264592 memory=226388 CPUtime=3569.78 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 100375 0 0 0 356794 184 0 0 20 0 1 0 24358333 270942208 56597 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 66148 56597 468 659 0 65352 0
Current children cumulated CPU time: 3569.78 s
Current children cumulated vsize: 274524 KiB
Current children cumulated memory: 229156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 3.04 3.58 3.92 3/231 270145
/proc/meminfo: memFree=113914924/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=348368 memory=268912 CPUtime=3600.08 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 101311 0 0 0 359823 185 0 0 20 0 1 0 24358333 356728832 67228 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 87092 67228 468 659 0 86296 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 358300 KiB
Current children cumulated memory: 271680 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.24 s, system=1.85318 s

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

[startup+3612.7 s]
/proc/loadavg: 3.04 3.58 3.92 3/231 270145
/proc/meminfo: memFree=113914924/131655788 swapFree=131061124/131071996
[pid=268087] ppid=268084 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/268087/stat : 268087 (naps-1.03.sh) S 268084 268087 263941 0 -1 4194304 223 235 0 0 0 0 0 0 20 0 1 0 24358332 10170368 692 134679101440 93965253820416 93965254899736 140734106028032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93965256998192 93965257045380 93965275328512 140734106031076 140734106031205 140734106031205 140734106038216 0
/proc/268087/statm: 2483 692 614 264 0 134 0
[pid=268092] ppid=268087 vsize=348368 memory=268912 CPUtime=3600.08 cores=0,2
/proc/268092/stat : 268092 (naps-1.03) R 268087 268087 263941 0 -1 4194304 101311 0 0 0 359823 185 0 0 20 0 1 0 24358333 356728832 67228 134679101440 4194304 6891213 140729358522752 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22847488 140729358529525 140729358529641 140729358529641 140729358536651 0
/proc/268092/statm: 87092 67228 468 659 0 86296 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 358300 KiB
Current children cumulated memory: 271680 KiB

Child status: 10

Real time (s): 3612.7
CPU time (s): 3600.09
CPU user time (s): 3598.24
CPU system time (s): 1.85318
CPU usage (%): 99.6509
Max. virtual memory (cumulated for all children) (KiB): 405232
Max. memory (cumulated for all children) (KiB): 370768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.24
system time used= 1.85318
maximum resident set size= 382244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101783
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= 45
involuntary context switches= 24649


# summary of solver processes directly reported to runsolver:
#   pid: 268087
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.24
#   total CPU system time (s): 1.85318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7269 second user time and 36.6159 second system time

The end