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: 63968 MiB (61441 MiB free)
  memory of node 1: 64473 MiB (63337 MiB free)
  node distances:
     10  21
     21  10

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

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
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=330960, runsolver pid=330944

[startup+0.100116 s]*
/proc/loadavg: 0.08 0.09 0.09 8/268 330974
/proc/meminfo: memFree=127741512/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=26204 memory=13432 CPUtime=0.08 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 2077 0 0 0 8 0 0 0 20 0 1 0 61208632 26832896 3358 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 6551 3358 1153 2753 0 3204 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44796 KiB
Current children cumulated memory: 17124 KiB

[startup+0.20639 s]*
/proc/loadavg: 0.08 0.09 0.09 8/268 330974
/proc/meminfo: memFree=127692772/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=56156 memory=47776 CPUtime=0.18 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 9211 0 0 0 17 1 0 0 20 0 1 0 61208632 57503744 11944 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 14039 11944 2817 2753 0 10692 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74748 KiB
Current children cumulated memory: 51468 KiB

[startup+0.306555 s]*
/proc/loadavg: 0.08 0.09 0.09 8/268 330974
/proc/meminfo: memFree=127678556/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=59568 memory=50716 CPUtime=0.28 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 9965 0 0 0 27 1 0 0 20 0 1 0 61208632 60997632 12679 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 14892 12679 2833 2753 0 11545 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78160 KiB
Current children cumulated memory: 54408 KiB

[startup+0.700175 s]
/proc/loadavg: 0.08 0.09 0.09 8/268 330974
/proc/meminfo: memFree=127659160/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=0.66 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 65 1 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+1.50017 s]
/proc/loadavg: 0.08 0.09 0.09 8/268 330974
/proc/meminfo: memFree=127577660/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=1.47 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 143 4 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+3.10547 s]
/proc/loadavg: 0.47 0.17 0.12 8/268 330974
/proc/meminfo: memFree=127259296/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=3.07 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 299 8 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+6.30016 s]
/proc/loadavg: 0.47 0.17 0.12 8/268 330974
/proc/meminfo: memFree=126967888/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=6.26 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 610 16 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 8/268 330976
/proc/meminfo: memFree=126933164/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=12.65 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 1233 32 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.20 8/268 330977
/proc/meminfo: memFree=126867660/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=25.43 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 2477 66 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+51.1055 s]
/proc/loadavg: 2.42 0.73 0.31 8/268 330982
/proc/meminfo: memFree=126739608/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 677 598 264 0 134 0
[pid=330969] ppid=330960 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/330969/stat : 330969 (timeout) S 330960 330969 330883 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61208630 8867840 246 134679101440 94032972447744 94032972482760 140735733051568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94032974580176 94032974582308 94033001549824 140735733060649 140735733060765 140735733060765 140735733067751 0
/proc/330969/statm: 2165 246 221 9 0 87 0
[pid=330972] ppid=330969 vsize=49760 memory=41640 CPUtime=50.98 cores=5,7
/proc/330972/stat : 330972 (LS-MabSP) R 330969 330969 330883 0 -1 4194304 10693 0 0 0 4964 134 0 0 20 0 1 0 61208632 50954240 10410 134679101440 4194304 15467897 140733083127552 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35819520 140733083128892 140733083128995 140733083128995 140733083135981 0
/proc/330972/statm: 12440 10410 2833 2753 0 9093 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 68352 KiB
Current children cumulated memory: 45332 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.28 0.52 8/268 330991
/proc/meminfo: memFree=126609168/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 677 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0

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

/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=145420 memory=126836 CPUtime=104.01 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 21297 0 0 0 10397 4 0 0 20 0 1 0 61388432 148910080 31709 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 36355 31709 748 737 0 35443 0
Current children cumulated CPU time: 1898.82 s
Current children cumulated vsize: 164012 KiB
Current children cumulated memory: 130532 KiB

[startup+1962.3 s]
/proc/loadavg: 4.13 4.11 3.68 7/262 331968
/proc/meminfo: memFree=126151532/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=157164 memory=135428 CPUtime=163.87 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 23589 0 0 0 16382 5 0 0 20 0 1 0 61388432 160935936 33857 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 39291 33857 748 737 0 38379 0
Current children cumulated CPU time: 1958.68 s
Current children cumulated vsize: 175756 KiB
Current children cumulated memory: 139124 KiB

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

# cumulated CPU time of all completed processes:  user=1964.75 s, system=45.5382 s

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

[startup+1971.2 s]
/proc/loadavg: 4.12 4.11 3.68 7/262 331969
/proc/meminfo: memFree=126150792/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=157164 memory=135692 CPUtime=172.75 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 23590 0 0 0 17270 5 0 0 20 0 1 0 61388432 160935936 33923 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 39291 33923 748 737 0 38379 0
Current children cumulated CPU time: 1967.56 s
Current children cumulated vsize: 175756 KiB
Current children cumulated memory: 139388 KiB

