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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458263-1721880074/watcher-4458263-1721880074 -o /tmp/evaluation-result-4458263-1721880074/solver-4458263-1721880074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263954 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458263-1721880074.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=266004, runsolver pid=266001

[startup+0.100641 s]*
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114204796/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=10480 memory=4424 CPUtime=0.1 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 708 0 0 0 10 0 0 0 20 0 1 0 23996808 10731520 1106 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 2620 1106 468 659 0 1824 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20412 KiB
Current children cumulated memory: 7076 KiB

[startup+0.213289 s]*
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114200652/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=9792 memory=7728 CPUtime=0.21 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 1676 0 0 0 21 0 0 0 20 0 1 0 23996808 10027008 1932 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 2448 1932 468 659 0 1652 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19724 KiB
Current children cumulated memory: 10380 KiB

[startup+0.312737 s]*
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114201352/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=10560 memory=8256 CPUtime=0.31 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 1828 0 0 0 31 0 0 0 20 0 1 0 23996808 10813440 2064 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 2640 2064 468 659 0 1844 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20492 KiB
Current children cumulated memory: 10908 KiB

[startup+0.700345 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114198528/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=11792 memory=8308 CPUtime=0.68 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 2616 0 0 0 68 0 0 0 20 0 1 0 23996808 12075008 2077 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 2948 2077 468 659 0 2152 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21724 KiB
Current children cumulated memory: 10960 KiB

[startup+1.50036 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114185624/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=17824 memory=14576 CPUtime=1.47 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 3716 0 0 0 147 0 0 0 20 0 1 0 23996808 18251776 3644 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 4456 3644 468 659 0 3660 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 17228 KiB

[startup+3.11286 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266059
/proc/meminfo: memFree=114278800/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=19512 memory=16684 CPUtime=3.08 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 4195 0 0 0 308 0 0 0 20 0 1 0 23996808 19980288 4171 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 4878 4171 468 659 0 4082 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29444 KiB
Current children cumulated memory: 19336 KiB

[startup+6.30033 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266059
/proc/meminfo: memFree=114261264/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=18204 memory=15516 CPUtime=6.26 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 6158 0 0 0 625 1 0 0 20 0 1 0 23996808 18640896 3879 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 4551 3879 468 659 0 3755 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 28136 KiB
Current children cumulated memory: 18168 KiB

[startup+12.7004 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266062
/proc/meminfo: memFree=114233960/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=43952 memory=38608 CPUtime=12.64 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 6810 0 0 0 1262 2 0 0 20 0 1 0 23996808 45006848 9652 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 10988 9652 468 659 0 10192 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 53884 KiB
Current children cumulated memory: 41260 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.14 4.12 5/245 266063
/proc/meminfo: memFree=114202608/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=44340 memory=41268 CPUtime=25.41 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 7252 0 0 0 2538 3 0 0 20 0 1 0 23996808 45404160 10317 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 11085 10317 468 659 0 10289 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 43920 KiB

[startup+51.1128 s]
/proc/loadavg: 4.09 4.14 4.12 5/246 266071
/proc/meminfo: memFree=114161364/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=44340 memory=41428 CPUtime=50.95 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 7434 0 0 0 5092 3 0 0 20 0 1 0 23996808 45404160 10357 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 11085 10357 468 659 0 10289 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 44080 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/246 266079
/proc/meminfo: memFree=114108816/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=72144 memory=68028 CPUtime=102 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 7997 0 0 0 10196 4 0 0 20 0 1 0 23996808 73875456 17007 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 18036 17007 468 659 0 17240 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 82076 KiB
Current children cumulated memory: 70680 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/245 266090
/proc/meminfo: memFree=114087824/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=72900 memory=63816 CPUtime=161.84 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 9178 0 0 0 16179 5 0 0 20 0 1 0 23996808 74649600 15954 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 18225 15954 468 659 0 17429 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 82832 KiB
Current children cumulated memory: 66468 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.18 4.13 5/245 266100
/proc/meminfo: memFree=114081012/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=72900 memory=68276 CPUtime=221.68 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 9217 0 0 0 22162 6 0 0 20 0 1 0 23996808 74649600 17069 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 18225 17069 468 659 0 17429 0
Current children cumulated CPU time: 221.68 s

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

/proc/loadavg: 4.16 4.21 4.16 5/243 267274
/proc/meminfo: memFree=113736040/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=129080 memory=113332 CPUtime=3033.54 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 30100 0 0 0 303299 55 0 0 20 0 1 0 23996808 132177920 28333 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 32270 28333 468 659 0 31474 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 139012 KiB
Current children cumulated memory: 115984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/243 267284
/proc/meminfo: memFree=113606784/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=178400 memory=157404 CPUtime=3093.38 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 30448 0 0 0 309282 56 0 0 20 0 1 0 23996808 182681600 39351 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 44600 39351 468 659 0 43804 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 188332 KiB
Current children cumulated memory: 160056 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/243 267295
/proc/meminfo: memFree=113686528/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=209220 memory=174056 CPUtime=3153.2 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 31076 0 0 0 315263 57 0 0 20 0 1 0 23996808 214241280 43514 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 52305 43514 468 659 0 51509 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 219152 KiB
Current children cumulated memory: 176708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 267305
/proc/meminfo: memFree=113607788/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=209220 memory=186344 CPUtime=3213.05 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 31131 0 0 0 321247 58 0 0 20 0 1 0 23996808 214241280 46586 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 52305 46586 468 659 0 51509 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 219152 KiB
Current children cumulated memory: 188996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/244 267698
/proc/meminfo: memFree=113657524/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=178400 memory=151260 CPUtime=3272.87 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 31485 0 0 0 327228 59 0 0 20 0 1 0 23996808 182681600 37815 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 44600 37815 468 659 0 43804 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 188332 KiB
Current children cumulated memory: 153912 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/245 267711
/proc/meminfo: memFree=113634024/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=209220 memory=176104 CPUtime=3332.71 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 32118 0 0 0 333210 61 0 0 20 0 1 0 23996808 214241280 44026 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 52305 44026 468 659 0 51509 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 219152 KiB
Current children cumulated memory: 178756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/245 267721
/proc/meminfo: memFree=113699172/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=129080 memory=115380 CPUtime=3392.53 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 32219 0 0 0 339192 61 0 0 20 0 1 0 23996808 132177920 28845 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 32270 28845 468 659 0 31474 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 139012 KiB
Current children cumulated memory: 118032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/246 267901
/proc/meminfo: memFree=113747600/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=178400 memory=157404 CPUtime=3452.36 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 32566 0 0 0 345174 62 0 0 20 0 1 0 23996808 182681600 39351 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 44600 39351 468 659 0 43804 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 188332 KiB
Current children cumulated memory: 160056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.17 4.15 5/246 267911
/proc/meminfo: memFree=113729628/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=209220 memory=174056 CPUtime=3512.2 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 33193 0 0 0 351157 63 0 0 20 0 1 0 23996808 214241280 43514 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 52305 43514 468 659 0 51509 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 219152 KiB
Current children cumulated memory: 176708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/245 267924
/proc/meminfo: memFree=113638656/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=209220 memory=188392 CPUtime=3572.03 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 33249 0 0 0 357140 63 0 0 20 0 1 0 23996808 214241280 47098 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 52305 47098 468 659 0 51509 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 219152 KiB
Current children cumulated memory: 191044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.10 4.14 4.14 5/245 267942
/proc/meminfo: memFree=113692200/131655788 swapFree=131061124/131071996
[pid=266004] ppid=266001 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/266004/stat : 266004 (naps-1.03.sh) S 266001 266004 263941 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 23996808 10170368 663 134679101440 94389615386624 94389616465944 140730398595936 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94389618564400 94389618611588 94389641859072 140730398602212 140730398602341 140730398602341 140730398609352 0
/proc/266004/statm: 2483 663 584 264 0 134 0
[pid=266009] ppid=266004 vsize=129080 memory=117428 CPUtime=3600.06 cores=5,7
/proc/266009/stat : 266009 (naps-1.03) R 266004 266004 263941 0 -1 4194304 33267 0 0 0 359942 64 0 0 20 0 1 0 23996808 132177920 29357 134679101440 4194304 6891213 140725124882960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23326720 140725124891637 140725124891753 140725124891753 140725124898763 0
/proc/266009/statm: 32270 29357 468 659 0 31474 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 139012 KiB
Current children cumulated memory: 120080 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.42 s, system=0.645677 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.07
CPU user time (s): 3599.42
CPU system time (s): 0.645677
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 219152
Max. memory (cumulated for all children) (KiB): 195140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.645677
maximum resident set size= 192488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33745
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= 44
involuntary context switches= 1915


# summary of solver processes directly reported to runsolver:
#   pid: 266004
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.42
#   total CPU system time (s): 0.645677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1328 second user time and 37.0401 second system time

The end