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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437879-1722962563/watcher-4437879-1722962563 -o /tmp/evaluation-result-4437879-1722962563/solver-4437879-1722962563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722958965-337137 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437879-1722962563.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
solver pid=339316, runsolver pid=339313
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 4.15 4.20 4.18 5/249 339320
/proc/meminfo: memFree=121519832/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=34484 memory=25252 CPUtime=0.09 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 4196 0 0 0 8 1 0 0 20 0 1 0 62626419 35311616 6313 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 8621 6313 2602 2726 0 5369 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53076 KiB
Current children cumulated memory: 29004 KiB

[startup+0.213396 s]*
/proc/loadavg: 4.15 4.20 4.18 5/249 339320
/proc/meminfo: memFree=121509580/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=41592 memory=32688 CPUtime=0.2 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 6014 0 0 0 19 1 0 0 20 0 1 0 62626419 42590208 8172 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 10398 8172 2698 2726 0 7146 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60184 KiB
Current children cumulated memory: 36440 KiB

[startup+0.313313 s]*
/proc/loadavg: 4.15 4.20 4.18 5/249 339320
/proc/meminfo: memFree=121506752/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=44688 memory=35760 CPUtime=0.31 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 6773 0 0 0 29 2 0 0 20 0 1 0 62626419 45760512 8940 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 11172 8940 2746 2726 0 7920 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63280 KiB
Current children cumulated memory: 39512 KiB

[startup+0.700492 s]
/proc/loadavg: 4.15 4.20 4.18 5/249 339320
/proc/meminfo: memFree=121505604/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=45576 memory=36604 CPUtime=0.68 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 6995 0 0 0 66 2 0 0 20 0 1 0 62626419 46669824 9151 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 11394 9151 2762 2726 0 8142 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64168 KiB
Current children cumulated memory: 40356 KiB

[startup+1.50047 s]
/proc/loadavg: 4.15 4.20 4.18 5/245 339342
/proc/meminfo: memFree=121510820/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=50228 memory=40788 CPUtime=1.47 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 7997 0 0 0 145 2 0 0 20 0 1 0 62626419 51433472 10197 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 12557 10197 2762 2726 0 9305 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68820 KiB
Current children cumulated memory: 44540 KiB

