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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437078-1722953605/watcher-4437078-1722953605 -o /tmp/evaluation-result-4437078-1722953605/solver-4437078-1722953605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722948202-332474 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437078-1722953605.opb 3600 HOME 31000 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=335779, runsolver pid=335776

[startup+0.100375 s]*
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126412560/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=21512 memory=9288 CPUtime=0.09 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 959 0 0 0 9 0 0 0 20 0 1 0 61956103 22028288 2322 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 5378 2322 1105 2753 0 2031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 13000 KiB

[startup+0.21409 s]*
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126397160/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=21512 memory=9288 CPUtime=0.21 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 959 0 0 0 21 0 0 0 20 0 1 0 61956103 22028288 2322 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 5378 2322 1105 2753 0 2031 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 13000 KiB

[startup+0.314324 s]*
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126378564/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=36828 memory=29084 CPUtime=0.31 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 4583 0 0 0 30 1 0 0 20 0 1 0 61956103 37711872 7271 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 9207 7271 2689 2753 0 5860 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55420 KiB
Current children cumulated memory: 32796 KiB

[startup+0.700395 s]
/proc/loadavg: 4.21 4.17 4.16 6/252 335783
/proc/meminfo: memFree=126364952/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=44832 memory=37560 CPUtime=0.67 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 6657 0 0 0 66 1 0 0 20 0 1 0 61956103 45907968 9390 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 11208 9390 2817 2753 0 7861 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63424 KiB
Current children cumulated memory: 41272 KiB

[startup+1.50045 s]
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126329032/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=50192 memory=42588 CPUtime=1.47 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 7879 0 0 0 146 1 0 0 20 0 1 0 61956103 51396608 10647 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 12548 10647 2833 2753 0 9201 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68784 KiB
Current children cumulated memory: 46300 KiB

[startup+3.1132 s]
/proc/loadavg: 4.20 4.16 4.16 5/252 335783
/proc/meminfo: memFree=126236984/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=56312 memory=47072 CPUtime=3.09 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 9061 0 0 0 307 2 0 0 20 0 1 0 61956103 57663488 11768 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 14078 11768 2833 2753 0 10731 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 50784 KiB

[startup+6.30041 s]
/proc/loadavg: 4.20 4.16 4.16 5/252 335783
/proc/meminfo: memFree=126080716/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=99192 memory=88516 CPUtime=6.26 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 19379 0 0 0 623 3 0 0 20 0 1 0 61956103 101572608 22129 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 24798 22129 2833 2753 0 21451 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117784 KiB
Current children cumulated memory: 92228 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.16 4.16 5/252 335785
/proc/meminfo: memFree=125897716/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=119732 memory=106872 CPUtime=12.63 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 25137 0 0 0 1259 4 0 0 20 0 1 0 61956103 122605568 26718 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 29933 26718 2833 2753 0 26586 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 138324 KiB
Current children cumulated memory: 110584 KiB

[startup+25.5005 s]
/proc/loadavg: 4.14 4.15 4.16 5/252 335787
/proc/meminfo: memFree=125882368/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=128924 memory=116360 CPUtime=25.39 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 27486 0 0 0 2534 5 0 0 20 0 1 0 61956103 132018176 29090 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 32231 29090 2833 2753 0 28884 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 147516 KiB
Current children cumulated memory: 120072 KiB

[startup+51.1142 s]
/proc/loadavg: 4.16 4.16 4.16 5/252 335792
/proc/meminfo: memFree=125740216/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 681 602 264 0 134 0
[pid=335782] ppid=335779 vsize=8660 memory=988 CPUtime=0 cores=0,2
/proc/335782/stat : 335782 (timeout) S 335779 335782 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956103 8867840 247 134679101440 94912784453632 94912784488648 140733321992544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94912786586064 94912786588196 94912811864064 140733321995305 140733321995421 140733321995421 140733322002407 0
/proc/335782/statm: 2165 247 223 9 0 87 0
[pid=335783] ppid=335782 vsize=169096 memory=153992 CPUtime=50.92 cores=0,2
/proc/335783/stat : 335783 (LS-MabSP) R 335782 335782 332464 0 -1 4194304 37903 0 0 0 5086 6 0 0 20 0 1 0 61956103 173154304 38498 134679101440 4194304 15467897 140729943609952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49311744 140729943618620 140729943618723 140729943618723 140729943625709 0
/proc/335783/statm: 42274 38498 2833 2753 0 38927 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 187688 KiB
Current children cumulated memory: 157704 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/252 335801
/proc/meminfo: memFree=125442528/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61956103 10170368 681 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0

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

