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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438413-1722965353/watcher-4438413-1722965353 -o /tmp/evaluation-result-4438413-1722965353/solver-4438413-1722965353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722959538-329632 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438413-1722965353.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=333595, runsolver pid=333592

[startup+0.10059 s]*
/proc/loadavg: 4.16 4.18 4.18 5/249 333599
/proc/meminfo: memFree=125527016/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=29288 memory=10976 CPUtime=0.09 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 2083 0 0 0 9 0 0 0 20 0 1 0 63132222 29990912 2744 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 7322 2744 750 2417 0 4424 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47880 KiB
Current children cumulated memory: 14688 KiB

[startup+0.213663 s]*
/proc/loadavg: 4.16 4.18 4.18 5/249 333599
/proc/meminfo: memFree=125509072/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=48236 memory=29528 CPUtime=0.2 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 6762 0 0 0 20 0 0 0 20 0 1 0 63132222 49393664 7382 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 12059 7382 750 2417 0 9161 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66828 KiB
Current children cumulated memory: 33240 KiB

[startup+0.313367 s]*
/proc/loadavg: 4.16 4.18 4.18 5/249 333599
/proc/meminfo: memFree=125492140/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=64616 memory=46184 CPUtime=0.3 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 10899 0 0 0 29 1 0 0 20 0 1 0 63132222 66166784 11546 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 16154 11546 750 2417 0 13256 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83208 KiB
Current children cumulated memory: 49896 KiB

[startup+0.700492 s]
/proc/loadavg: 4.16 4.18 4.18 5/249 333599
/proc/meminfo: memFree=125448880/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=166448 memory=155476 CPUtime=0.67 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 37508 0 0 0 62 5 0 0 20 0 1 0 63132222 170442752 38869 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 41612 38869 2350 2417 0 38714 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 185040 KiB
Current children cumulated memory: 159188 KiB

[startup+1.50052 s]
/proc/loadavg: 4.16 4.18 4.18 5/249 333599
/proc/meminfo: memFree=125352784/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=251712 memory=238072 CPUtime=1.48 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 57510 0 0 0 139 9 0 0 20 0 1 0 63132222 257753088 59518 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 62928 59518 2510 2417 0 60030 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270304 KiB
Current children cumulated memory: 241784 KiB

[startup+3.11306 s]
/proc/loadavg: 4.16 4.18 4.18 5/249 333600
/proc/meminfo: memFree=125304284/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=251712 memory=238328 CPUtime=3.08 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 57569 0 0 0 299 9 0 0 20 0 1 0 63132222 257753088 59582 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 62928 59582 2510 2417 0 60030 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 270304 KiB
Current children cumulated memory: 242040 KiB

[startup+6.30043 s]
/proc/loadavg: 4.14 4.18 4.18 5/249 333600
/proc/meminfo: memFree=125303944/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=251712 memory=238584 CPUtime=6.26 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 57696 0 0 0 617 9 0 0 20 0 1 0 63132222 257753088 59646 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 62928 59646 2510 2417 0 60030 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 270304 KiB
Current children cumulated memory: 242296 KiB

[startup+12.7005 s]
/proc/loadavg: 4.21 4.19 4.18 5/249 333600
/proc/meminfo: memFree=125302488/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=252904 memory=239948 CPUtime=12.64 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 57998 0 0 0 1255 9 0 0 20 0 1 0 63132222 258973696 59987 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 63226 59987 2526 2417 0 60328 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 271496 KiB
Current children cumulated memory: 243660 KiB

[startup+25.5005 s]
/proc/loadavg: 4.16 4.18 4.18 5/249 333604
/proc/meminfo: memFree=125302316/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=252904 memory=239948 CPUtime=25.39 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 58002 0 0 0 2530 9 0 0 20 0 1 0 63132222 258973696 59987 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 63226 59987 2526 2417 0 60328 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 271496 KiB
Current children cumulated memory: 243660 KiB

[startup+51.1134 s]
/proc/loadavg: 4.17 4.18 4.18 5/249 333607
/proc/meminfo: memFree=125301752/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=252904 memory=239948 CPUtime=50.92 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 58008 0 0 0 5082 10 0 0 20 0 1 0 63132222 258973696 59987 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 63226 59987 2526 2417 0 60328 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 271496 KiB
Current children cumulated memory: 243660 KiB

[startup+102.301 s]
/proc/loadavg: 4.19 4.19 4.18 5/251 333676
/proc/meminfo: memFree=125300140/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0

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

/proc/333599/statm: 78964 74138 2810 2417 0 76066 0
Current children cumulated CPU time: 1716.24 s
Current children cumulated vsize: 334448 KiB
Current children cumulated memory: 300264 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/248 334674
/proc/meminfo: memFree=123165936/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=315856 memory=296552 CPUtime=1775.99 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 68592 0 0 0 177587 12 0 0 20 0 1 0 63132222 323436544 74138 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 78964 74138 2810 2417 0 76066 0
Current children cumulated CPU time: 1775.99 s
Current children cumulated vsize: 334448 KiB
Current children cumulated memory: 300264 KiB

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

# cumulated CPU time of all completed processes:  user=1822.43 s, system=0.156916 s

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

