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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459245-1722989626/watcher-4459245-1722989626 -o /tmp/evaluation-result-4459245-1722989626/solver-4459245-1722989626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722982429-350130 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4459245-1722989626.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
solver pid=354474, runsolver pid=354471
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.24 4.19 4.16 5/265 354478
/proc/meminfo: memFree=128978152/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=24740 memory=10852 CPUtime=0.09 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 2116 0 0 0 9 0 0 0 20 0 1 0 65563747 25333760 2713 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 6185 2713 798 2417 0 3287 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43332 KiB
Current children cumulated memory: 14564 KiB

[startup+0.20583 s]*
/proc/loadavg: 4.24 4.19 4.16 5/265 354478
/proc/meminfo: memFree=128975268/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=25128 memory=11116 CPUtime=0.2 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 2227 0 0 0 20 0 0 0 20 0 1 0 65563747 25731072 2779 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 6282 2779 798 2417 0 3384 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43720 KiB
Current children cumulated memory: 14828 KiB

[startup+0.305829 s]*
/proc/loadavg: 4.24 4.19 4.16 5/265 354478
/proc/meminfo: memFree=128974416/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=25764 memory=11644 CPUtime=0.3 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 2350 0 0 0 30 0 0 0 20 0 1 0 65563747 26382336 2911 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 6441 2911 798 2417 0 3543 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44356 KiB
Current children cumulated memory: 15356 KiB

[startup+0.700309 s]
/proc/loadavg: 4.24 4.19 4.16 5/265 354478
/proc/meminfo: memFree=128973852/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=28528 memory=12768 CPUtime=0.68 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 3116 0 0 0 68 0 0 0 20 0 1 0 65563747 29212672 3192 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 7132 3192 798 2417 0 4234 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47120 KiB
Current children cumulated memory: 16480 KiB

[startup+1.50027 s]
/proc/loadavg: 4.24 4.19 4.16 6/265 354478
/proc/meminfo: memFree=128971476/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=31232 memory=16660 CPUtime=1.48 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 3612 0 0 0 148 0 0 0 20 0 1 0 65563747 31981568 4165 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 7808 4165 798 2417 0 4910 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49824 KiB
Current children cumulated memory: 20372 KiB

[startup+3.10589 s]
/proc/loadavg: 4.24 4.19 4.16 5/265 354480
/proc/meminfo: memFree=128961280/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=35768 memory=21672 CPUtime=3.08 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 4891 0 0 0 308 0 0 0 20 0 1 0 65563747 36626432 5418 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 8942 5418 798 2417 0 6044 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54360 KiB
Current children cumulated memory: 25384 KiB

[startup+6.30028 s]
/proc/loadavg: 4.22 4.18 4.16 5/265 354480
/proc/meminfo: memFree=128958112/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=38580 memory=24384 CPUtime=6.27 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 5556 0 0 0 626 1 0 0 20 0 1 0 65563747 39505920 6096 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 9645 6096 798 2417 0 6747 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57172 KiB
Current children cumulated memory: 28096 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.18 4.16 5/265 354481
/proc/meminfo: memFree=128946164/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=50072 memory=36224 CPUtime=12.65 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 6057 0 0 0 1264 1 0 0 20 0 1 0 65563747 51273728 9056 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 12518 9056 798 2417 0 9620 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68664 KiB
Current children cumulated memory: 39936 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.17 4.15 5/265 354483
/proc/meminfo: memFree=128938648/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=50072 memory=36224 CPUtime=25.41 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 6079 0 0 0 2540 1 0 0 20 0 1 0 65563747 51273728 9056 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 12518 9056 798 2417 0 9620 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 68664 KiB
Current children cumulated memory: 39936 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.16 4.15 5/265 354558
/proc/meminfo: memFree=128590552/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 671 593 264 0 134 0
[pid=354477] ppid=354474 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/354477/stat : 354477 (timeout) S 354474 354477 350117 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65563747 8867840 257 134679101440 93864063676416 93864063711432 140726159046656 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93864065808848 93864065810980 93864093118464 140726159053849 140726159053981 140726159053981 140726159060967 0
/proc/354477/statm: 2165 257 233 9 0 87 0
[pid=354478] ppid=354477 vsize=50120 memory=36224 CPUtime=50.95 cores=5,7
/proc/354478/stat : 354478 (CASHWMaxSAT-Dis) R 354477 354477 350117 0 -1 4194304 6671 0 0 0 5093 2 0 0 20 0 1 0 65563747 51322880 9056 134679101440 4194304 14093885 140735047047936 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46702592 140735047050271 140735047050390 140735047050390 140735047057376 0
/proc/354478/statm: 12530 9056 798 2417 0 9632 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 68712 KiB
Current children cumulated memory: 39936 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/265 354568
/proc/meminfo: memFree=127496476/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 65563747 10170368 671 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0

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

