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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437851-1722960803/watcher-4437851-1722960803 -o /tmp/evaluation-result-4437851-1722960803/solver-4437851-1722960803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722960803-338443 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437851-1722960803.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=338514, runsolver pid=338511

[startup+0.100849 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=129013796/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=29776 memory=14052 CPUtime=0.09 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 2647 0 0 0 9 0 0 0 20 0 1 0 62682265 30490624 3513 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 7444 3513 922 2726 0 4192 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48368 KiB
Current children cumulated memory: 17784 KiB

[startup+0.205031 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128942700/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=77084 memory=57116 CPUtime=0.19 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 9021 0 0 0 18 1 0 0 20 0 1 0 62682265 78934016 14279 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 19271 14279 954 2726 0 16019 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95676 KiB
Current children cumulated memory: 60848 KiB

[startup+0.306051 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128899220/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=77084 memory=57620 CPUtime=0.29 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 9043 0 0 0 28 1 0 0 20 0 1 0 62682265 78934016 14405 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 19271 14405 1018 2726 0 16019 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 95676 KiB
Current children cumulated memory: 61352 KiB

[startup+0.700241 s]
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128769076/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=119148 memory=99656 CPUtime=0.68 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 19529 0 0 0 66 2 0 0 20 0 1 0 62682265 122007552 24914 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 29787 24914 1034 2726 0 26535 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137740 KiB
Current children cumulated memory: 103388 KiB

[startup+1.5003 s]
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128475724/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=252512 memory=213628 CPUtime=1.48 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 30387 0 0 0 142 6 0 0 20 0 1 0 62682265 258572288 53407 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 63128 53407 1066 2726 0 59876 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 271104 KiB
Current children cumulated memory: 217360 KiB

[startup+3.10599 s]
/proc/loadavg: 1.31 1.16 1.53 4/255 338528
/proc/meminfo: memFree=127567064/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=795440 memory=755848 CPUtime=3.08 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 156640 0 0 0 285 23 0 0 20 0 1 0 62682265 814530560 188962 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 198860 188962 2618 2726 0 195608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 814032 KiB
Current children cumulated memory: 759580 KiB

[startup+6.30028 s]
/proc/loadavg: 1.31 1.16 1.53 5/262 338571
/proc/meminfo: memFree=127300460/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=1141072 memory=1031300 CPUtime=6.27 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 182037 0 0 0 596 31 0 0 20 0 1 0 62682265 1168457728 257825 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 285268 257825 2650 2726 0 282016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1159664 KiB
Current children cumulated memory: 1035032 KiB

[startup+12.7003 s]
/proc/loadavg: 1.52 1.21 1.54 5/262 338571
/proc/meminfo: memFree=126790368/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=1509396 memory=1389172 CPUtime=12.65 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 243076 0 0 0 1223 42 0 0 20 0 1 0 62682265 1545621504 347293 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 377349 347293 2746 2726 0 374097 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1527988 KiB
Current children cumulated memory: 1392904 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 1.34 1.58 5/262 338574
/proc/meminfo: memFree=126650768/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=1511648 memory=1392148 CPUtime=25.41 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 243835 0 0 0 2498 43 0 0 20 0 1 0 62682265 1547927552 348037 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 377912 348037 2746 2726 0 374660 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1530240 KiB
Current children cumulated memory: 1395880 KiB

[startup+51.106 s]
/proc/loadavg: 2.73 1.56 1.65 5/262 338577
/proc/meminfo: memFree=126467996/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 682 603 264 0 134 0
[pid=338517] ppid=338514 vsize=8660 memory=1004 CPUtime=0 cores=4,6
/proc/338517/stat : 338517 (timeout) S 338514 338517 338432 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62682265 8867840 251 134679101440 94920538222592 94920538257608 140722338754320 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94920540355024 94920540357156 94920570613760 140722338755586 140722338755745 140722338755745 140722338762727 0
/proc/338517/statm: 2165 251 227 9 0 87 0
[pid=338518] ppid=338517 vsize=1526860 memory=1406788 CPUtime=50.96 cores=4,6
/proc/338518/stat : 338518 (CASHWMaxSAT-Dis) R 338517 338517 338432 0 -1 4194304 247101 0 0 0 5051 45 0 0 20 0 1 0 62682265 1563504640 351697 134679101440 4194304 15356333 140723762705872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 53477376 140723762709511 140723762709657 140723762709657 140723762716639 0
/proc/338518/statm: 381715 351697 2746 2726 0 378463 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1545452 KiB
Current children cumulated memory: 1410520 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 1.95 1.78 5/262 338585
/proc/meminfo: memFree=126426388/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 62682264 10170368 682 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0

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

/proc/339507/statm: 42230 31316 804 745 0 41295 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 187512 KiB
Current children cumulated memory: 129060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.07 5/262 340377
/proc/meminfo: memFree=128765244/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178328 memory=132692 CPUtime=1660.04 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 21891 0 0 0 165994 10 0 0 20 0 1 0 62862066 182607872 33173 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44582 33173 804 745 0 43647 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 196920 KiB
Current children cumulated memory: 136488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/262 340388
/proc/meminfo: memFree=128761972/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1719.86 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 21999 0 0 0 171976 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/262 340398
/proc/meminfo: memFree=128761288/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1779.71 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22063 0 0 0 177961 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

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

# cumulated CPU time of all completed processes:  user=3586.11 s, system=0.829896 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.07 5/262 340399
/proc/meminfo: memFree=128761032/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1781.41 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22063 0 0 0 178131 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3574.92 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.07 5/262 340399
/proc/meminfo: memFree=128761092/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1787.79 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22063 0 0 0 178769 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.07 5/262 340399
/proc/meminfo: memFree=128761036/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1790.98 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22064 0 0 0 179088 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.11 4.06 5/262 340401
/proc/meminfo: memFree=128761036/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1792.57 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22067 0 0 0 179247 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.11 4.06 5/262 340401
/proc/meminfo: memFree=128761036/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1792.97 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22067 0 0 0 179287 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.11 4.06 6/260 340427
/proc/meminfo: memFree=128895952/131524600 swapFree=131071996/131071996
[pid=338514] ppid=338511 vsize=9932 memory=2784 CPUtime=1793.51 cores=4,6
/proc/338514/stat : 338514 (Hybrid-CASHWMax) S 338511 338514 338432 0 -1 4194304 271 284187 0 0 0 0 179279 72 20 0 1 0 62682264 10170368 696 134679101440 94782552121344 94782553200664 140724541567280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94782555299120 94782555346308 94782563606528 140724541572050 140724541572209 140724541572209 140724541579220 0
/proc/338514/statm: 2483 696 603 264 0 134 0
[pid=339506] ppid=338514 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/339506/stat : 339506 (timeout) S 338514 339506 338432 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62862066 8867840 253 134679101440 94266795597824 94266795632840 140733250750256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94266797730256 94266797732388 94266819190784 140733250753528 140733250753697 140733250753697 140733250760679 0
/proc/339506/statm: 2165 253 229 9 0 87 0
[pid=339507] ppid=339506 vsize=178468 memory=134940 CPUtime=1793.38 cores=4,6
/proc/339507/stat : 339507 (Exact) R 339506 339506 338432 0 -1 4194304 22067 0 0 0 179328 10 0 0 20 0 1 0 62862066 182751232 33735 134679101440 4194304 7243121 140735984917632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 34185216 140735984923668 140735984923818 140735984923818 140735984930800 0
/proc/339507/statm: 44617 33735 804 745 0 43682 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 197060 KiB
Current children cumulated memory: 138736 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.94
CPU user time (s): 3586.11
CPU system time (s): 0.829896
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 2042660
Max. memory (cumulated for all children) (KiB): 1609576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.11
system time used= 0.829896
maximum resident set size= 1605844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 1990


# summary of solver processes directly reported to runsolver:
#   pid: 338514
#   total CPU time (s): 3586.94
#   total CPU user time (s): 3586.11
#   total CPU system time (s): 0.829896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00349 second user time and 18.5353 second system time

The end