[startup+1792 s]*
/proc/loadavg: 4.09 4.11 4.09 5/248 334676
/proc/meminfo: memFree=123152520/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 63132221 10170368 675 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 675 597 264 0 134 0
[pid=333598] ppid=333595 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/333598/stat : 333598 (timeout) S 333595 333598 329622 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63132221 8867840 253 134679101440 94100921835520 94100921870536 140733064723568 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94100923967952 94100923970084 94100939935744 140733064725520 140733064725665 140733064725665 140733064732647 0
/proc/333598/statm: 2165 253 229 9 0 87 0
[pid=333599] ppid=333598 vsize=315856 memory=296552 CPUtime=1785.66 cores=0,2
/proc/333599/stat : 333599 (CASHWMaxSAT-Dis) R 333598 333598 329622 0 -1 4194304 68595 0 0 0 178554 12 0 0 20 0 1 0 63132222 323436544 74138 134679101440 4194304 14093885 140727600057888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 31879168 140727600059414 140727600059546 140727600059546 140727600066528 0
/proc/333599/statm: 78964 74138 2810 2417 0 76066 0
Current children cumulated CPU time: 1785.66 s
Current children cumulated vsize: 334448 KiB
Current children cumulated memory: 300264 KiB

[startup+1804.8 s]
/proc/loadavg: 4.16 4.13 4.10 5/248 334682
/proc/meminfo: memFree=123415896/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=39528 memory=25328 CPUtime=6.74 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 5831 0 0 0 674 0 0 0 20 0 1 0 63312022 40476672 6332 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 9882 6332 748 737 0 8970 0
Current children cumulated CPU time: 1798.37 s
Current children cumulated vsize: 58120 KiB
Current children cumulated memory: 29072 KiB

[startup+1817.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/248 334684
/proc/meminfo: memFree=123366396/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=40732 memory=26480 CPUtime=19.48 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 9543 0 0 0 1947 1 0 0 20 0 1 0 63312022 41709568 6620 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 10183 6620 748 737 0 9271 0
Current children cumulated CPU time: 1811.11 s
Current children cumulated vsize: 59324 KiB
Current children cumulated memory: 30224 KiB

[startup+1824 s]*
/proc/loadavg: 4.19 4.13 4.10 5/248 334686
/proc/meminfo: memFree=123358516/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=40972 memory=26736 CPUtime=25.87 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 11412 0 0 0 2586 1 0 0 20 0 1 0 63312022 41955328 6684 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 10243 6684 748 737 0 9331 0
Current children cumulated CPU time: 1817.5 s
Current children cumulated vsize: 59564 KiB
Current children cumulated memory: 30480 KiB

[startup+1827.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/248 334686
/proc/meminfo: memFree=123358468/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=41020 memory=26792 CPUtime=29.04 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 11975 0 0 0 2903 1 0 0 20 0 1 0 63312022 42004480 6698 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 10255 6698 748 737 0 9343 0
Current children cumulated CPU time: 1820.67 s
Current children cumulated vsize: 59612 KiB
Current children cumulated memory: 30536 KiB

[startup+1828 s]*
/proc/loadavg: 4.18 4.13 4.10 5/248 334686
/proc/meminfo: memFree=123358484/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=41020 memory=26792 CPUtime=29.85 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 11975 0 0 0 2984 1 0 0 20 0 1 0 63312022 42004480 6698 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 10255 6698 748 737 0 9343 0
Current children cumulated CPU time: 1821.48 s
Current children cumulated vsize: 59612 KiB
Current children cumulated memory: 30536 KiB

[startup+1828.8 s]
/proc/loadavg: 4.18 4.13 4.10 5/248 334686
/proc/meminfo: memFree=123358484/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=41112 memory=26884 CPUtime=30.63 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 12541 0 0 0 3062 1 0 0 20 0 1 0 63312022 42098688 6721 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 10278 6721 748 737 0 9366 0
Current children cumulated CPU time: 1822.26 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 30628 KiB

[startup+1829 s]*
/proc/loadavg: 4.18 4.13 4.10 5/248 334686
/proc/meminfo: memFree=123358312/131655788 swapFree=131071996/131071996
[pid=333595] ppid=333592 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/333595/stat : 333595 (Hybrid-CASHWMax) S 333592 333595 329622 0 -1 4194304 279 68821 0 0 0 0 179151 12 20 0 1 0 63132221 10170368 691 134679101440 94177834520576 94177835599896 140723829351136 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177837698352 94177837745540 94177857740800 140723829355476 140723829355634 140723829355634 140723829362645 0
/proc/333595/statm: 2483 691 597 264 0 134 0
[pid=334678] ppid=333595 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334678/stat : 334678 (timeout) S 333595 334678 329622 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63312022 8867840 245 134679101440 94459508113408 94459508148424 140736750383152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94459510245840 94459510247972 94459511672832 140736750392312 140736750392481 140736750392481 140736750399463 0
/proc/334678/statm: 2165 245 220 9 0 87 0
[pid=334679] ppid=334678 vsize=41112 memory=26884 CPUtime=30.84 cores=0,2
/proc/334679/stat : 334679 (Exact) R 334678 334678 329622 0 -1 4194304 12541 0 0 0 3083 1 0 0 20 0 1 0 63312022 42098688 6721 134679101440 4194304 7210733 140733768068864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 33804288 140733768070164 140733768070314 140733768070314 140733768077296 0
/proc/334679/statm: 10278 6721 748 737 0 9366 0
Current children cumulated CPU time: 1822.47 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 30628 KiB

Child status: 0

Real time (s): 1829.09
CPU time (s): 1822.59
CPU user time (s): 1822.43
CPU system time (s): 0.156916
CPU usage (%): 99.6443
Max. virtual memory (cumulated for all children) (KiB): 334448
Max. memory (cumulated for all children) (KiB): 300264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1822.43
system time used= 0.156916
maximum resident set size= 296564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 12490


# summary of solver processes directly reported to runsolver:
#   pid: 333595
#   total CPU time (s): 1822.59
#   total CPU user time (s): 1822.43
#   total CPU system time (s): 0.156916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5769 second user time and 19.0366 second system time

The end