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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436673-1722951810/watcher-4436673-1722951810 -o /tmp/evaluation-result-4436673-1722951810/solver-4436673-1722951810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722948202-322182 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436673-1722951810.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=324829, runsolver pid=324826

[startup+0.100089 s]*
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126462864/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=21312 memory=7436 CPUtime=0.1 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 1164 0 0 0 10 0 0 0 20 0 1 0 61777939 21823488 1859 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11176 KiB

[startup+0.212724 s]*
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126458840/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=21312 memory=7436 CPUtime=0.21 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 1164 0 0 0 21 0 0 0 20 0 1 0 61777939 21823488 1859 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/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: 11176 KiB

[startup+0.311459 s]*
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126454136/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=21312 memory=7436 CPUtime=0.31 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 1164 0 0 0 31 0 0 0 20 0 1 0 61777939 21823488 1859 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11176 KiB

[startup+0.700433 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126447576/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=22896 memory=9016 CPUtime=0.68 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 1578 0 0 0 68 0 0 0 20 0 1 0 61777939 23445504 2254 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 5724 2254 782 2417 0 2826 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41488 KiB
Current children cumulated memory: 12756 KiB

[startup+1.50045 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126428088/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=36268 memory=22276 CPUtime=1.48 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 4888 0 0 0 147 1 0 0 20 0 1 0 61777939 37138432 5569 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 9067 5569 798 2417 0 6169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54860 KiB
Current children cumulated memory: 26016 KiB

[startup+3.11318 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126403932/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=46184 memory=30652 CPUtime=3.08 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 6481 0 0 0 307 1 0 0 20 0 1 0 61777939 47292416 7663 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 11546 7663 798 2417 0 8648 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64776 KiB
Current children cumulated memory: 34392 KiB

[startup+6.30042 s]
/proc/loadavg: 4.15 4.12 4.06 5/249 324834
/proc/meminfo: memFree=126381956/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=48900 memory=33604 CPUtime=6.27 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 7869 0 0 0 625 2 0 0 20 0 1 0 61777939 50073600 8401 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 12225 8401 798 2417 0 9327 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67492 KiB
Current children cumulated memory: 37344 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.12 4.06 5/249 324834
/proc/meminfo: memFree=126364400/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=51672 memory=35388 CPUtime=12.64 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 9141 0 0 0 1262 2 0 0 20 0 1 0 61777939 52912128 8847 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 12918 8847 798 2417 0 10020 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 70264 KiB
Current children cumulated memory: 39128 KiB

[startup+25.5005 s]
/proc/loadavg: 4.11 4.12 4.06 5/249 324837
/proc/meminfo: memFree=126371016/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=51672 memory=36940 CPUtime=25.41 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 9528 0 0 0 2539 2 0 0 20 0 1 0 61777939 52912128 9235 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 12918 9235 798 2417 0 10020 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70264 KiB
Current children cumulated memory: 40680 KiB

[startup+51.1133 s]
/proc/loadavg: 4.20 4.14 4.06 5/249 324840
/proc/meminfo: memFree=126342056/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 692 614 264 0 134 0
[pid=324832] ppid=324829 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/324832/stat : 324832 (timeout) S 324829 324832 322170 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61777939 8867840 243 134679101440 94799653130240 94799653165256 140723560770288 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94799655262672 94799655264804 94799664697344 140723560772637 140723560772769 140723560772769 140723560779751 0
/proc/324832/statm: 2165 243 219 9 0 87 0
[pid=324833] ppid=324832 vsize=63164 memory=47048 CPUtime=50.97 cores=1,3
/proc/324833/stat : 324833 (CASHWMaxSAT-Dis) R 324832 324832 322170 0 -1 4194304 11120 0 0 0 5094 3 0 0 20 0 1 0 61777939 64679936 11762 134679101440 4194304 14093885 140723768582720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27127808 140723768587299 140723768587418 140723768587418 140723768594400 0
/proc/324833/statm: 15791 11762 798 2417 0 12893 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 81756 KiB
Current children cumulated memory: 50788 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.13 4.07 5/249 324849
/proc/meminfo: memFree=126333892/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777938 10170368 692 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0

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

/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 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=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1660.54 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109434 0 0 0 162018 4036 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3454.05 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/248 326721
/proc/meminfo: memFree=125450444/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1720.43 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109435 0 0 0 167702 4341 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 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=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1780.34 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 173360 4674 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

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

# cumulated CPU time of all completed processes:  user=3540.07 s, system=47.5274 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=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1782.05 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 173522 4683 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3575.56 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.20 4.18 5/248 326733
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1788.42 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 174126 4716 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3581.93 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 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=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1791.62 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 174432 4730 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3585.13 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

[startup+3595.2 s]
/proc/loadavg: 4.18 4.20 4.18 5/248 326735
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1793.22 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 174584 4738 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

[startup+3595.6 s]
/proc/loadavg: 4.18 4.20 4.18 5/248 326735
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1793.61 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 174621 4740 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

[startup+3596 s]*
/proc/loadavg: 4.18 4.20 4.18 5/236 326852
/proc/meminfo: memFree=126033356/131655788 swapFree=131071996/131071996
[pid=324829] ppid=324826 vsize=9932 memory=2812 CPUtime=1793.51 cores=1,3
/proc/324829/stat : 324829 (Hybrid-LSMabSP+) S 324826 324829 322170 0 -1 4194304 264 17738 0 0 0 0 179344 7 20 0 1 0 61777938 10170368 703 134679101440 94849555791872 94849556871192 140729178856912 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94849558969648 94849559016836 94849589403648 140729178858450 140729178858609 140729178858609 140729178865620 0
/proc/324829/statm: 2483 703 614 264 0 134 0
[pid=325798] ppid=324829 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/325798/stat : 325798 (timeout) S 324829 325798 322170 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61957740 8867840 236 134679101440 94166054969344 94166055004360 140729117562304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94166057101776 94166057103908 94166062563328 140729117570093 140729117570209 140729117570209 140729117577191 0
/proc/325798/statm: 2165 236 212 9 0 87 0
[pid=325799] ppid=325798 vsize=384772 memory=379380 CPUtime=1794.03 cores=1,3
/proc/325799/stat : 325799 (LS-MabSP) R 325798 325798 322170 0 -1 4194304 109436 0 0 0 174660 4743 0 0 20 0 1 0 61957740 394006528 94845 134679101440 4194304 15467897 140723491071328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44498944 140723491075136 140723491075239 140723491075239 140723491082221 0
/proc/325799/statm: 96193 94845 2849 2753 0 92846 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 403364 KiB
Current children cumulated memory: 383136 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.6
CPU user time (s): 3540.07
CPU system time (s): 47.5274
CPU usage (%): 99.7652
Max. virtual memory (cumulated for all children) (KiB): 461080
Max. memory (cumulated for all children) (KiB): 439776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.07
system time used= 47.5274
maximum resident set size= 436020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141
involuntary context switches= 1405


# summary of solver processes directly reported to runsolver:
#   pid: 324829
#   total CPU time (s): 3587.6
#   total CPU user time (s): 3540.07
#   total CPU system time (s): 47.5274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5056 second user time and 37.8354 second system time

The end