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 (62638 MiB free)
  memory of node 1: 64473 MiB (62770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438410-1722965055/watcher-4438410-1722965055 -o /tmp/evaluation-result-4438410-1722965055/solver-4438410-1722965055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722959628-344919 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438410-1722965055.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=348279, runsolver pid=348276

[startup+0.101074 s]*
/proc/loadavg: 4.10 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128401024/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=39196 memory=20824 CPUtime=0.09 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 4544 0 0 0 9 0 0 0 20 0 1 0 63109791 40136704 5206 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 9799 5206 750 2417 0 6901 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57788 KiB
Current children cumulated memory: 24524 KiB

[startup+0.205858 s]*
/proc/loadavg: 4.10 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128383728/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=57128 memory=38532 CPUtime=0.19 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 8985 0 0 0 18 1 0 0 20 0 1 0 63109791 58499072 9633 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 14282 9633 750 2417 0 11384 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75720 KiB
Current children cumulated memory: 42232 KiB

[startup+0.305828 s]*
/proc/loadavg: 4.10 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128367096/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=73044 memory=55284 CPUtime=0.29 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 13122 0 0 0 27 2 0 0 20 0 1 0 63109791 74797056 13821 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 18261 13821 782 2417 0 15363 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 58984 KiB

[startup+0.700309 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128294324/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=187264 memory=176368 CPUtime=0.68 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 42731 0 0 0 62 6 0 0 20 0 1 0 63109791 191758336 44092 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 46816 44092 2350 2417 0 43918 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 205856 KiB
Current children cumulated memory: 180068 KiB

[startup+1.50031 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128243084/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=246916 memory=233860 CPUtime=1.48 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 57501 0 0 0 140 8 0 0 20 0 1 0 63109791 252841984 58465 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 61729 58465 2510 2417 0 58831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 265508 KiB
Current children cumulated memory: 237560 KiB

[startup+3.10571 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128193200/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=247440 memory=234384 CPUtime=3.08 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 57618 0 0 0 300 8 0 0 20 0 1 0 63109791 253378560 58596 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 61860 58596 2510 2417 0 58962 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 266032 KiB
Current children cumulated memory: 238084 KiB

[startup+6.30029 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 348283
/proc/meminfo: memFree=128192608/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=247980 memory=234908 CPUtime=6.26 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 57735 0 0 0 618 8 0 0 20 0 1 0 63109791 253931520 58727 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 61995 58727 2510 2417 0 59097 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266572 KiB
Current children cumulated memory: 238608 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 348286
/proc/meminfo: memFree=128191268/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=249164 memory=235952 CPUtime=12.65 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 57981 0 0 0 1256 9 0 0 20 0 1 0 63109791 255143936 58988 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 62291 58988 2510 2417 0 59393 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 267756 KiB
Current children cumulated memory: 239652 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 348289
/proc/meminfo: memFree=128580620/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=249164 memory=235952 CPUtime=25.41 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 57983 0 0 0 2532 9 0 0 20 0 1 0 63109791 255143936 58988 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 62291 58988 2510 2417 0 59393 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 267756 KiB
Current children cumulated memory: 239652 KiB

[startup+51.1059 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 348678
/proc/meminfo: memFree=128570336/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=249164 memory=235952 CPUtime=50.94 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 57986 0 0 0 5085 9 0 0 20 0 1 0 63109791 255143936 58988 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 62291 58988 2510 2417 0 59393 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 267756 KiB
Current children cumulated memory: 239652 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 348688
/proc/meminfo: memFree=128565340/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0

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

/proc/348283/statm: 121176 107336 2810 2417 0 118278 0
Current children cumulated CPU time: 1718.01 s
Current children cumulated vsize: 503296 KiB
Current children cumulated memory: 433044 KiB

[startup+1782.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 349301
/proc/meminfo: memFree=127748396/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 63109790 10170368 680 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 680 601 264 0 134 0
[pid=348282] ppid=348279 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/348282/stat : 348282 (timeout) S 348279 348282 344908 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63109791 8867840 245 134679101440 94720927588352 94720927623368 140734132930832 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94720929720784 94720929722916 94720931897344 140734132937740 140734132937885 140734132937885 140734132944871 0
/proc/348282/statm: 2165 245 221 9 0 87 0
[pid=348283] ppid=348282 vsize=484704 memory=429344 CPUtime=1777.86 cores=4,6
/proc/348283/stat : 348283 (CASHWMaxSAT-Dis) R 348282 348282 344908 0 -1 4194304 102028 0 0 0 177769 17 0 0 20 0 1 0 63109791 496336896 107336 134679101440 4194304 14093885 140729798943664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44335104 140729798951954 140729798952086 140729798952086 140729798959072 0
/proc/348283/statm: 121176 107336 2810 2417 0 118278 0
Current children cumulated CPU time: 1777.86 s
Current children cumulated vsize: 503296 KiB
Current children cumulated memory: 433044 KiB

[startup+1842.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/267 349384
/proc/meminfo: memFree=126421544/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=41700 memory=28692 CPUtime=44.15 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 16240 0 0 0 4413 2 0 0 20 0 1 0 63289592 42700800 7173 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10425 7173 748 737 0 9513 0
Current children cumulated CPU time: 1837.69 s
Current children cumulated vsize: 60292 KiB
Current children cumulated memory: 32444 KiB

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

# cumulated CPU time of all completed processes:  user=1860.61 s, system=0.21983 s

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

[startup+1843.2 s]
/proc/loadavg: 4.16 4.12 4.10 5/267 349384
/proc/meminfo: memFree=126419504/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=41700 memory=28692 CPUtime=45.05 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 16259 0 0 0 4503 2 0 0 20 0 1 0 63289592 42700800 7173 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10425 7173 748 737 0 9513 0
Current children cumulated CPU time: 1838.59 s
Current children cumulated vsize: 60292 KiB
Current children cumulated memory: 32444 KiB

[startup+1856 s]*
/proc/loadavg: 4.20 4.13 4.10 5/265 349769
/proc/meminfo: memFree=126387788/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=42276 memory=29380 CPUtime=57.83 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 19792 0 0 0 5780 3 0 0 20 0 1 0 63289592 43290624 7345 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10569 7345 748 737 0 9657 0
Current children cumulated CPU time: 1851.37 s
Current children cumulated vsize: 60868 KiB
Current children cumulated memory: 33132 KiB

[startup+1862.4 s]
/proc/loadavg: 4.27 4.15 4.10 5/265 349770
/proc/meminfo: memFree=126372784/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=42532 memory=29656 CPUtime=64.21 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 21116 0 0 0 6418 3 0 0 20 0 1 0 63289592 43552768 7414 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10633 7414 748 737 0 9721 0
Current children cumulated CPU time: 1857.75 s
Current children cumulated vsize: 61124 KiB
Current children cumulated memory: 33408 KiB

[startup+1864 s]*
/proc/loadavg: 4.24 4.15 4.10 5/265 349770
/proc/meminfo: memFree=126368576/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=42664 memory=29792 CPUtime=65.81 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 21690 0 0 0 6578 3 0 0 20 0 1 0 63289592 43687936 7448 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10666 7448 748 737 0 9754 0
Current children cumulated CPU time: 1859.35 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 33544 KiB

[startup+1864.8 s]
/proc/loadavg: 4.24 4.15 4.10 5/265 349770
/proc/meminfo: memFree=126368576/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=42664 memory=29792 CPUtime=66.6 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 21692 0 0 0 6657 3 0 0 20 0 1 0 63289592 43687936 7448 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10666 7448 748 737 0 9754 0
Current children cumulated CPU time: 1860.14 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 33544 KiB

[startup+1865.2 s]
/proc/loadavg: 4.24 4.15 4.10 5/265 349770
/proc/meminfo: memFree=126366384/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=42664 memory=29792 CPUtime=67 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 21693 0 0 0 6697 3 0 0 20 0 1 0 63289592 43687936 7448 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10666 7448 748 737 0 9754 0
Current children cumulated CPU time: 1860.54 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 33544 KiB

[startup+1865.4 s]
/proc/loadavg: 4.24 4.15 4.10 5/265 349770
/proc/meminfo: memFree=126366384/131524600 swapFree=131071996/131071996
[pid=348279] ppid=348276 vsize=9932 memory=2776 CPUtime=1793.54 cores=4,6
/proc/348279/stat : 348279 (Hybrid-CASHWMax) S 348276 348279 344908 0 -1 4194304 272 102261 0 0 0 0 179336 18 20 0 1 0 63109790 10170368 694 134679101440 93924511834112 93924512913432 140736732351392 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93924515011888 93924515059076 93924526292992 140736732353488 140736732353646 140736732353646 140736732360661 0
/proc/348279/statm: 2483 694 601 264 0 134 0
[pid=349305] ppid=348279 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/349305/stat : 349305 (timeout) S 348279 349305 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63289591 8867840 244 134679101440 94106727055360 94106727090376 140734408185472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94106729187792 94106729189924 94106738257920 140734408188916 140734408189085 140734408189085 140734408196071 0
/proc/349305/statm: 2165 244 220 9 0 87 0
[pid=349306] ppid=349305 vsize=42664 memory=29792 CPUtime=67.2 cores=4,6
/proc/349306/stat : 349306 (Exact) R 349305 349305 344908 0 -1 4194304 21693 0 0 0 6717 3 0 0 20 0 1 0 63289592 43687936 7448 134679101440 4194304 7210733 140730504676912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 27893760 140730504684560 140730504684710 140730504684710 140730504691696 0
/proc/349306/statm: 10666 7448 748 737 0 9754 0
Current children cumulated CPU time: 1860.74 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 33544 KiB

Child status: 0

Real time (s): 1865.48
CPU time (s): 1860.83
CPU user time (s): 1860.61
CPU system time (s): 0.21983
CPU usage (%): 99.7509
Max. virtual memory (cumulated for all children) (KiB): 522460
Max. memory (cumulated for all children) (KiB): 433456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1860.61
system time used= 0.21983
maximum resident set size= 429756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 1509


# summary of solver processes directly reported to runsolver:
#   pid: 348279
#   total CPU time (s): 1860.83
#   total CPU user time (s): 1860.61
#   total CPU system time (s): 0.21983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93288 second user time and 9.31071 second system time

The end