/proc/336767/statm: 52672 50514 748 737 0 51760 0
Current children cumulated CPU time: 3391.65 s
Current children cumulated vsize: 229280 KiB
Current children cumulated memory: 205844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.37 4.22 5/252 337684
/proc/meminfo: memFree=124875928/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=211392 memory=202712 CPUtime=1658.72 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 28873 0 0 0 165863 9 0 0 20 0 1 0 62135904 216465408 50678 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 52848 50678 748 737 0 51936 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 229984 KiB
Current children cumulated memory: 206500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.31 4.21 5/253 337696
/proc/meminfo: memFree=124872408/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=213120 memory=204220 CPUtime=1718.53 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29324 0 0 0 171844 9 0 0 20 0 1 0 62135904 218234880 51055 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53280 51055 748 737 0 52368 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 231712 KiB
Current children cumulated memory: 208008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.28 4.21 5/253 337707
/proc/meminfo: memFree=124869960/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1778.34 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29728 0 0 0 177824 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

[startup+3596.04 s]
# the end of solver process 335779 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3537.87 s, system=46.9326 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.28 4.20 5/253 337707
/proc/meminfo: memFree=124869960/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1780.05 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29728 0 0 0 177995 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1786.42 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29729 0 0 0 178632 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3579.16 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1789.61 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29729 0 0 0 178951 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1791.2 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29729 0 0 0 179110 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3583.94 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1791.6 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29729 0 0 0 179150 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.27 4.20 6/239 337825
/proc/meminfo: memFree=125283336/131655788 swapFree=131071996/131071996
[pid=335779] ppid=335776 vsize=9932 memory=2768 CPUtime=1792.74 cores=0,2
/proc/335779/stat : 335779 (Hybrid-LSMabSP+) S 335776 335779 332464 0 -1 4194304 267 107098 0 0 0 0 174593 4681 20 0 1 0 61956103 10170368 692 134679101440 94299019554816 94299020634136 140727970635920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94299022732592 94299022779780 94299041034240 140727970640872 140727970641018 140727970641018 140727970648033 0
/proc/335779/statm: 2483 692 602 264 0 134 0
[pid=336766] ppid=335779 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/336766/stat : 336766 (timeout) S 335779 336766 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135904 8867840 255 134679101440 94706680852480 94706680887496 140728938370560 0 0 0 0 3293184 73735 0 0 0 17 0 0 0 0 0 0 94706682984912 94706682987044 94706701533184 140728938378228 140728938378397 140728938378397 140728938385383 0
/proc/336766/statm: 2165 255 231 9 0 87 0
[pid=336767] ppid=336766 vsize=214464 memory=205472 CPUtime=1792.01 cores=0,2
/proc/336767/stat : 336767 (Exact) R 336766 336766 332464 0 -1 4194304 29734 0 0 0 179191 10 0 0 20 0 1 0 62135904 219611136 51368 134679101440 4194304 7210733 140729549260928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30695424 140729549267984 140729549268134 140729549268134 140729549275120 0
/proc/336767/statm: 53616 51368 748 737 0 52704 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 209260 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3584.8
CPU user time (s): 3537.87
CPU system time (s): 46.9326
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 450836
Max. memory (cumulated for all children) (KiB): 405936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.87
system time used= 46.9326
maximum resident set size= 402224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140135
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 24544


# summary of solver processes directly reported to runsolver:
#   pid: 335779
#   total CPU time (s): 3584.8
#   total CPU user time (s): 3537.87
#   total CPU system time (s): 46.9326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0844 second user time and 37.9425 second system time

The end