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 (60526 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10008 s]*
/proc/loadavg: 4.08 4.11 4.05 4/241 324757
/proc/meminfo: memFree=126501636/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=21312 memory=7432 CPUtime=0.09 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 1163 0 0 0 9 0 0 0 20 0 1 0 61777851 21823488 1858 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/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: 11184 KiB

[startup+0.213274 s]*
/proc/loadavg: 4.08 4.11 4.05 5/241 324762
/proc/meminfo: memFree=126471856/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=21312 memory=7432 CPUtime=0.2 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 1163 0 0 0 20 0 0 0 20 0 1 0 61777851 21823488 1858 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/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: 11184 KiB

[startup+0.311985 s]*
/proc/loadavg: 4.08 4.11 4.05 4/237 324771
/proc/meminfo: memFree=126481700/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=21312 memory=7432 CPUtime=0.3 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 1163 0 0 0 30 0 0 0 20 0 1 0 61777851 21823488 1858 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 5328 1858 782 2417 0 2430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11184 KiB

[startup+0.700438 s]
/proc/loadavg: 4.08 4.11 4.05 4/244 324798
/proc/meminfo: memFree=126476536/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=23160 memory=9276 CPUtime=0.68 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 1643 0 0 0 67 1 0 0 20 0 1 0 61777851 23715840 2319 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 5790 2319 782 2417 0 2892 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41752 KiB
Current children cumulated memory: 13028 KiB

[startup+1.50044 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126462528/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=37208 memory=22800 CPUtime=1.48 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 5006 0 0 0 146 2 0 0 20 0 1 0 61777851 38100992 5700 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 9302 5700 798 2417 0 6404 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55800 KiB
Current children cumulated memory: 26552 KiB

[startup+3.11284 s]
/proc/loadavg: 4.08 4.11 4.05 5/249 324833
/proc/meminfo: memFree=126405852/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=44240 memory=29856 CPUtime=3.09 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 6308 0 0 0 307 2 0 0 20 0 1 0 61777851 45301760 7464 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 11060 7464 798 2417 0 8162 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 33608 KiB

[startup+6.30044 s]
/proc/loadavg: 4.15 4.12 4.06 5/249 324834
/proc/meminfo: memFree=126383580/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=52704 memory=37740 CPUtime=6.26 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 7504 0 0 0 624 2 0 0 20 0 1 0 61777851 53968896 9435 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 13176 9435 798 2417 0 10278 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 71296 KiB
Current children cumulated memory: 41492 KiB

[startup+12.7005 s]
/proc/loadavg: 4.14 4.12 4.06 5/249 324834
/proc/meminfo: memFree=126364604/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=52704 memory=37980 CPUtime=12.64 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 7572 0 0 0 1262 2 0 0 20 0 1 0 61777851 53968896 9495 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 13176 9495 798 2417 0 10278 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71296 KiB
Current children cumulated memory: 41732 KiB

[startup+25.5005 s]
/proc/loadavg: 4.12 4.12 4.06 5/249 324836
/proc/meminfo: memFree=126371000/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=55340 memory=40872 CPUtime=25.41 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 8304 0 0 0 2539 2 0 0 20 0 1 0 61777851 56668160 10218 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 13835 10218 798 2417 0 10937 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 73932 KiB
Current children cumulated memory: 44624 KiB

[startup+51.1132 s]
/proc/loadavg: 4.20 4.14 4.06 5/249 324840
/proc/meminfo: memFree=126342244/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 684 607 264 0 134 0
[pid=324739] ppid=324736 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/324739/stat : 324739 (timeout) S 324736 324739 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777851 8867840 254 134679101440 93989648936960 93989648971976 140730587615296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93989651069392 93989651071524 93989657284608 140730587620381 140730587620513 140730587620513 140730587627495 0
/proc/324739/statm: 2165 254 229 9 0 87 0
[pid=324740] ppid=324739 vsize=67100 memory=50276 CPUtime=50.96 cores=5,7
/proc/324740/stat : 324740 (CASHWMaxSAT-Dis) R 324739 324739 322170 0 -1 4194304 10492 0 0 0 5093 3 0 0 20 0 1 0 61777851 68710400 12569 134679101440 4194304 14093885 140730272023184 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31780864 140730272031779 140730272031898 140730272031898 140730272038880 0
/proc/324740/statm: 16775 12569 798 2417 0 13877 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 85692 KiB
Current children cumulated memory: 54028 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.13 4.07 5/249 324849
/proc/meminfo: memFree=126333868/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 61777850 10170368 684 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0

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

/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1660.08 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93530 0 0 0 161986 4022 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/248 326721
/proc/meminfo: memFree=125450496/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1719.96 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93532 0 0 0 167659 4337 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1779.83 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 173343 4640 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 KiB

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

# cumulated CPU time of all completed processes:  user=3539.84 s, system=47.1979 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1781.55 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 173509 4646 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3575.01 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1787.92 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 174110 4682 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1791.12 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 174413 4699 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1792.71 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 174565 4706 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 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=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1793.11 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 174604 4707 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 KiB

[startup+3596 s]*
/proc/loadavg: 4.18 4.20 4.18 5/248 326735
/proc/meminfo: memFree=125450124/131655788 swapFree=131071996/131071996
[pid=324736] ppid=324733 vsize=9932 memory=2788 CPUtime=1793.46 cores=5,7
/proc/324736/stat : 324736 (Hybrid-LSMabSP+) S 324733 324736 322170 0 -1 4194304 268 16265 0 0 0 0 179338 8 20 0 1 0 61777850 10170368 697 134679101440 94749532680192 94749533759512 140720844394912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94749535857968 94749535905156 94749537148928 140720844403666 140720844403825 140720844403825 140720844410836 0
/proc/324736/statm: 2483 697 607 264 0 134 0
[pid=325793] ppid=324736 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/325793/stat : 325793 (timeout) S 324736 325793 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957652 8867840 245 134679101440 94201879797760 94201879832776 140735472632416 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94201881930192 94201881932324 94201910034432 140735472641069 140735472641185 140735472641185 140735472648167 0
/proc/325793/statm: 2165 245 220 9 0 87 0
[pid=325794] ppid=325793 vsize=325356 memory=320176 CPUtime=1793.52 cores=5,7
/proc/325794/stat : 325794 (LS-MabSP) R 325793 325793 322170 0 -1 4194304 93534 0 0 0 174643 4709 0 0 20 0 1 0 61957652 333164544 80044 134679101440 4194304 15467897 140729488679184 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35237888 140729488688192 140729488688295 140729488688295 140729488695277 0
/proc/325794/statm: 81339 80044 2849 2753 0 77992 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 343948 KiB
Current children cumulated memory: 323944 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.04
CPU user time (s): 3539.84
CPU system time (s): 47.1979
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 385256
Max. memory (cumulated for all children) (KiB): 353180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3539.84
system time used= 47.1979
maximum resident set size= 349412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113082
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= 131
involuntary context switches= 1466


# summary of solver processes directly reported to runsolver:
#   pid: 324736
#   total CPU time (s): 3587.04
#   total CPU user time (s): 3539.84
#   total CPU system time (s): 47.1979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5501 second user time and 36.9765 second system time

The end