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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=334692, runsolver pid=334689
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 4.10 4.14 4.10 5/267 334696
/proc/meminfo: memFree=129491536/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=21512 memory=9288 CPUtime=0.1 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 960 0 0 0 10 0 0 0 20 0 1 0 61960991 22028288 2322 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 5378 2322 1105 2753 0 2031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 12968 KiB

[startup+0.205893 s]*
/proc/loadavg: 4.10 4.14 4.10 5/267 334696
/proc/meminfo: memFree=129474068/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=39896 memory=32424 CPUtime=0.2 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 5329 0 0 0 20 0 0 0 20 0 1 0 61960991 40853504 8106 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 9974 8106 2737 2753 0 6627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58488 KiB
Current children cumulated memory: 36104 KiB

[startup+0.306062 s]*
/proc/loadavg: 4.10 4.14 4.10 5/267 334696
/proc/meminfo: memFree=129466516/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=44908 memory=37556 CPUtime=0.29 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 6643 0 0 0 29 0 0 0 20 0 1 0 61960991 45985792 9389 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 11227 9389 2817 2753 0 7880 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63500 KiB
Current children cumulated memory: 41236 KiB

[startup+0.700211 s]
/proc/loadavg: 4.10 4.14 4.10 5/267 334696
/proc/meminfo: memFree=129461612/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=50052 memory=42068 CPUtime=0.68 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 7758 0 0 0 68 0 0 0 20 0 1 0 61960991 51253248 10517 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 12513 10517 2833 2753 0 9166 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 45748 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.14 4.10 5/267 334696
/proc/meminfo: memFree=129457852/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=61772 memory=53156 CPUtime=1.48 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 10527 0 0 0 147 1 0 0 20 0 1 0 61960991 63254528 13289 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 15443 13289 2833 2753 0 12096 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80364 KiB
Current children cumulated memory: 56836 KiB

[startup+3.10508 s]
/proc/loadavg: 4.10 4.14 4.10 5/267 334696
/proc/meminfo: memFree=129410440/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=74956 memory=65560 CPUtime=3.08 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 13630 0 0 0 307 1 0 0 20 0 1 0 61960991 76754944 16390 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 18739 16390 2833 2753 0 15392 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93548 KiB
Current children cumulated memory: 69240 KiB

[startup+6.30025 s]
/proc/loadavg: 4.17 4.15 4.11 5/267 334696
/proc/meminfo: memFree=129353112/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=116424 memory=105412 CPUtime=6.27 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 23627 0 0 0 624 3 0 0 20 0 1 0 61960991 119218176 26353 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 29106 26353 2833 2753 0 25759 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135016 KiB
Current children cumulated memory: 109092 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.11 5/267 334697
/proc/meminfo: memFree=129330892/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=134756 memory=119888 CPUtime=12.66 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 28370 0 0 0 1262 4 0 0 20 0 1 0 61960991 137990144 29972 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 33689 29972 2833 2753 0 30342 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 153348 KiB
Current children cumulated memory: 123568 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.10 5/267 334699
/proc/meminfo: memFree=129310324/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=139712 memory=125680 CPUtime=25.43 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 29854 0 0 0 2539 4 0 0 20 0 1 0 61960991 143065088 31420 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 34928 31420 2833 2753 0 31581 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 129360 KiB

[startup+51.1052 s]
/proc/loadavg: 4.16 4.15 4.10 5/267 334703
/proc/meminfo: memFree=129208400/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 684 608 264 0 134 0
[pid=334695] ppid=334692 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/334695/stat : 334695 (timeout) S 334692 334695 331427 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61960991 8867840 236 134679101440 94447204212736 94447204247752 140731915496192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94447206345168 94447206347300 94447207739392 140731915502633 140731915502749 140731915502749 140731915509735 0
/proc/334695/statm: 2165 236 212 9 0 87 0
[pid=334696] ppid=334695 vsize=199200 memory=181520 CPUtime=50.96 cores=1,3
/proc/334696/stat : 334696 (LS-MabSP) R 334695 334695 331427 0 -1 4194304 43826 0 0 0 5090 6 0 0 20 0 1 0 61960991 203980800 45380 134679101440 4194304 15467897 140721024152496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54509568 140721024156732 140721024156835 140721024156835 140721024163821 0
/proc/334696/statm: 49800 45380 2833 2753 0 46453 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 217792 KiB
Current children cumulated memory: 185200 KiB

[startup+102.3 s]
/proc/loadavg: 4.49 4.23 4.14 5/267 334773
/proc/meminfo: memFree=128939512/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61960990 10170368 684 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0

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

