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: 64059 MiB (62986 MiB free)
  memory of node 1: 64510 MiB (60524 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=324784, runsolver pid=324781
Current StackSize limit: 8192 KiB


[startup+0.101024 s]*
/proc/loadavg: 4.08 4.11 4.05 4/244 324798
/proc/meminfo: memFree=126476536/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=21312 memory=7436 CPUtime=0.09 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 1164 0 0 0 9 0 0 0 20 0 1 0 61777891 21823488 1859 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11128 KiB

[startup+0.213449 s]*
/proc/loadavg: 4.08 4.11 4.05 5/242 324814
/proc/meminfo: memFree=126489068/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=21312 memory=7436 CPUtime=0.21 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 1164 0 0 0 21 0 0 0 20 0 1 0 61777891 21823488 1859 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11128 KiB

[startup+0.312954 s]*
/proc/loadavg: 4.08 4.11 4.05 5/241 324820
/proc/meminfo: memFree=126475236/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=21312 memory=7436 CPUtime=0.3 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 1164 0 0 0 30 0 0 0 20 0 1 0 61777891 21823488 1859 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11128 KiB

[startup+0.700417 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126465888/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=24548 memory=10600 CPUtime=0.68 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 1976 0 0 0 68 0 0 0 20 0 1 0 61777891 25137152 2650 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 6137 2650 782 2417 0 3239 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43140 KiB
Current children cumulated memory: 14292 KiB

[startup+1.50046 s]
/proc/loadavg: 4.08 4.11 4.05 6/249 324833
/proc/meminfo: memFree=126447576/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=38248 memory=24100 CPUtime=1.47 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 5382 0 0 0 146 1 0 0 20 0 1 0 61777891 39165952 6025 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 9562 6025 798 2417 0 6664 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56840 KiB
Current children cumulated memory: 27792 KiB

[startup+3.11302 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126401832/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=45324 memory=30760 CPUtime=3.08 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 7096 0 0 0 306 2 0 0 20 0 1 0 61777891 46411776 7690 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 11331 7690 798 2417 0 8433 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 34452 KiB

[startup+6.30047 s]
/proc/loadavg: 4.15 4.12 4.06 5/249 324834
/proc/meminfo: memFree=126382292/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=56980 memory=39688 CPUtime=6.27 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 8355 0 0 0 624 3 0 0 20 0 1 0 61777891 58347520 9922 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 14245 9922 798 2417 0 11347 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 43380 KiB

[startup+12.7005 s]
/proc/loadavg: 4.14 4.12 4.06 5/249 324834
/proc/meminfo: memFree=126364428/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=64120 memory=47164 CPUtime=12.65 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 9238 0 0 0 1262 3 0 0 20 0 1 0 61777891 65658880 11791 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 16030 11791 798 2417 0 13132 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 82712 KiB
Current children cumulated memory: 50856 KiB

[startup+25.5005 s]
/proc/loadavg: 4.11 4.12 4.06 5/249 324836
/proc/meminfo: memFree=126371016/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=56980 memory=42612 CPUtime=25.42 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 9906 0 0 0 2539 3 0 0 20 0 1 0 61777891 58347520 10653 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 14245 10653 798 2417 0 11347 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 46304 KiB

[startup+51.1131 s]
/proc/loadavg: 4.20 4.14 4.06 5/249 324840
/proc/meminfo: memFree=126342056/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 681 602 264 0 134 0
[pid=324791] ppid=324784 vsize=8660 memory=968 CPUtime=0 cores=4,6
/proc/324791/stat : 324791 (timeout) S 324784 324791 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777891 8867840 242 134679101440 94314780495872 94314780530888 140722119584224 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314782628304 94314782630436 94314807074816 140722119590941 140722119591073 140722119591073 140722119598055 0
/proc/324791/statm: 2165 242 218 9 0 87 0
[pid=324792] ppid=324791 vsize=64120 memory=50144 CPUtime=50.96 cores=4,6
/proc/324792/stat : 324792 (CASHWMaxSAT-Dis) R 324791 324791 322170 0 -1 4194304 11325 0 0 0 5093 3 0 0 20 0 1 0 61777891 65658880 12536 134679101440 4194304 14093885 140727581256144 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52088832 140727581258787 140727581258906 140727581258906 140727581265888 0
/proc/324792/statm: 16030 12536 798 2417 0 13132 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 82712 KiB
Current children cumulated memory: 53836 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.13 4.07 5/249 324849
/proc/meminfo: memFree=126333884/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 61777890 10170368 681 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0

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

/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/248 326711
/proc/meminfo: memFree=125450820/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1660.77 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133656 0 0 0 162008 4069 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/248 326721
/proc/meminfo: memFree=125450488/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1720.66 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133658 0 0 0 167665 4401 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3513.91 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/248 326732
/proc/meminfo: memFree=125450136/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1780.57 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 173328 4729 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3573.82 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

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

# cumulated CPU time of all completed processes:  user=3539.47 s, system=48.097 s

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

[startup+3584 s]*
/proc/loadavg: 4.23 4.21 4.18 5/248 326732
/proc/meminfo: memFree=125450152/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1782.27 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 173490 4737 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3575.52 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.20 4.18 5/248 326733
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1788.65 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 174099 4766 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3593.6 s]
/proc/loadavg: 4.20 4.20 4.18 5/248 326733
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1791.84 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 174401 4783 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3595.2 s]
/proc/loadavg: 4.20 4.20 4.18 5/248 326733
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1793.44 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 174552 4792 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3595.6 s]
/proc/loadavg: 4.20 4.20 4.18 5/248 326733
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1793.84 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 174591 4793 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3587.09 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

