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 (63338 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437136-1722948202/watcher-4437136-1722948202 -o /tmp/evaluation-result-4437136-1722948202/solver-4437136-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722948202-330895 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437136-1722948202.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=330952, runsolver pid=330945

[startup+0.100451 s]*
/proc/loadavg: 0.08 0.09 0.09 8/268 330974
/proc/meminfo: memFree=127741512/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=25884 memory=13116 CPUtime=0.08 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 1780 0 0 0 8 0 0 0 20 0 1 0 61208632 26505216 3279 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 6471 3279 1073 2753 0 3124 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44476 KiB
Current children cumulated memory: 16852 KiB

[startup+0.206389 s]*
/proc/loadavg: 0.08 0.09 0.09 5/268 330974
/proc/meminfo: memFree=127692772/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=27932 memory=15300 CPUtime=0.18 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 2359 0 0 0 18 0 0 0 20 0 1 0 61208632 28602368 3825 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 6983 3825 1073 2753 0 3636 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 46524 KiB
Current children cumulated memory: 19036 KiB

[startup+0.306741 s]*
/proc/loadavg: 0.08 0.09 0.09 7/268 330974
/proc/meminfo: memFree=127678556/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=41588 memory=27376 CPUtime=0.28 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 3318 0 0 0 28 0 0 0 20 0 1 0 61208632 42586112 6844 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 10397 6844 1073 2753 0 7050 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 60180 KiB
Current children cumulated memory: 31112 KiB

[startup+0.700293 s]
/proc/loadavg: 0.08 0.09 0.09 7/268 330974
/proc/meminfo: memFree=127659160/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=67652 memory=53708 CPUtime=0.66 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 9640 0 0 0 65 1 0 0 20 0 1 0 61208632 69275648 13427 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 16913 13427 1105 2753 0 13566 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 86244 KiB
Current children cumulated memory: 57444 KiB

[startup+1.50027 s]
/proc/loadavg: 0.08 0.09 0.09 6/268 330974
/proc/meminfo: memFree=127577660/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=67652 memory=53708 CPUtime=1.46 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 9640 0 0 0 145 1 0 0 20 0 1 0 61208632 69275648 13427 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 16913 13427 1105 2753 0 13566 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 86244 KiB
Current children cumulated memory: 57444 KiB

[startup+3.10664 s]
/proc/loadavg: 0.47 0.17 0.12 6/268 330974
/proc/meminfo: memFree=127259296/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=256056 memory=238044 CPUtime=3.06 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 55742 0 0 0 298 8 0 0 20 0 1 0 61208632 262201344 59511 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 64014 59511 2689 2753 0 60667 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 274648 KiB
Current children cumulated memory: 241780 KiB

[startup+6.30027 s]
/proc/loadavg: 0.47 0.17 0.12 6/268 330974
/proc/meminfo: memFree=126967888/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=610464 memory=537612 CPUtime=6.25 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 89397 0 0 0 609 16 0 0 20 0 1 0 61208632 625115136 134403 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 152616 134403 2833 2753 0 149269 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 629056 KiB
Current children cumulated memory: 541348 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 6/268 330976
/proc/meminfo: memFree=126933164/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=620552 memory=538932 CPUtime=12.62 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 89716 0 0 0 1246 16 0 0 20 0 1 0 61208632 635445248 134733 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 155138 134733 2833 2753 0 151791 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 639144 KiB
Current children cumulated memory: 542668 KiB

[startup+25.5003 s]
/proc/loadavg: 1.47 0.42 0.20 6/268 330977
/proc/meminfo: memFree=126867660/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=656544 memory=550072 CPUtime=25.37 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 91486 0 0 0 2520 17 0 0 20 0 1 0 61208632 672301056 137518 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 164136 137518 2833 2753 0 160789 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 675136 KiB
Current children cumulated memory: 553808 KiB

[startup+51.1066 s]
/proc/loadavg: 2.42 0.73 0.31 6/268 330982
/proc/meminfo: memFree=126739608/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 686 608 264 0 134 0
[pid=330967] ppid=330952 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/330967/stat : 330967 (timeout) S 330952 330967 330883 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61208630 8867840 248 134679101440 94135745228800 94135745263816 140729255789200 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94135747361232 94135747363364 94135777796096 140729255797801 140729255797917 140729255797917 140729255804903 0
/proc/330967/statm: 2165 248 223 9 0 87 0
[pid=330973] ppid=330967 vsize=903036 memory=674460 CPUtime=50.87 cores=0,2
/proc/330973/stat : 330973 (LS-MabSP) R 330967 330967 330883 0 -1 4194304 121599 0 0 0 5065 22 0 0 20 0 1 0 61208632 924708864 168615 134679101440 4194304 15467897 140732765560208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32075776 140732765566012 140732765566115 140732765566115 140732765573101 0
/proc/330973/statm: 225759 168615 2833 2753 0 222412 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 921628 KiB
Current children cumulated memory: 678196 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.28 0.52 6/268 330991
/proc/meminfo: memFree=126609168/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2744 CPUtime=0 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61208630 10170368 686 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0

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

/proc/331890/statm: 41524 37327 748 737 0 40612 0
Current children cumulated CPU time: 3390.23 s
Current children cumulated vsize: 184688 KiB
Current children cumulated memory: 153072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.06 6/265 332910
/proc/meminfo: memFree=126199916/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=166096 memory=149308 CPUtime=1658.47 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 20894 0 0 0 165841 6 0 0 20 0 1 0 61388434 170082304 37327 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41524 37327 748 737 0 40612 0
Current children cumulated CPU time: 3450.01 s
Current children cumulated vsize: 184688 KiB
Current children cumulated memory: 153072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.06 6/265 332921
/proc/meminfo: memFree=126196956/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150320 CPUtime=1718.25 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21220 0 0 0 171819 6 0 0 20 0 1 0 61388434 171180032 37580 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37580 748 737 0 40880 0
Current children cumulated CPU time: 3509.79 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.06 6/265 332932
/proc/meminfo: memFree=126196172/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1778.03 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21279 0 0 0 177797 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3569.57 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

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

# cumulated CPU time of all completed processes:  user=3567.88 s, system=15.456 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.12 4.06 6/265 332932
/proc/meminfo: memFree=126196208/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1779.73 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21279 0 0 0 177967 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.12 4.06 6/265 332933
/proc/meminfo: memFree=126196120/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1786.1 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21282 0 0 0 178604 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3577.64 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.12 4.06 6/265 332933
/proc/meminfo: memFree=126195996/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1789.29 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21283 0 0 0 178923 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3580.83 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.12 4.06 6/265 332933
/proc/meminfo: memFree=126196004/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1790.88 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21283 0 0 0 179082 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3582.42 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.12 4.06 6/265 332933
/proc/meminfo: memFree=126196004/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1791.28 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21284 0 0 0 179122 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3582.82 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.12 4.06 6/265 332933
/proc/meminfo: memFree=126196004/131524600 swapFree=131071996/131071996
[pid=330952] ppid=330945 vsize=9932 memory=2788 CPUtime=1791.54 cores=0,2
/proc/330952/stat : 330952 (Hybrid-LSMabSP+) S 330945 330952 330883 0 -1 4194304 272 255453 0 0 0 0 177617 1537 20 0 1 0 61208630 10170368 697 134679101440 94387455811584 94387456890904 140729950124816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94387458989360 94387459036548 94387474337792 140729950131176 140729950131322 140729950131322 140729950138337 0
/proc/330952/statm: 2483 697 608 264 0 134 0
[pid=331889] ppid=330952 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/331889/stat : 331889 (timeout) S 330952 331889 330883 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61388434 8867840 244 134679101440 94303813255168 94303813290184 140724294649808 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94303815387600 94303815389732 94303833964544 140724294652916 140724294653085 140724294653085 140724294660071 0
/proc/331889/statm: 2165 244 220 9 0 87 0
[pid=331890] ppid=331889 vsize=167168 memory=150396 CPUtime=1791.69 cores=0,2
/proc/331890/stat : 331890 (Exact) R 331889 331889 330883 0 -1 4194304 21284 0 0 0 179163 6 0 0 20 0 1 0 61388434 171180032 37599 134679101440 4194304 7210733 140730577122352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 29872128 140730577130512 140730577130662 140730577130662 140730577137648 0
/proc/331890/statm: 41792 37599 748 737 0 40880 0
Current children cumulated CPU time: 3583.23 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 154160 KiB

Child status: 0

Real time (s): 3596.1
CPU time (s): 3583.34
CPU user time (s): 3567.88
CPU system time (s): 15.456
CPU usage (%): 99.6452
Max. virtual memory (cumulated for all children) (KiB): 1550812
Max. memory (cumulated for all children) (KiB): 1239688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.88
system time used= 15.456
maximum resident set size= 1235952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280023
page faults= 2
swaps= 0
block input operations= 328
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 24654


# summary of solver processes directly reported to runsolver:
#   pid: 330952
#   total CPU time (s): 3583.34
#   total CPU user time (s): 3567.88
#   total CPU system time (s): 15.456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13324 second user time and 20.7642 second system time

The end