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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438747-1721198241/watcher-4438747-1721198241 -o /tmp/evaluation-result-4438747-1721198241/solver-4438747-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721194641-916625 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438747-1721198241.opb -total-t=3600 -no-par -v0 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=918703, runsolver pid=918700
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.09 4.12 4.06 5/251 918709
/proc/meminfo: memFree=123192988/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=46016 memory=30004 CPUtime=0.09 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 5163 0 0 0 9 0 0 0 20 0 1 0 171989434 47120384 7501 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 11504 7501 922 2726 0 8252 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46016 KiB
Current children cumulated memory: 30004 KiB

[startup+0.205465 s]*
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123154312/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=67932 memory=52108 CPUtime=0.2 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 10447 0 0 0 19 1 0 0 20 0 1 0 171989434 69562368 13027 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 16983 13027 954 2726 0 13731 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67932 KiB
Current children cumulated memory: 52108 KiB

[startup+0.305658 s]*
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123116632/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=67932 memory=52108 CPUtime=0.3 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 10447 0 0 0 29 1 0 0 20 0 1 0 171989434 69562368 13027 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 16983 13027 954 2726 0 13731 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67932 KiB
Current children cumulated memory: 52108 KiB

[startup+0.700225 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123100676/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=156012 memory=144188 CPUtime=0.69 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 36033 0 0 0 64 5 0 0 20 0 1 0 171989434 159756288 36047 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 39003 36047 2378 2726 0 35751 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 156012 KiB
Current children cumulated memory: 144188 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=122766220/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=291600 memory=278936 CPUtime=1.49 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 69509 0 0 0 139 10 0 0 20 0 1 0 171989434 298598400 69734 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 72900 69734 2618 2726 0 69648 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 291600 KiB
Current children cumulated memory: 278936 KiB

[startup+3.10545 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=122170696/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=566076 memory=531292 CPUtime=3.09 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 94220 0 0 0 292 17 0 0 20 0 1 0 171989434 579661824 132823 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 141519 132823 2746 2726 0 138267 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 566076 KiB
Current children cumulated memory: 531292 KiB

[startup+6.30015 s]
/proc/loadavg: 4.09 4.12 4.06 5/256 918721
/proc/meminfo: memFree=122106128/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=609164 memory=562292 CPUtime=6.27 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 100420 0 0 0 609 18 0 0 20 0 1 0 171989434 623783936 140573 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 152291 140573 2762 2726 0 149039 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 609164 KiB
Current children cumulated memory: 562292 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 918722
/proc/meminfo: memFree=122099992/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=627284 memory=564340 CPUtime=12.66 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 100956 0 0 0 1247 19 0 0 20 0 1 0 171989434 642338816 141085 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 156821 141085 2762 2726 0 153569 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 627284 KiB
Current children cumulated memory: 564340 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.06 5/257 918725
/proc/meminfo: memFree=122078620/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=733112 memory=576504 CPUtime=25.42 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 102469 0 0 0 2523 19 0 0 20 0 1 0 171989434 750706688 144126 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 183278 144126 2762 2726 0 180026 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 733112 KiB
Current children cumulated memory: 576504 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.10 4.06 5/257 918728
/proc/meminfo: memFree=121927760/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=895488 memory=687908 CPUtime=50.96 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 130347 0 0 0 5073 23 0 0 20 0 1 0 171989434 916979712 171977 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 223872 171977 2762 2726 0 220620 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 895488 KiB
Current children cumulated memory: 687908 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/257 918736
/proc/meminfo: memFree=121922228/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=895488 memory=689192 CPUtime=102 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 130593 0 0 0 10176 24 0 0 20 0 1 0 171989434 916979712 172298 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 223872 172298 2762 2726 0 220620 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 895488 KiB
Current children cumulated memory: 689192 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/257 918747
/proc/meminfo: memFree=121770440/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=961640 memory=758320 CPUtime=161.82 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 167172 0 0 0 16153 29 0 0 20 0 1 0 171989434 984719360 189580 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 240410 189580 2778 2726 0 237158 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 961640 KiB
Current children cumulated memory: 758320 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/258 918762
/proc/meminfo: memFree=121687948/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1167396 memory=833516 CPUtime=221.64 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 185402 0 0 0 22132 32 0 0 20 0 1 0 171989434 1195413504 208379 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 291849 208379 2778 2726 0 288597 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1167396 KiB
Current children cumulated memory: 833516 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/257 918773
/proc/meminfo: memFree=121555428/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1217928 memory=900328 CPUtime=281.49 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 198173 0 0 0 28115 34 0 0 20 0 1 0 171989434 1247158272 225082 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 304482 225082 2778 2726 0 301230 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1217928 KiB
Current children cumulated memory: 900328 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/257 918785
/proc/meminfo: memFree=121427400/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1269448 memory=959428 CPUtime=341.33 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 199835 0 0 0 34098 35 0 0 20 0 1 0 171989434 1299914752 239857 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 317362 239857 2778 2726 0 314110 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1269448 KiB
Current children cumulated memory: 959428 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/257 918798
/proc/meminfo: memFree=121373368/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1294408 memory=1006492 CPUtime=401.17 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 212634 0 0 0 40080 37 0 0 20 0 1 0 171989434 1325473792 251623 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 323602 251623 2778 2726 0 320350 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1294408 KiB
Current children cumulated memory: 1006492 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/257 918808
/proc/meminfo: memFree=121311932/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1319792 memory=1022836 CPUtime=461.02 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 215061 0 0 0 46064 38 0 0 20 0 1 0 171989434 1351467008 255709 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 329948 255709 2778 2726 0 326696 0

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

Current children cumulated memory: 1114560 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.22 4.16 6/257 920263
/proc/meminfo: memFree=119302304/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=2914.84 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 337646 0 0 0 291416 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 2914.84 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.19 4.15 6/258 920321
/proc/meminfo: memFree=118818760/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=2974.69 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 337732 0 0 0 297401 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.19 4.15 6/258 920333
/proc/meminfo: memFree=118018260/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3034.54 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 337810 0 0 0 303386 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.17 4.14 6/260 920513
/proc/meminfo: memFree=117999668/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3094.38 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 337897 0 0 0 309370 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.14 6/260 920524
/proc/meminfo: memFree=117987240/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3154.23 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 337943 0 0 0 315355 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.14 6/260 920593
/proc/meminfo: memFree=117961876/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3214.08 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338030 0 0 0 321340 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.14 6/258 920603
/proc/meminfo: memFree=117910476/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3273.93 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338122 0 0 0 327325 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.14 6/260 920616
/proc/meminfo: memFree=117865428/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3333.77 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338206 0 0 0 333309 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 6/259 920627
/proc/meminfo: memFree=117856672/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3393.6 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338266 0 0 0 339292 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.13 6/259 920637
/proc/meminfo: memFree=117793480/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3453.44 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338346 0 0 0 345276 68 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.12 6/256 920647
/proc/meminfo: memFree=117782496/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3513.28 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338384 0 0 0 351259 69 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.12 6/256 920657
/proc/meminfo: memFree=117758704/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3573.11 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338462 0 0 0 357242 69 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/256 920663
/proc/meminfo: memFree=117749040/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3600.03 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338510 0 0 0 359934 69 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.31 s]
# the end of solver process 918703 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.35 s, system=0.70401 s

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

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/256 920663
/proc/meminfo: memFree=117749040/131524600 swapFree=131071996/131071996
[pid=918703] ppid=918700 vsize=1368584 memory=1114560 CPUtime=3600.03 cores=4,6
/proc/918703/stat : 918703 (CASHWMaxSAT-Dis) R 918700 918703 916614 0 -1 4194304 338510 0 0 0 359934 69 0 0 20 0 1 0 171989434 1401430016 278640 134679101440 4194304 15356333 140734469972432 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 31150080 140734469981154 140734469981270 140734469981270 140734469988286 0
/proc/918703/statm: 342146 278640 2826 2726 0 338894 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1368584 KiB
Current children cumulated memory: 1114560 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3599.35
CPU system time (s): 0.70401
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 1895552
Max. memory (cumulated for all children) (KiB): 1564332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.70401
maximum resident set size= 1564332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 1590


# summary of solver processes directly reported to runsolver:
#   pid: 918703
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.35
#   total CPU system time (s): 0.70401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89961 second user time and 15.4793 second system time

The end