[startup+3596 s]*
/proc/loadavg: 4.18 4.20 4.18 6/242 326791
/proc/meminfo: memFree=125791944/131655788 swapFree=131071996/131071996
[pid=324784] ppid=324781 vsize=9932 memory=2764 CPUtime=1793.25 cores=4,6
/proc/324784/stat : 324784 (Hybrid-LSMabSP+) S 324781 324784 322170 0 -1 4194304 265 18545 0 0 0 0 179314 11 20 0 1 0 61777890 10170368 691 134679101440 94587406303232 94587407382552 140735589752336 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94587409481008 94587409528196 94587433709568 140735589753810 140735589753969 140735589753969 140735589760980 0
/proc/324784/statm: 2483 691 602 264 0 134 0
[pid=325795] ppid=324784 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/325795/stat : 325795 (timeout) S 324784 325795 322170 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61957692 8867840 254 134679101440 94322065195008 94322065230024 140722987330000 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94322067327440 94322067329572 94322072666112 140722987336749 140722987336865 140722987336865 140722987343847 0
/proc/325795/statm: 2165 254 230 9 0 87 0
[pid=325796] ppid=325795 vsize=329432 memory=324276 CPUtime=1794.25 cores=4,6
/proc/325796/stat : 325796 (LS-MabSP) R 325795 325795 322170 0 -1 4194304 133660 0 0 0 174629 4796 0 0 20 0 1 0 61957692 337338368 81069 134679101440 4194304 15467897 140735392178160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31035392 140735392187456 140735392187559 140735392187559 140735392194541 0
/proc/325796/statm: 82358 81069 2849 2753 0 79011 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 348024 KiB
Current children cumulated memory: 328056 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.56
CPU user time (s): 3539.47
CPU system time (s): 48.097
CPU usage (%): 99.7643
Max. virtual memory (cumulated for all children) (KiB): 559280
Max. memory (cumulated for all children) (KiB): 530704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3539.47
system time used= 48.097
maximum resident set size= 526924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155489
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= 124
involuntary context switches= 1894


# summary of solver processes directly reported to runsolver:
#   pid: 324784
#   total CPU time (s): 3587.56
#   total CPU user time (s): 3539.47
#   total CPU system time (s): 48.097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.31 second user time and 37.3846 second system time

The end