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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=337351, runsolver pid=337347

[startup+0.100648 s]*
/proc/loadavg: 0.13 0.09 0.09 6/267 337380
/proc/meminfo: memFree=129040272/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=37912 memory=19360 CPUtime=0.07 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 4220 0 0 0 7 0 0 0 20 0 1 0 61424753 38821888 4840 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 9478 4840 750 2417 0 6580 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 56504 KiB
Current children cumulated memory: 23056 KiB

[startup+0.206038 s]*
/proc/loadavg: 0.13 0.09 0.09 5/267 337380
/proc/meminfo: memFree=128990948/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=57928 memory=39612 CPUtime=0.17 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 9220 0 0 0 17 0 0 0 20 0 1 0 61424753 59318272 9903 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 14482 9903 750 2417 0 11584 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 76520 KiB
Current children cumulated memory: 43308 KiB

[startup+0.306294 s]*
/proc/loadavg: 0.13 0.09 0.09 6/267 337380
/proc/meminfo: memFree=128945084/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=76776 memory=58356 CPUtime=0.28 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 13941 0 0 0 27 1 0 0 20 0 1 0 61424753 78618624 14589 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 19194 14589 750 2417 0 16296 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95368 KiB
Current children cumulated memory: 62052 KiB

[startup+0.700288 s]
/proc/loadavg: 0.68 0.21 0.13 6/267 337380
/proc/meminfo: memFree=128874344/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=84668 memory=69856 CPUtime=0.66 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 17071 0 0 0 64 2 0 0 20 0 1 0 61424753 86700032 17464 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 21167 17464 782 2417 0 18269 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 103260 KiB
Current children cumulated memory: 73552 KiB

[startup+1.50029 s]
/proc/loadavg: 0.68 0.21 0.13 6/267 337380
/proc/meminfo: memFree=128737636/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=87612 memory=72288 CPUtime=1.46 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 17688 0 0 0 144 2 0 0 20 0 1 0 61424753 89714688 18072 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 21903 18072 798 2417 0 19005 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 106204 KiB
Current children cumulated memory: 75984 KiB

[startup+3.10636 s]
/proc/loadavg: 0.68 0.21 0.13 6/267 337380
/proc/meminfo: memFree=128303976/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=90332 memory=74928 CPUtime=3.06 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 18340 0 0 0 304 2 0 0 20 0 1 0 61424753 92499968 18732 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 22583 18732 798 2417 0 19685 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 108924 KiB
Current children cumulated memory: 78624 KiB

[startup+6.30029 s]
/proc/loadavg: 0.95 0.27 0.15 6/267 337380
/proc/meminfo: memFree=127876936/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=97404 memory=82168 CPUtime=6.25 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 18822 0 0 0 622 3 0 0 20 0 1 0 61424753 99741696 20542 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 24351 20542 798 2417 0 21453 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 115996 KiB
Current children cumulated memory: 85864 KiB

[startup+12.7003 s]
/proc/loadavg: 1.19 0.33 0.17 6/267 337382
/proc/meminfo: memFree=127818352/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=102092 memory=83900 CPUtime=12.64 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 19461 0 0 0 1260 4 0 0 20 0 1 0 61424753 104542208 20975 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 25523 20975 798 2417 0 22625 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120684 KiB
Current children cumulated memory: 87596 KiB

[startup+25.5003 s]
/proc/loadavg: 1.62 0.45 0.21 6/267 337383
/proc/meminfo: memFree=127760748/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=109544 memory=93368 CPUtime=25.4 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 19737 0 0 0 2536 4 0 0 20 0 1 0 61424753 112173056 23342 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 27386 23342 798 2417 0 24488 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 128136 KiB
Current children cumulated memory: 97064 KiB

[startup+51.1065 s]
/proc/loadavg: 2.62 0.81 0.34 6/267 337388
/proc/meminfo: memFree=127738148/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 668 591 264 0 134 0
[pid=337359] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/337359/stat : 337359 (timeout) S 337351 337359 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61424751 8867840 256 134679101440 94696650571776 94696650606792 140730493734048 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94696652704208 94696652706340 94696679550976 140730493740057 140730493740189 140730493740189 140730493747175 0
/proc/337359/statm: 2165 256 231 9 0 87 0
[pid=337378] ppid=337359 vsize=113752 memory=97704 CPUtime=50.93 cores=5,7
/proc/337378/stat : 337378 (CASHWMaxSAT-Dis) R 337359 337359 337292 0 -1 4194304 20360 0 0 0 5089 4 0 0 20 0 1 0 61424753 116482048 24426 134679101440 4194304 14093885 140729291379216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43913216 140729291383839 140729291383958 140729291383958 140729291390944 0
/proc/337378/statm: 28438 24426 798 2417 0 25540 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 132344 KiB
Current children cumulated memory: 101400 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.32 0.54 6/267 337397
/proc/meminfo: memFree=127738668/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 61424751 10170368 668 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0

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