/proc/335745/statm: 51833 47149 748 737 0 50921 0
Current children cumulated CPU time: 3394.89 s
Current children cumulated vsize: 225924 KiB
Current children cumulated memory: 192356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 336638
/proc/meminfo: memFree=127841080/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=207908 memory=189368 CPUtime=1660.37 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28076 0 0 0 166028 9 0 0 20 0 1 0 62140791 212897792 47342 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 51977 47342 748 737 0 51065 0
Current children cumulated CPU time: 3454.75 s
Current children cumulated vsize: 226500 KiB
Current children cumulated memory: 193128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 336648
/proc/meminfo: memFree=127837100/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=208484 memory=191780 CPUtime=1720.22 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28323 0 0 0 172013 9 0 0 20 0 1 0 62140791 213487616 47945 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52121 47945 748 737 0 51209 0
Current children cumulated CPU time: 3514.6 s
Current children cumulated vsize: 227076 KiB
Current children cumulated memory: 195540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 336658
/proc/meminfo: memFree=127835144/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=208868 memory=192324 CPUtime=1780.08 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28496 0 0 0 177999 9 0 0 20 0 1 0 62140791 213880832 48081 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52217 48081 748 737 0 51305 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196084 KiB

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

# cumulated CPU time of all completed processes:  user=3542.43 s, system=45.76 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 336658
/proc/meminfo: memFree=127835144/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=208868 memory=192324 CPUtime=1781.78 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28497 0 0 0 178169 9 0 0 20 0 1 0 62140791 213880832 48081 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52217 48081 748 737 0 51305 0
Current children cumulated CPU time: 3576.16 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196084 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 336659
/proc/meminfo: memFree=127834640/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=209316 memory=192764 CPUtime=1788.16 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28616 0 0 0 178807 9 0 0 20 0 1 0 62140791 214339584 48191 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52329 48191 748 737 0 51417 0
Current children cumulated CPU time: 3582.54 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 196524 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 336659
/proc/meminfo: memFree=127834640/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=209316 memory=192764 CPUtime=1791.36 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28616 0 0 0 179127 9 0 0 20 0 1 0 62140791 214339584 48191 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52329 48191 748 737 0 51417 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 196524 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 336659
/proc/meminfo: memFree=127834640/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=209316 memory=192764 CPUtime=1792.95 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28616 0 0 0 179286 9 0 0 20 0 1 0 62140791 214339584 48191 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52329 48191 748 737 0 51417 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 196524 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 336659
/proc/meminfo: memFree=127834640/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=209316 memory=192764 CPUtime=1793.35 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28616 0 0 0 179326 9 0 0 20 0 1 0 62140791 214339584 48191 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52329 48191 748 737 0 51417 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 196524 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 336730
/proc/meminfo: memFree=128034856/131524600 swapFree=131071996/131071996
[pid=334692] ppid=334689 vsize=9932 memory=2788 CPUtime=1794.38 cores=1,3
/proc/334692/stat : 334692 (Hybrid-LSMabSP+) S 334689 334692 331427 0 -1 4194304 268 122548 0 0 0 0 174874 4564 20 0 1 0 61960990 10170368 697 134679101440 94452576342016 94452577421336 140722100042576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94452579519792 94452579566980 94452594343936 140722100044776 140722100044922 140722100044922 140722100051937 0
/proc/334692/statm: 2483 697 608 264 0 134 0
[pid=335744] ppid=334692 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/335744/stat : 335744 (timeout) S 334692 335744 331427 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62140791 8867840 243 134679101440 94058465734656 94058465769672 140731500599760 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94058467867088 94058467869220 94058478452736 140731500602356 140731500602525 140731500602525 140731500609511 0
/proc/335744/statm: 2165 243 219 9 0 87 0
[pid=335745] ppid=335744 vsize=209316 memory=192764 CPUtime=1793.76 cores=1,3
/proc/335745/stat : 335745 (Exact) R 335744 335744 331427 0 -1 4194304 28616 0 0 0 179367 9 0 0 20 0 1 0 62140791 214339584 48191 134679101440 4194304 7210733 140731948227552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16187392 140731948233744 140731948233894 140731948233894 140731948240880 0
/proc/335745/statm: 52329 48191 748 737 0 51417 0
Current children cumulated CPU time: 3588.14 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 196524 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3588.19
CPU user time (s): 3542.43
CPU system time (s): 45.76
CPU usage (%): 99.782
Max. virtual memory (cumulated for all children) (KiB): 515020
Max. memory (cumulated for all children) (KiB): 488732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.43
system time used= 45.76
maximum resident set size= 485052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127
involuntary context switches= 2069


# summary of solver processes directly reported to runsolver:
#   pid: 334692
#   total CPU time (s): 3588.19
#   total CPU user time (s): 3542.43
#   total CPU system time (s): 45.76

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51401 second user time and 16.2325 second system time

The end