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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100095 s]*
/proc/loadavg: 4.43 4.35 4.14 5/267 333881
/proc/meminfo: memFree=123606404/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=21312 memory=7432 CPUtime=0.09 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 1165 0 0 0 9 0 0 0 20 0 1 0 61785749 21823488 1858 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 5328 1858 782 2417 0 2430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11220 KiB

[startup+0.206102 s]*
/proc/loadavg: 4.43 4.35 4.14 5/267 333881
/proc/meminfo: memFree=123605648/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=21312 memory=7432 CPUtime=0.2 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 1179 0 0 0 20 0 0 0 20 0 1 0 61785749 21823488 1858 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 5328 1858 782 2417 0 2430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11220 KiB

[startup+0.304782 s]*
/proc/loadavg: 4.43 4.35 4.14 5/267 333881
/proc/meminfo: memFree=123601148/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=25576 memory=11652 CPUtime=0.29 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 2240 0 0 0 29 0 0 0 20 0 1 0 61785749 26189824 2913 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 6394 2913 782 2417 0 3496 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44168 KiB
Current children cumulated memory: 15440 KiB

[startup+0.700271 s]
/proc/loadavg: 4.43 4.35 4.14 5/267 333881
/proc/meminfo: memFree=123594288/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=37412 memory=23064 CPUtime=0.68 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 5092 0 0 0 68 0 0 0 20 0 1 0 61785749 38309888 5766 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 9353 5766 798 2417 0 6455 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56004 KiB
Current children cumulated memory: 26852 KiB

[startup+1.50028 s]
/proc/loadavg: 4.43 4.35 4.14 5/267 333881
/proc/meminfo: memFree=123462572/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=41740 memory=27552 CPUtime=1.48 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 6202 0 0 0 147 1 0 0 20 0 1 0 61785749 42741760 6888 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 10435 6888 798 2417 0 7537 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60332 KiB
Current children cumulated memory: 31340 KiB

[startup+3.10584 s]
/proc/loadavg: 4.39 4.34 4.13 5/267 333883
/proc/meminfo: memFree=123283436/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=50496 memory=35860 CPUtime=3.08 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 7276 0 0 0 307 1 0 0 20 0 1 0 61785749 51707904 8965 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 12624 8965 798 2417 0 9726 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69088 KiB
Current children cumulated memory: 39648 KiB

[startup+6.30028 s]
/proc/loadavg: 4.39 4.34 4.13 5/267 333941
/proc/meminfo: memFree=123307448/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=51100 memory=34632 CPUtime=6.26 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 8552 0 0 0 625 1 0 0 20 0 1 0 61785749 52326400 8658 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 12775 8658 798 2417 0 9877 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 38420 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.33 4.13 5/267 333942
/proc/meminfo: memFree=123261108/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=55564 memory=41084 CPUtime=12.64 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 9152 0 0 0 1263 1 0 0 20 0 1 0 61785749 56897536 10271 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 13891 10271 798 2417 0 10993 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 44872 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.32 4.13 5/267 333944
/proc/meminfo: memFree=123083496/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=55564 memory=41084 CPUtime=25.4 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 9163 0 0 0 2539 1 0 0 20 0 1 0 61785749 56897536 10271 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 13891 10271 798 2417 0 10993 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 44872 KiB

[startup+51.106 s]
/proc/loadavg: 4.25 4.31 4.13 5/267 333947
/proc/meminfo: memFree=123028048/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 702 626 264 0 134 0
[pid=333880] ppid=333877 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333880/stat : 333880 (timeout) S 333877 333880 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61785749 8867840 245 134679101440 94658031906816 94658031941832 140736241535824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658034039248 94658034041380 94658051891200 140736241542169 140736241542301 140736241542301 140736241549287 0
/proc/333880/statm: 2165 245 221 9 0 87 0
[pid=333881] ppid=333880 vsize=58284 memory=42932 CPUtime=50.92 cores=0,2
/proc/333881/stat : 333881 (CASHWMaxSAT-Dis) R 333880 333880 331442 0 -1 4194304 11097 0 0 0 5090 2 0 0 20 0 1 0 61785749 59682816 10733 134679101440 4194304 14093885 140736743800224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47120384 140736743801887 140736743802006 140736743802006 140736743808992 0
/proc/333881/statm: 14571 10733 798 2417 0 11673 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 76876 KiB
Current children cumulated memory: 46720 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.27 4.13 5/267 334016
/proc/meminfo: memFree=123047096/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2808 CPUtime=0 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61785749 10170368 702 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0

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

/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3390.38 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 335812
/proc/meminfo: memFree=118163012/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1658.65 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 161909 3956 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3450.22 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/264 335822
/proc/meminfo: memFree=118162688/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1718.49 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 167599 4250 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 335832
/proc/meminfo: memFree=118162340/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1778.34 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 173269 4565 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

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

# cumulated CPU time of all completed processes:  user=3537.12 s, system=46.5061 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/264 335832
/proc/meminfo: memFree=118162320/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1780.03 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 173429 4574 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 335833
/proc/meminfo: memFree=118162360/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1786.41 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 174034 4607 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3577.98 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 335835
/proc/meminfo: memFree=118162308/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1789.6 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 174336 4624 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3581.17 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 335896
/proc/meminfo: memFree=122827160/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1791.2 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 174489 4631 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3582.77 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 335896
/proc/meminfo: memFree=122827160/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1791.6 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 174528 4632 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3583.17 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.09 5/266 335896
/proc/meminfo: memFree=122802824/131524600 swapFree=131071996/131071996
[pid=333877] ppid=333874 vsize=9932 memory=2860 CPUtime=1791.57 cores=0,2
/proc/333877/stat : 333877 (Hybrid-LSMabSP+) S 333874 333877 331442 0 -1 4194304 270 19383 0 0 0 0 179143 14 20 0 1 0 61785749 10170368 715 134679101440 93830180306944 93830181386264 140724521801744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93830183484720 93830183531908 93830211964928 140724521804750 140724521804909 140724521804909 140724521811924 0
/proc/333877/statm: 2483 715 626 264 0 134 0
[pid=334895] ppid=333877 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/334895/stat : 334895 (timeout) S 333877 334895 331442 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61965550 8867840 243 134679101440 94502785953792 94502785988808 140736032370480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94502788086224 94502788088356 94502821068800 140736032371753 140736032371869 140736032371869 140736032378855 0
/proc/334895/statm: 2165 243 219 9 0 87 0
[pid=334896] ppid=334895 vsize=326300 memory=300384 CPUtime=1792 cores=0,2
/proc/334896/stat : 334896 (LS-MabSP) R 334895 334895 331442 0 -1 4194304 121172 0 0 0 174567 4633 0 0 20 0 1 0 61965550 334131200 75096 134679101440 4194304 15467897 140729981588560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42369024 140729981592636 140729981592739 140729981592739 140729981599725 0
/proc/334896/statm: 81575 75096 2849 2753 0 78228 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 344892 KiB
Current children cumulated memory: 304216 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3583.63
CPU user time (s): 3537.12
CPU system time (s): 46.5061
CPU usage (%): 99.655
Max. virtual memory (cumulated for all children) (KiB): 515280
Max. memory (cumulated for all children) (KiB): 470680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.12
system time used= 46.5061
maximum resident set size= 466848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85
involuntary context switches= 24670


# summary of solver processes directly reported to runsolver:
#   pid: 333877
#   total CPU time (s): 3583.63
#   total CPU user time (s): 3537.12
#   total CPU system time (s): 46.5061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.23118 second user time and 18.1802 second system time

The end