/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.32 4.14 4.03 6/265 339212
/proc/meminfo: memFree=125902660/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1660.44 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271345 0 0 0 164778 1266 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.81 4.33 4.10 6/266 339223
/proc/meminfo: memFree=125901952/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1720.34 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271385 0 0 0 170674 1360 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.69 4.42 4.15 6/266 339233
/proc/meminfo: memFree=125899248/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1780.23 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271425 0 0 0 176566 1457 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

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

# cumulated CPU time of all completed processes:  user=3571.5 s, system=14.9397 s

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

[startup+3584 s]*
/proc/loadavg: 4.69 4.42 4.15 6/266 339233
/proc/meminfo: memFree=125899136/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1781.93 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271445 0 0 0 176733 1460 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3590.4 s]
/proc/loadavg: 4.63 4.41 4.15 6/266 339235
/proc/meminfo: memFree=125899132/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1788.31 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271445 0 0 0 177361 1470 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3593.6 s]
/proc/loadavg: 4.58 4.40 4.15 6/266 339235
/proc/meminfo: memFree=125899176/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1791.51 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271445 0 0 0 177676 1475 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3595.2 s]
/proc/loadavg: 4.58 4.40 4.15 6/266 339235
/proc/meminfo: memFree=125898468/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1793.1 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271445 0 0 0 177833 1477 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3595.6 s]
/proc/loadavg: 4.58 4.40 4.15 6/266 339235
/proc/meminfo: memFree=125898468/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1793.5 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271445 0 0 0 177873 1477 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3585.95 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

[startup+3596 s]*
/proc/loadavg: 4.58 4.40 4.15 6/266 339235
/proc/meminfo: memFree=125898500/131524600 swapFree=131071996/131071996
[pid=337351] ppid=337347 vsize=9932 memory=2724 CPUtime=1792.45 cores=5,7
/proc/337351/stat : 337351 (Hybrid-LSMabSP+) S 337347 337351 337292 0 -1 4194304 268 28811 0 0 0 0 179232 13 20 0 1 0 61424751 10170368 681 134679101440 94019334873088 94019335952408 140726693135840 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94019338050864 94019338098052 94019367575552 140726693139406 140726693139565 140726693139565 140726693146580 0
/proc/337351/statm: 2483 681 591 264 0 134 0
[pid=338280] ppid=337351 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/338280/stat : 338280 (timeout) S 337351 338280 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61604553 8867840 256 134679101440 94435236999168 94435237034184 140732744523440 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94435239131600 94435239133732 94435258855424 140732744524841 140732744524957 140732744524957 140732744531943 0
/proc/338280/statm: 2165 256 232 9 0 87 0
[pid=338282] ppid=338280 vsize=1180652 memory=993716 CPUtime=1793.91 cores=5,7
/proc/338282/stat : 338282 (LS-MabSP) R 338280 338280 337292 0 -1 4194304 271445 0 0 0 177913 1478 0 0 20 0 1 0 61604553 1208987648 248429 134679101440 4194304 15467897 140734889619328 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34988032 140734889628732 140734889628835 140734889628835 140734889635821 0
/proc/338282/statm: 295163 248429 2833 2753 0 291816 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 1199244 KiB
Current children cumulated memory: 997464 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3586.44
CPU user time (s): 3571.5
CPU system time (s): 14.9397
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 1549624
Max. memory (cumulated for all children) (KiB): 1294356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.5
system time used= 14.9397
maximum resident set size= 1290608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303644
page faults= 2
swaps= 0
block input operations= 576
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 1443


# summary of solver processes directly reported to runsolver:
#   pid: 337351
#   total CPU time (s): 3586.44
#   total CPU user time (s): 3571.5
#   total CPU system time (s): 14.9397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13407 second user time and 21.2648 second system time

The end