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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436642-1722951806/watcher-4436642-1722951806 -o /tmp/evaluation-result-4436642-1722951806/solver-4436642-1722951806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722948202-337306 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436642-1722951806.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
Current StackSize limit: 8192 KiB

solver pid=339499, runsolver pid=339496

[startup+0.100514 s]*
/proc/loadavg: 4.57 4.41 4.15 4/259 339503
/proc/meminfo: memFree=128979276/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=38456 memory=19896 CPUtime=0.09 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 4349 0 0 0 9 0 0 0 20 0 1 0 61784877 39378944 4974 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 9614 4974 750 2417 0 6716 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57048 KiB
Current children cumulated memory: 23696 KiB

[startup+0.205391 s]*
/proc/loadavg: 4.57 4.41 4.15 4/259 339503
/proc/meminfo: memFree=128957468/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=51492 memory=33156 CPUtime=0.19 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 7613 0 0 0 19 0 0 0 20 0 1 0 61784877 52727808 8289 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 12873 8289 750 2417 0 9975 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 36956 KiB

[startup+0.305277 s]*
/proc/loadavg: 4.57 4.41 4.15 5/260 339508
/proc/meminfo: memFree=128912772/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=63620 memory=44960 CPUtime=0.29 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 10621 0 0 0 28 1 0 0 20 0 1 0 61784877 65146880 11240 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 15905 11240 750 2417 0 13007 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82212 KiB
Current children cumulated memory: 48760 KiB

[startup+0.700284 s]
/proc/loadavg: 4.57 4.41 4.15 5/263 339530
/proc/meminfo: memFree=128864008/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=110076 memory=90356 CPUtime=0.68 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 21933 0 0 0 66 2 0 0 20 0 1 0 61784877 112717824 22589 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 27519 22589 782 2417 0 24621 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128668 KiB
Current children cumulated memory: 94156 KiB

[startup+1.5003 s]
/proc/loadavg: 4.57 4.41 4.15 4/262 339544
/proc/meminfo: memFree=128761536/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=316948 memory=282276 CPUtime=1.47 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 37234 0 0 0 139 8 0 0 20 0 1 0 61784877 324554752 70569 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 79237 70569 782 2417 0 76339 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 335540 KiB
Current children cumulated memory: 286076 KiB

[startup+3.106 s]
/proc/loadavg: 4.57 4.41 4.15 5/267 339695
/proc/meminfo: memFree=128509376/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=285984 memory=241352 CPUtime=3.08 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 38484 0 0 0 299 9 0 0 20 0 1 0 61784877 292847616 60338 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 71496 60338 782 2417 0 68598 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 304576 KiB
Current children cumulated memory: 245152 KiB

[startup+6.30028 s]
/proc/loadavg: 4.52 4.40 4.15 5/267 339695
/proc/meminfo: memFree=128205640/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=327344 memory=272376 CPUtime=6.27 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 39068 0 0 0 617 10 0 0 20 0 1 0 61784877 335200256 68094 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 81836 68094 814 2417 0 78938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 345936 KiB
Current children cumulated memory: 276176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.48 4.39 4.15 5/267 339697
/proc/meminfo: memFree=128039704/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=315848 memory=271156 CPUtime=12.65 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 39693 0 0 0 1255 10 0 0 20 0 1 0 61784877 323428352 67789 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 78962 67789 814 2417 0 76064 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 334440 KiB
Current children cumulated memory: 274956 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 4.37 4.15 5/267 339698
/proc/meminfo: memFree=127925376/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=315848 memory=271176 CPUtime=25.41 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 39749 0 0 0 2531 10 0 0 20 0 1 0 61784877 323428352 67794 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 78962 67794 814 2417 0 76064 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 334440 KiB
Current children cumulated memory: 274976 KiB