[startup+3.11308 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 339355
/proc/meminfo: memFree=121465736/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=59720 memory=48972 CPUtime=3.09 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 10060 0 0 0 306 3 0 0 20 0 1 0 62626419 61153280 12243 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 14930 12243 2762 2726 0 11678 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 78312 KiB
Current children cumulated memory: 52724 KiB

[startup+6.30048 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 339356
/proc/meminfo: memFree=121374164/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=100748 memory=88308 CPUtime=6.26 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 19924 0 0 0 622 4 0 0 20 0 1 0 62626419 103165952 22077 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 25187 22077 2762 2726 0 21935 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 119340 KiB
Current children cumulated memory: 92060 KiB

[startup+12.7005 s]
/proc/loadavg: 4.12 4.19 4.17 5/253 339356
/proc/meminfo: memFree=121276148/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=125808 memory=110336 CPUtime=12.63 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 26549 0 0 0 1258 5 0 0 20 0 1 0 62626419 128827392 27584 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 31452 27584 2762 2726 0 28200 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 144400 KiB
Current children cumulated memory: 114088 KiB

[startup+25.5006 s]
/proc/loadavg: 4.10 4.18 4.17 5/253 339359
/proc/meminfo: memFree=121219516/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=126012 memory=111124 CPUtime=25.39 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 26723 0 0 0 2534 5 0 0 20 0 1 0 62626419 129036288 27781 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 31503 27781 2762 2726 0 28251 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 144604 KiB
Current children cumulated memory: 114876 KiB

[startup+51.1134 s]
/proc/loadavg: 4.13 4.18 4.17 5/253 339362
/proc/meminfo: memFree=121039156/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 681 602 264 0 134 0
[pid=339319] ppid=339316 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/339319/stat : 339319 (timeout) S 339316 339319 337127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62626419 8867840 257 134679101440 94782173876224 94782173911240 140721839018832 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94782176008656 94782176010788 94782185402368 140721839027198 140721839027357 140721839027357 140721839034343 0
/proc/339319/statm: 2165 257 233 9 0 87 0
[pid=339320] ppid=339319 vsize=178644 memory=158448 CPUtime=50.92 cores=0,2
/proc/339320/stat : 339320 (CASHWMaxSAT-Dis) R 339319 339319 337127 0 -1 4194304 38733 0 0 0 5085 7 0 0 20 0 1 0 62626419 182931456 39612 134679101440 4194304 15356333 140737104540016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54267904 140737104544771 140737104544917 140737104544917 140737104551903 0
/proc/339320/statm: 44661 39612 2762 2726 0 41409 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 197236 KiB
Current children cumulated memory: 162200 KiB

[startup+102.301 s]
/proc/loadavg: 4.10 4.17 4.17 5/253 339371
/proc/meminfo: memFree=120631952/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62626419 10170368 681 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0

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

/proc/340634/statm: 70395 54414 820 745 0 69460 0
Current children cumulated CPU time: 3389.05 s
Current children cumulated vsize: 300172 KiB
Current children cumulated memory: 221408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/250 341558
/proc/meminfo: memFree=121956428/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=281896 memory=218196 CPUtime=1658.29 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29362 0 0 0 165816 13 0 0 20 0 1 0 62806220 288661504 54549 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70474 54549 820 745 0 69539 0
Current children cumulated CPU time: 3448.82 s
Current children cumulated vsize: 300488 KiB
Current children cumulated memory: 221948 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/253 341575
/proc/meminfo: memFree=121065584/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=282284 memory=218628 CPUtime=1718.08 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29498 0 0 0 171795 13 0 0 20 0 1 0 62806220 289058816 54657 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70571 54657 820 745 0 69636 0
Current children cumulated CPU time: 3508.61 s
Current children cumulated vsize: 300876 KiB
Current children cumulated memory: 222380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/253 341585
/proc/meminfo: memFree=120729652/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1777.86 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29853 0 0 0 177773 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3568.39 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

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

# cumulated CPU time of all completed processes:  user=3581.59 s, system=0.519518 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.17 4.17 5/253 341587
/proc/meminfo: memFree=120729288/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1779.56 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29853 0 0 0 177943 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3570.09 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

[startup+3590.4 s]
/proc/loadavg: 4.17 4.17 4.17 5/253 341587
/proc/meminfo: memFree=120726356/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1785.93 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29853 0 0 0 178580 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3576.46 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.16 4.17 5/253 341587
/proc/meminfo: memFree=120726340/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1789.12 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29854 0 0 0 178899 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3579.65 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.16 4.17 5/253 341588
/proc/meminfo: memFree=120725856/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1790.71 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29854 0 0 0 179058 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3581.24 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.16 4.17 5/253 341588
/proc/meminfo: memFree=120725856/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1791.11 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29854 0 0 0 179098 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3581.64 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.16 4.17 5/253 341588
/proc/meminfo: memFree=120725864/131655788 swapFree=131071472/131071996
[pid=339316] ppid=339313 vsize=9932 memory=2780 CPUtime=1790.53 cores=0,2
/proc/339316/stat : 339316 (Hybrid-CASHWMax) S 339313 339316 337127 0 -1 4194304 274 78043 0 0 0 0 179017 36 20 0 1 0 62626419 10170368 695 134679101440 94557158027264 94557159106584 140736506610208 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94557161205040 94557161252228 94557191073792 140736506618830 140736506618989 140736506618989 140736506626004 0
/proc/339316/statm: 2483 695 602 264 0 134 0
[pid=340633] ppid=339316 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340633/stat : 340633 (timeout) S 339316 340633 337127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62806220 8867840 243 134679101440 94792377503744 94792377538760 140733049976160 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94792379636176 94792379638308 94792397094912 140733049979892 140733049980061 140733049980061 140733049987047 0
/proc/340633/statm: 2165 243 219 9 0 87 0
[pid=340634] ppid=340633 vsize=283500 memory=219588 CPUtime=1791.52 cores=0,2
/proc/340634/stat : 340634 (Exact) R 340633 340633 337127 0 -1 4194304 29854 0 0 0 179139 13 0 0 20 0 1 0 62806220 290304000 54897 134679101440 4194304 7243121 140737367641136 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 22855680 140737367643152 140737367643302 140737367643302 140737367650288 0
/proc/340634/statm: 70875 54897 820 745 0 69940 0
Current children cumulated CPU time: 3582.05 s
Current children cumulated vsize: 302092 KiB
Current children cumulated memory: 223340 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3582.11
CPU user time (s): 3581.59
CPU system time (s): 0.519518
CPU usage (%): 99.6125
Max. virtual memory (cumulated for all children) (KiB): 324936
Max. memory (cumulated for all children) (KiB): 275376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.59
system time used= 0.519518
maximum resident set size= 294608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148
involuntary context switches= 21801


# summary of solver processes directly reported to runsolver:
#   pid: 339316
#   total CPU time (s): 3582.11
#   total CPU user time (s): 3581.59
#   total CPU system time (s): 0.519518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5058 second user time and 37.828 second system time

The end