/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/264 356537
/proc/meminfo: memFree=96847480/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1659.83 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40164 0 0 0 157050 8933 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/264 356547
/proc/meminfo: memFree=95921476/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1719.71 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40166 0 0 0 162323 9648 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.13 4.12 5/264 356557
/proc/meminfo: memFree=95006472/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1779.58 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 167600 10358 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

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

# cumulated CPU time of all completed processes:  user=3481.2 s, system=105.488 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.13 4.12 7/264 356557
/proc/meminfo: memFree=94976012/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1781.29 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 167751 10378 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.12 5/264 356557
/proc/meminfo: memFree=94886444/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1787.66 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 168308 10458 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.13 4.12 5/264 356558
/proc/meminfo: memFree=94840300/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1790.86 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 168589 10497 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.13 4.12 5/264 356558
/proc/meminfo: memFree=94808724/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1792.45 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 168730 10515 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.13 4.12 5/264 356558
/proc/meminfo: memFree=94808724/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1792.85 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 168766 10519 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.13 4.12 4/255 356611
/proc/meminfo: memFree=95110104/131524600 swapFree=131063756/131071996
[pid=354474] ppid=354471 vsize=9932 memory=2732 CPUtime=1793.39 cores=5,7
/proc/354474/stat : 354474 (Hybrid-LSMabSP+) S 354471 354474 350117 0 -1 4194304 264 16799 0 0 0 0 179317 22 20 0 1 0 65563747 10170368 683 134679101440 94192168546304 94192169625624 140724170730768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94192171724080 94192171771268 94192191135744 140724170736590 140724170736749 140724170736749 140724170743764 0
/proc/354474/statm: 2483 683 593 264 0 134 0
[pid=355504] ppid=354474 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/355504/stat : 355504 (timeout) S 354474 355504 350117 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65743547 8867840 247 134679101440 94892921065472 94892921100488 140730851157216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94892923197904 94892923200036 94892926087168 140730851161129 140730851161245 140730851161245 140730851168231 0
/proc/355504/statm: 2165 247 223 9 0 87 0
[pid=355505] ppid=355504 vsize=166844 memory=161272 CPUtime=1793.26 cores=5,7
/proc/355505/stat : 355505 (LS-MabSP) R 355504 355504 350117 0 -1 4194304 40168 0 0 0 168801 10525 0 0 20 0 1 0 65743547 170848256 40318 134679101440 4194304 15467897 140728983166896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30081024 140728983176252 140728983176355 140728983176355 140728983183341 0
/proc/355505/statm: 41711 40318 2849 2753 0 38364 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 185436 KiB
Current children cumulated memory: 164992 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3586.69
CPU user time (s): 3481.2
CPU system time (s): 105.488
CPU usage (%): 99.7404
Max. virtual memory (cumulated for all children) (KiB): 204484
Max. memory (cumulated for all children) (KiB): 182268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3481.2
system time used= 105.488
maximum resident set size= 178548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 3050


# summary of solver processes directly reported to runsolver:
#   pid: 354474
#   total CPU time (s): 3586.69
#   total CPU user time (s): 3481.2
#   total CPU system time (s): 105.488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49583 second user time and 17.9931 second system time

The end