[startup+51.1058 s]
/proc/loadavg: 4.32 4.36 4.15 5/267 339761
/proc/meminfo: memFree=127733280/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 704 629 264 0 134 0
[pid=339502] ppid=339499 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/339502/stat : 339502 (timeout) S 339499 339502 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61784877 8867840 246 134679101440 94538635554816 94538635589832 140720312854656 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94538637687248 94538637689380 94538656526336 140720312861721 140720312861853 140720312861853 140720312868839 0
/proc/339502/statm: 2165 246 222 9 0 87 0
[pid=339503] ppid=339502 vsize=315848 memory=269280 CPUtime=50.96 cores=1,3
/proc/339503/stat : 339503 (CASHWMaxSAT-Dis) R 339502 339502 337292 0 -1 4194304 41711 0 0 0 5083 13 0 0 20 0 1 0 61784877 323428352 67320 134679101440 4194304 14093885 140726605625488 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41472000 140726605628447 140726605628566 140726605628566 140726605635552 0
/proc/339503/statm: 78962 67320 814 2417 0 76064 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 334440 KiB
Current children cumulated memory: 273080 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.33 4.15 5/265 339771
/proc/meminfo: memFree=127145860/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 61784876 10170368 704 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0

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

/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 341659
/proc/meminfo: memFree=120104220/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1659.62 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116690 0 0 0 164861 1101 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 341669
/proc/meminfo: memFree=120103664/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1719.46 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116696 0 0 0 170761 1185 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 341680
/proc/meminfo: memFree=120103100/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1779.31 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116702 0 0 0 176664 1267 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

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

# cumulated CPU time of all completed processes:  user=3569.34 s, system=16.6701 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/266 341680
/proc/meminfo: memFree=120103080/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1781 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116702 0 0 0 176831 1269 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 341681
/proc/meminfo: memFree=120102932/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1787.39 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116702 0 0 0 177463 1276 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3580.35 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 341681
/proc/meminfo: memFree=120102964/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1790.58 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116708 0 0 0 177776 1282 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3583.54 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 341681
/proc/meminfo: memFree=120102984/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1792.17 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116708 0 0 0 177933 1284 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3585.13 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 341681
/proc/meminfo: memFree=120102984/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1792.58 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116708 0 0 0 177973 1285 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.09 6/266 341683
/proc/meminfo: memFree=124207752/131524600 swapFree=131071996/131071996
[pid=339499] ppid=339496 vsize=9932 memory=2872 CPUtime=1792.96 cores=1,3
/proc/339499/stat : 339499 (Hybrid-LSMabSP+) S 339496 339499 337292 0 -1 4194304 265 303487 0 0 0 0 178919 377 20 0 1 0 61784876 10170368 718 134679101440 94119023702016 94119024781336 140737192405712 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94119026879792 94119026926980 94119043653632 140737192412110 140737192412269 140737192412269 140737192419284 0
/proc/339499/statm: 2483 718 629 264 0 134 0
[pid=340725] ppid=339499 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/340725/stat : 340725 (timeout) S 339499 340725 337292 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61964677 8867840 254 134679101440 94029832040448 94029832075464 140725906941424 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94029834172880 94029834175012 94029840097280 140725906949161 140725906949277 140725906949277 140725906956263 0
/proc/340725/statm: 2165 254 230 9 0 87 0
[pid=340726] ppid=340725 vsize=547676 memory=488236 CPUtime=1792.98 cores=1,3
/proc/340726/stat : 340726 (LS-MabSP) R 340725 340725 337292 0 -1 4194304 116708 0 0 0 178012 1286 0 0 20 0 1 0 61964677 560820224 122059 134679101440 4194304 15467897 140731057278272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29220864 140731057284156 140731057284259 140731057284259 140731057291245 0
/proc/340726/statm: 136919 122059 3195 2753 0 133572 0
Current children cumulated CPU time: 3585.94 s
Current children cumulated vsize: 566268 KiB
Current children cumulated memory: 492124 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3586.01
CPU user time (s): 3569.34
CPU system time (s): 16.6701
CPU usage (%): 99.7207
Max. virtual memory (cumulated for all children) (KiB): 718680
Max. memory (cumulated for all children) (KiB): 593692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.34
system time used= 16.6701
maximum resident set size= 589804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 2225


# summary of solver processes directly reported to runsolver:
#   pid: 339499
#   total CPU time (s): 3586.01
#   total CPU user time (s): 3569.34
#   total CPU system time (s): 16.6701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26426 second user time and 19.5671 second system time

The end