[startup+1996.8 s]
/proc/loadavg: 4.14 4.12 3.69 8/262 331973
/proc/meminfo: memFree=126139752/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=160304 memory=144448 CPUtime=198.29 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 24299 0 0 0 19824 5 0 0 20 0 1 0 61388432 164151296 36112 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 40076 36112 748 737 0 39164 0
Current children cumulated CPU time: 1993.1 s
Current children cumulated vsize: 178896 KiB
Current children cumulated memory: 148144 KiB

[startup+2003.2 s]
/proc/loadavg: 4.12 4.11 3.70 8/262 331975
/proc/meminfo: memFree=126138668/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=160304 memory=144448 CPUtime=204.67 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 24308 0 0 0 20462 5 0 0 20 0 1 0 61388432 164151296 36112 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 40076 36112 748 737 0 39164 0
Current children cumulated CPU time: 1999.48 s
Current children cumulated vsize: 178896 KiB
Current children cumulated memory: 148144 KiB

[startup+2009.6 s]
/proc/loadavg: 4.11 4.11 3.70 7/262 331976
/proc/meminfo: memFree=126136876/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=162608 memory=146096 CPUtime=211.06 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 24728 0 0 0 21101 5 0 0 20 0 1 0 61388432 166510592 36524 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 40652 36524 748 737 0 39740 0
Current children cumulated CPU time: 2005.87 s
Current children cumulated vsize: 181200 KiB
Current children cumulated memory: 149792 KiB

[startup+2011.2 s]
/proc/loadavg: 4.11 4.11 3.70 7/262 331976
/proc/meminfo: memFree=126136928/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=162608 memory=146096 CPUtime=212.65 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 24728 0 0 0 21260 5 0 0 20 0 1 0 61388432 166510592 36524 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 40652 36524 748 737 0 39740 0
Current children cumulated CPU time: 2007.46 s
Current children cumulated vsize: 181200 KiB
Current children cumulated memory: 149792 KiB

[startup+2012.8 s]
/proc/loadavg: 4.10 4.11 3.70 7/262 331976
/proc/meminfo: memFree=126136880/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=162608 memory=146096 CPUtime=214.25 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 24728 0 0 0 21420 5 0 0 20 0 1 0 61388432 166510592 36524 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 40652 36524 748 737 0 39740 0
Current children cumulated CPU time: 2009.06 s
Current children cumulated vsize: 181200 KiB
Current children cumulated memory: 149792 KiB

[startup+2013.6 s]
/proc/loadavg: 4.10 4.11 3.70 8/262 331976
/proc/meminfo: memFree=126136920/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) S 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
[pid=331877] ppid=331876 vsize=162608 memory=146096 CPUtime=215.05 cores=5,7
/proc/331877/stat : 331877 (Exact) R 331876 331876 330883 0 -1 4194304 24728 0 0 0 21500 5 0 0 20 0 1 0 61388432 166510592 36524 134679101440 4194304 7210733 140728636689664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 29712384 140728636691472 140728636691622 140728636691622 140728636698608 0
/proc/331877/statm: 40652 36524 748 737 0 39740 0
Current children cumulated CPU time: 2009.86 s
Current children cumulated vsize: 181200 KiB
Current children cumulated memory: 149792 KiB

[startup+2014 s]*
/proc/loadavg: 4.10 4.11 3.70 7/262 331976
/proc/meminfo: memFree=126237384/131524600 swapFree=131071996/131071996
[pid=330960] ppid=330944 vsize=9932 memory=2752 CPUtime=1794.81 cores=5,7
/proc/330960/stat : 330960 (Hybrid-LSMabSP+) S 330944 330960 330883 0 -1 4194304 269 11040 0 1 0 0 174934 4547 20 0 1 0 61208630 10170368 688 134679101440 94606611529728 94606612609048 140723655798544 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94606614707504 94606614754692 94606617206784 140723655803880 140723655804026 140723655804026 140723655811041 0
/proc/330960/statm: 2483 688 598 264 0 134 0
[pid=331876] ppid=330960 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/331876/stat : 331876 (timeout) R 330960 331876 330883 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61388432 8867840 236 134679101440 94882721406976 94882721441992 140734847198208 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94882723539408 94882723541540 94882726031360 140734847206388 140734847206557 140734847206557 140734847213543 0
/proc/331876/statm: 2165 236 212 9 0 87 0
Current children cumulated CPU time: 1794.81 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3696 KiB

Child status: 0

Real time (s): 2014.02
CPU time (s): 2010.29
CPU user time (s): 1964.75
CPU system time (s): 45.5382
CPU usage (%): 99.8145
Max. virtual memory (cumulated for all children) (KiB): 181200
Max. memory (cumulated for all children) (KiB): 149792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1964.75
system time used= 45.5382
maximum resident set size= 146420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37266
page faults= 1
swaps= 0
block input operations= 56
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69
involuntary context switches= 657


# summary of solver processes directly reported to runsolver:
#   pid: 330960
#   total CPU time (s): 2010.29
#   total CPU user time (s): 1964.75
#   total CPU system time (s): 45.5382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78772 second user time and 8.83508 second system time

The end