runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60551 MiB free)
  memory of node 1: 64473 MiB (62656 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438005-1722964699/watcher-4438005-1722964699 -o /tmp/evaluation-result-4438005-1722964699/solver-4438005-1722964699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342222 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438005-1722964699.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
Current StackSize limit: 8192 KiB

solver pid=346326, runsolver pid=346323

[startup+0.100636 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 346330
/proc/meminfo: memFree=126153848/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=30452 memory=13408 CPUtime=0.09 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 2998 0 0 0 9 0 0 0 20 0 1 0 63066881 31182848 3352 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 7613 3352 922 2726 0 4361 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 16980 KiB

[startup+0.206656 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 346330
/proc/meminfo: memFree=126123928/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=60676 memory=43624 CPUtime=0.19 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 8413 0 0 0 18 1 0 0 20 0 1 0 63066881 62132224 10906 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 15169 10906 954 2726 0 11917 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79268 KiB
Current children cumulated memory: 47196 KiB

[startup+0.305636 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 346330
/proc/meminfo: memFree=126122816/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=61756 memory=44936 CPUtime=0.28 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 9905 0 0 0 27 1 0 0 20 0 1 0 63066881 63238144 11234 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 15439 11234 1034 2726 0 12187 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80348 KiB
Current children cumulated memory: 48508 KiB

[startup+0.7003 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 346330
/proc/meminfo: memFree=126083896/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=189328 memory=176540 CPUtime=0.67 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 41331 0 0 0 61 6 0 0 20 0 1 0 63066881 193871872 44135 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 47332 44135 2618 2726 0 44080 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 207920 KiB
Current children cumulated memory: 180112 KiB

[startup+1.5003 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 346330
/proc/meminfo: memFree=125962004/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=285188 memory=268712 CPUtime=1.46 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 64255 0 0 0 137 9 0 0 20 0 1 0 63066881 292032512 67178 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 71297 67178 2730 2726 0 68045 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 303780 KiB
Current children cumulated memory: 272284 KiB

[startup+3.10548 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 346330
/proc/meminfo: memFree=125904936/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=285188 memory=268712 CPUtime=3.06 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 64317 0 0 0 297 9 0 0 20 0 1 0 63066881 292032512 67178 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 71297 67178 2730 2726 0 68045 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 303780 KiB
Current children cumulated memory: 272284 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 346331
/proc/meminfo: memFree=125903008/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=285468 memory=269488 CPUtime=6.24 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 64468 0 0 0 615 9 0 0 20 0 1 0 63066881 292319232 67372 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 71367 67372 2730 2726 0 68115 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 304060 KiB
Current children cumulated memory: 273060 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 346331
/proc/meminfo: memFree=125901972/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=286664 memory=270520 CPUtime=12.63 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 64724 0 0 0 1253 10 0 0 20 0 1 0 63066881 293543936 67630 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 71666 67630 2730 2726 0 68414 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 305256 KiB
Current children cumulated memory: 274092 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 346333
/proc/meminfo: memFree=125896424/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=286664 memory=270520 CPUtime=25.4 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 64729 0 0 0 2530 10 0 0 20 0 1 0 63066881 293543936 67630 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 71666 67630 2730 2726 0 68414 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 305256 KiB
Current children cumulated memory: 274092 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 346337
/proc/meminfo: memFree=125884548/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=286664 memory=270520 CPUtime=50.94 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 64735 0 0 0 5084 10 0 0 20 0 1 0 63066881 293543936 67630 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 71666 67630 2730 2726 0 68414 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 305256 KiB
Current children cumulated memory: 274092 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 346346
/proc/meminfo: memFree=125870440/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0

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

/proc/346330/statm: 92509 86458 2762 2726 0 89257 0
Current children cumulated CPU time: 820.14 s
Current children cumulated vsize: 388628 KiB
Current children cumulated memory: 349404 KiB

[startup+882.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 347256
/proc/meminfo: memFree=126071424/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=370036 memory=345832 CPUtime=879.99 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 76888 0 0 0 87986 13 0 0 20 0 1 0 63066881 378916864 86458 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 92509 86458 2762 2726 0 89257 0
Current children cumulated CPU time: 879.99 s
Current children cumulated vsize: 388628 KiB
Current children cumulated memory: 349404 KiB

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

# cumulated CPU time of all completed processes:  user=901.048 s, system=0.155095 s

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

[startup+883.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 347256
/proc/meminfo: memFree=126071308/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=370036 memory=345832 CPUtime=880.89 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 76888 0 0 0 88076 13 0 0 20 0 1 0 63066881 378916864 86458 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 92509 86458 2762 2726 0 89257 0
Current children cumulated CPU time: 880.89 s
Current children cumulated vsize: 388628 KiB
Current children cumulated memory: 349404 KiB

[startup+896 s]*
/proc/loadavg: 4.13 4.10 4.09 5/269 347259
/proc/meminfo: memFree=126070952/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=370036 memory=347036 CPUtime=893.66 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 76934 0 0 0 89353 13 0 0 20 0 1 0 63066881 378916864 86759 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 92509 86759 3063 2726 0 89257 0
Current children cumulated CPU time: 893.66 s
Current children cumulated vsize: 388628 KiB
Current children cumulated memory: 350608 KiB

[startup+899.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 347260
/proc/meminfo: memFree=126070680/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=373100 memory=349816 CPUtime=896.85 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 77732 0 0 0 89672 13 0 0 20 0 1 0 63066881 382054400 87454 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 93275 87454 3063 2726 0 90023 0
Current children cumulated CPU time: 896.85 s
Current children cumulated vsize: 391692 KiB
Current children cumulated memory: 353388 KiB

[startup+900.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 347260
/proc/meminfo: memFree=126084176/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=352724 memory=332132 CPUtime=898.45 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 81840 0 0 0 89831 14 0 0 20 0 1 0 63066881 361189376 83033 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 88181 83033 3063 2726 0 84929 0
Current children cumulated CPU time: 898.45 s
Current children cumulated vsize: 371316 KiB
Current children cumulated memory: 335704 KiB

[startup+902.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 347260
/proc/meminfo: memFree=126084216/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=352724 memory=332132 CPUtime=900.04 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 81840 0 0 0 89990 14 0 0 20 0 1 0 63066881 361189376 83033 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 88181 83033 3063 2726 0 84929 0
Current children cumulated CPU time: 900.04 s
Current children cumulated vsize: 371316 KiB
Current children cumulated memory: 335704 KiB

[startup+903.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 347260
/proc/meminfo: memFree=126084080/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=352724 memory=332132 CPUtime=900.84 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 81840 0 0 0 90070 14 0 0 20 0 1 0 63066881 361189376 83033 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 88181 83033 3063 2726 0 84929 0
Current children cumulated CPU time: 900.84 s
Current children cumulated vsize: 371316 KiB
Current children cumulated memory: 335704 KiB

[startup+903.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 347260
/proc/meminfo: memFree=126084080/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=352724 memory=332132 CPUtime=901.04 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 81840 0 0 0 90090 14 0 0 20 0 1 0 63066881 361189376 83033 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 88181 83033 3063 2726 0 84929 0
Current children cumulated CPU time: 901.04 s
Current children cumulated vsize: 371316 KiB
Current children cumulated memory: 335704 KiB

[startup+903.5 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 347260
/proc/meminfo: memFree=126084080/131524600 swapFree=131071216/131071996
[pid=346326] ppid=346323 vsize=9932 memory=2608 CPUtime=0 cores=4,6
/proc/346326/stat : 346326 (Hybrid-CASHWMax) S 346323 346326 342211 0 -1 4194304 246 107 0 0 0 0 0 0 20 0 1 0 63066881 10170368 652 134679101440 93982465122304 93982466201624 140729993496224 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93982468300080 93982468347268 93982487265280 140729993503694 140729993503853 140729993503853 140729993510868 0
/proc/346326/statm: 2483 652 573 264 0 134 0
[pid=346329] ppid=346326 vsize=8660 memory=964 CPUtime=0 cores=4,6
/proc/346329/stat : 346329 (timeout) S 346326 346329 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63066881 8867840 241 134679101440 94295367323648 94295367358664 140720898696992 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94295369456080 94295369458212 94295370543104 140720898700286 140720898700445 140720898700445 140720898707431 0
/proc/346329/statm: 2165 241 217 9 0 87 0
[pid=346330] ppid=346329 vsize=352724 memory=332132 CPUtime=901.14 cores=4,6
/proc/346330/stat : 346330 (CASHWMaxSAT-Dis) R 346329 346329 342211 0 -1 4194304 81840 0 0 0 90100 14 0 0 20 0 1 0 63066881 361189376 83033 134679101440 4194304 15356333 140729762098544 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44003328 140729762100227 140729762100373 140729762100373 140729762107359 0
/proc/346330/statm: 88181 83033 3063 2726 0 84929 0
Current children cumulated CPU time: 901.14 s
Current children cumulated vsize: 371316 KiB
Current children cumulated memory: 335704 KiB

Child status: 0

Real time (s): 903.546
CPU time (s): 901.203
CPU user time (s): 901.048
CPU system time (s): 0.155095
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 414556
Max. memory (cumulated for all children) (KiB): 369724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 901.048
system time used= 0.155095
maximum resident set size= 366152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 300


# summary of solver processes directly reported to runsolver:
#   pid: 346326
#   total CPU time (s): 901.203
#   total CPU user time (s): 901.048
#   total CPU system time (s): 0.155095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73172 second user time and 4.75134 second system time

The end