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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437858-1722960803/watcher-4437858-1722960803 -o /tmp/evaluation-result-4437858-1722960803/solver-4437858-1722960803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722960803-338444 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437858-1722960803.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=338505, runsolver pid=338502

[startup+0.100764 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=129014132/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=36896 memory=21580 CPUtime=0.09 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 4927 0 0 0 9 0 0 0 20 0 1 0 62682264 37781504 5395 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 9224 5395 1034 2726 0 5972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55488 KiB
Current children cumulated memory: 25260 KiB

[startup+0.204915 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128946536/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=49492 memory=34252 CPUtime=0.19 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 8088 0 0 0 19 0 0 0 20 0 1 0 62682264 50679808 8563 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 12373 8563 1034 2726 0 9121 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68084 KiB
Current children cumulated memory: 37932 KiB

[startup+0.304776 s]*
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128907268/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=65664 memory=49876 CPUtime=0.29 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 12023 0 0 0 28 1 0 0 20 0 1 0 62682264 67239936 12469 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 16416 12469 1066 2726 0 13164 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84256 KiB
Current children cumulated memory: 53556 KiB

[startup+0.700301 s]
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128782516/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=201804 memory=187728 CPUtime=0.69 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 42950 0 0 0 63 6 0 0 20 0 1 0 62682264 206647296 46932 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 50451 46932 2618 2726 0 47199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 220396 KiB
Current children cumulated memory: 191408 KiB

[startup+1.50028 s]
/proc/loadavg: 1.07 1.11 1.52 5/262 338518
/proc/meminfo: memFree=128478444/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=246972 memory=231936 CPUtime=1.48 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 54003 0 0 0 141 7 0 0 20 0 1 0 62682264 252899328 57984 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 61743 57984 2650 2726 0 58491 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 265564 KiB
Current children cumulated memory: 235616 KiB

[startup+3.10522 s]
/proc/loadavg: 1.31 1.16 1.53 4/255 338528
/proc/meminfo: memFree=127571096/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=447696 memory=409980 CPUtime=3.08 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 77458 0 0 0 295 13 0 0 20 0 1 0 62682264 458440704 102495 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 111924 102495 2698 2726 0 108672 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 466288 KiB
Current children cumulated memory: 413660 KiB

[startup+6.30021 s]
/proc/loadavg: 1.31 1.16 1.53 5/262 338571
/proc/meminfo: memFree=127300460/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=448560 memory=410404 CPUtime=6.27 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 77517 0 0 0 614 13 0 0 20 0 1 0 62682264 459325440 102601 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 112140 102601 2746 2726 0 108888 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 467152 KiB
Current children cumulated memory: 414084 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=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=449876 memory=411136 CPUtime=12.65 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 77758 0 0 0 1252 13 0 0 20 0 1 0 62682264 460673024 102784 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 112469 102784 2746 2726 0 109217 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 468468 KiB
Current children cumulated memory: 414816 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=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=542080 memory=470908 CPUtime=25.41 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 89635 0 0 0 2526 15 0 0 20 0 1 0 62682264 555089920 117727 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 135520 117727 2762 2726 0 132268 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 560672 KiB
Current children cumulated memory: 474588 KiB

[startup+51.1053 s]
/proc/loadavg: 2.73 1.56 1.65 5/262 338577
/proc/meminfo: memFree=126467996/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 684 606 264 0 134 0
[pid=338508] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/338508/stat : 338508 (timeout) S 338505 338508 338432 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62682263 8867840 236 134679101440 93835450368000 93835450403016 140723246530256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93835452500432 93835452502564 93835473342464 140723246531586 140723246531745 140723246531745 140723246538727 0
/proc/338508/statm: 2165 236 212 9 0 87 0
[pid=338509] ppid=338508 vsize=687972 memory=522684 CPUtime=50.94 cores=1,3
/proc/338509/stat : 338509 (CASHWMaxSAT-Dis) R 338508 338508 338432 0 -1 4194304 101559 0 0 0 5076 18 0 0 20 0 1 0 62682264 704483328 130671 134679101440 4194304 15356333 140728861216384 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28061696 140728861221895 140728861222041 140728861222041 140728861229023 0
/proc/338509/statm: 171993 130671 2762 2726 0 168741 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 706564 KiB
Current children cumulated memory: 526364 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=338505] ppid=338502 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62682263 10170368 684 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0

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

/proc/339505/statm: 21681 20169 804 745 0 20746 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 105316 KiB
Current children cumulated memory: 84412 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=109524 memory=82444 CPUtime=1659.69 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15064 0 0 0 165964 5 0 0 20 0 1 0 62862064 112152576 20611 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27381 20611 804 745 0 26446 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 128116 KiB
Current children cumulated memory: 86180 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=109908 memory=82856 CPUtime=1719.51 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15181 0 0 0 171946 5 0 0 20 0 1 0 62862064 112545792 20714 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27477 20714 804 745 0 26542 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 128500 KiB
Current children cumulated memory: 86592 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110072 memory=83020 CPUtime=1779.3 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15262 0 0 0 177925 5 0 0 20 0 1 0 62862064 112713728 20755 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27518 20755 804 745 0 26583 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 128664 KiB
Current children cumulated memory: 86756 KiB

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

# cumulated CPU time of all completed processes:  user=3585.58 s, system=0.381143 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110292 memory=83220 CPUtime=1781 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15304 0 0 0 178095 5 0 0 20 0 1 0 62862064 112939008 20805 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27573 20805 804 745 0 26638 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 86956 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110292 memory=83220 CPUtime=1787.38 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15310 0 0 0 178733 5 0 0 20 0 1 0 62862064 112939008 20805 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27573 20805 804 745 0 26638 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 86956 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110292 memory=83220 CPUtime=1790.57 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15310 0 0 0 179052 5 0 0 20 0 1 0 62862064 112939008 20805 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27573 20805 804 745 0 26638 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 86956 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110292 memory=83220 CPUtime=1792.16 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15323 0 0 0 179211 5 0 0 20 0 1 0 62862064 112939008 20805 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27573 20805 804 745 0 26638 0
Current children cumulated CPU time: 3585.12 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 86956 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=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110292 memory=83220 CPUtime=1792.56 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15323 0 0 0 179251 5 0 0 20 0 1 0 62862064 112939008 20805 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27573 20805 804 745 0 26638 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 86956 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.11 4.06 7/264 340409
/proc/meminfo: memFree=128815656/131524600 swapFree=131071996/131071996
[pid=338505] ppid=338502 vsize=9932 memory=2792 CPUtime=1792.96 cores=1,3
/proc/338505/stat : 338505 (Hybrid-CASHWMax) S 338502 338505 338432 0 -1 4194304 271 172959 0 0 0 0 179264 32 20 0 1 0 62682263 10170368 698 134679101440 93899517329408 93899518408728 140729353352928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93899520507184 93899520554372 93899521105920 140729353356242 140729353356401 140729353356401 140729353363412 0
/proc/338505/statm: 2483 698 606 264 0 134 0
[pid=339504] ppid=338505 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/339504/stat : 339504 (timeout) S 338505 339504 338432 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62862064 8867840 236 134679101440 94262840950784 94262840985800 140727824591408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94262843083216 94262843085348 94262869860352 140727824593912 140727824594081 140727824594081 140727824601063 0
/proc/339504/statm: 2165 236 212 9 0 87 0
[pid=339505] ppid=339504 vsize=110292 memory=83220 CPUtime=1792.96 cores=1,3
/proc/339505/stat : 339505 (Exact) R 339504 339504 338432 0 -1 4194304 15323 0 0 0 179291 5 0 0 20 0 1 0 62862064 112939008 20805 134679101440 4194304 7243121 140727087084752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34742272 140727087092756 140727087092906 140727087092906 140727087099888 0
/proc/339505/statm: 27573 20805 804 745 0 26638 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 86956 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3585.96
CPU user time (s): 3585.58
CPU system time (s): 0.381143
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 1169984
Max. memory (cumulated for all children) (KiB): 806336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.58
system time used= 0.381143
maximum resident set size= 802656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 2150


# summary of solver processes directly reported to runsolver:
#   pid: 338505
#   total CPU time (s): 3585.96
#   total CPU user time (s): 3585.58
#   total CPU system time (s): 0.381143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33418 second user time and 15.116 second system time

The end