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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437880-1722960916/watcher-4437880-1722960916 -o /tmp/evaluation-result-4437880-1722960916/solver-4437880-1722960916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342223 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437880-1722960916.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
solver pid=343589, runsolver pid=343586
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 3.32 1.82 1.74 5/273 343593
/proc/meminfo: memFree=126635904/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=42528 memory=33616 CPUtime=0.09 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 6224 0 0 0 9 0 0 0 20 0 1 0 62688591 43548672 8404 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 10632 8404 2746 2726 0 7380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 37400 KiB

[startup+0.206379 s]*
/proc/loadavg: 3.32 1.82 1.74 5/273 343593
/proc/meminfo: memFree=126632376/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=43288 memory=34404 CPUtime=0.19 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 6418 0 0 0 19 0 0 0 20 0 1 0 62688591 44326912 8601 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 10822 8601 2746 2726 0 7570 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61880 KiB
Current children cumulated memory: 38188 KiB

[startup+0.306256 s]*
/proc/loadavg: 3.32 1.82 1.74 5/273 343593
/proc/meminfo: memFree=126602608/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=45988 memory=36840 CPUtime=0.3 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 7037 0 0 0 29 1 0 0 20 0 1 0 62688591 47091712 9210 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 11497 9210 2762 2726 0 8245 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64580 KiB
Current children cumulated memory: 40624 KiB

[startup+0.700293 s]
/proc/loadavg: 3.32 1.82 1.74 5/273 343593
/proc/meminfo: memFree=126592976/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=47004 memory=37616 CPUtime=0.69 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 7212 0 0 0 68 1 0 0 20 0 1 0 62688591 48132096 9404 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 11751 9404 2762 2726 0 8499 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65596 KiB
Current children cumulated memory: 41400 KiB

[startup+1.50025 s]
/proc/loadavg: 3.32 1.82 1.74 5/273 343593
/proc/meminfo: memFree=126590596/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=54936 memory=45008 CPUtime=1.49 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 9049 0 0 0 148 1 0 0 20 0 1 0 62688591 56254464 11252 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 13734 11252 2762 2726 0 10482 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 73528 KiB
Current children cumulated memory: 48792 KiB

[startup+3.10602 s]
/proc/loadavg: 3.32 1.82 1.74 5/273 343593
/proc/meminfo: memFree=126562620/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=78628 memory=67448 CPUtime=3.08 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 14681 0 0 0 307 1 0 0 20 0 1 0 62688591 80515072 16862 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 19657 16862 2762 2726 0 16405 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 97220 KiB
Current children cumulated memory: 71232 KiB

[startup+6.30028 s]
/proc/loadavg: 3.38 1.86 1.76 5/273 343593
/proc/meminfo: memFree=126525184/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=127076 memory=114176 CPUtime=6.26 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 26367 0 0 0 623 3 0 0 20 0 1 0 62688591 130125824 28544 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 31769 28544 2762 2726 0 28517 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 145668 KiB
Current children cumulated memory: 117960 KiB

[startup+12.7003 s]
/proc/loadavg: 3.43 1.89 1.77 5/273 343594
/proc/meminfo: memFree=126064296/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=135484 memory=119552 CPUtime=12.65 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 28852 0 0 0 1261 4 0 0 20 0 1 0 62688591 138735616 29888 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 33871 29888 2762 2726 0 30619 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154076 KiB
Current children cumulated memory: 123336 KiB

[startup+25.5003 s]
/proc/loadavg: 3.56 2.00 1.80 5/273 343647
/proc/meminfo: memFree=126144508/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=144396 memory=128788 CPUtime=25.41 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 31124 0 0 0 2537 4 0 0 20 0 1 0 62688591 147861504 32197 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 36099 32197 2762 2726 0 32847 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 162988 KiB
Current children cumulated memory: 132572 KiB

[startup+51.1062 s]
/proc/loadavg: 3.79 2.18 1.87 5/270 343651
/proc/meminfo: memFree=125791660/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 690 612 264 0 134 0
[pid=343592] ppid=343589 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/343592/stat : 343592 (timeout) S 343589 343592 342211 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62688591 8867840 256 134679101440 94310844997632 94310845032648 140734433628448 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94310847130064 94310847132196 94310869876736 140734433637374 140734433637533 140734433637533 140734433644519 0
/proc/343592/statm: 2165 256 231 9 0 87 0
[pid=343593] ppid=343592 vsize=200520 memory=180136 CPUtime=50.93 cores=1,3
/proc/343593/stat : 343593 (CASHWMaxSAT-Dis) R 343592 343592 342211 0 -1 4194304 44749 0 0 0 5085 8 0 0 20 0 1 0 62688591 205332480 45034 134679101440 4194304 15356333 140731214693856 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28385280 140731214697475 140731214697621 140731214697621 140731214704607 0
/proc/343593/statm: 50130 45034 2762 2726 0 46878 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 219112 KiB
Current children cumulated memory: 183920 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 2.48 1.99 5/270 343711
/proc/meminfo: memFree=126393684/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 243 104 0 0 0 0 0 0 20 0 1 0 62688590 10170368 690 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0

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

/proc/344645/statm: 72443 56927 820 745 0 71508 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 308364 KiB
Current children cumulated memory: 231544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/266 345528
/proc/meminfo: memFree=125386392/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=289772 memory=227972 CPUtime=1660.22 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31191 0 0 0 166011 11 0 0 20 0 1 0 62868391 296726528 56993 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72443 56993 820 745 0 71508 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 308364 KiB
Current children cumulated memory: 231808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/266 345539
/proc/meminfo: memFree=125384376/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=289772 memory=227980 CPUtime=1720.07 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31229 0 0 0 171996 11 0 0 20 0 1 0 62868391 296726528 56995 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72443 56995 820 745 0 71508 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 308364 KiB
Current children cumulated memory: 231816 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 345672
/proc/meminfo: memFree=125771948/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=228440 CPUtime=1779.92 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31360 0 0 0 177981 11 0 0 20 0 1 0 62868391 296980480 57110 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57110 820 745 0 71570 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 232276 KiB

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

# cumulated CPU time of all completed processes:  user=3585.68 s, system=0.411367 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 345672
/proc/meminfo: memFree=125766632/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=228440 CPUtime=1781.62 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31362 0 0 0 178151 11 0 0 20 0 1 0 62868391 296980480 57110 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57110 820 745 0 71570 0
Current children cumulated CPU time: 3574.07 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 232276 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 345675
/proc/meminfo: memFree=125746632/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=228440 CPUtime=1788 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31370 0 0 0 178789 11 0 0 20 0 1 0 62868391 296980480 57110 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57110 820 745 0 71570 0
Current children cumulated CPU time: 3580.45 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 232276 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 345675
/proc/meminfo: memFree=125737012/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=229880 CPUtime=1791.19 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31376 0 0 0 179108 11 0 0 20 0 1 0 62868391 296980480 57470 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57470 820 745 0 71570 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 233716 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 345675
/proc/meminfo: memFree=125736676/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=229880 CPUtime=1792.79 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31377 0 0 0 179268 11 0 0 20 0 1 0 62868391 296980480 57470 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57470 820 745 0 71570 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 233716 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 345675
/proc/meminfo: memFree=125736676/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=229880 CPUtime=1793.19 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31378 0 0 0 179308 11 0 0 20 0 1 0 62868391 296980480 57470 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57470 820 745 0 71570 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 233716 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 345675
/proc/meminfo: memFree=125728460/131524600 swapFree=131071216/131071996
[pid=343589] ppid=343586 vsize=9932 memory=2816 CPUtime=1792.45 cores=1,3
/proc/343589/stat : 343589 (Hybrid-CASHWMax) S 343586 343589 342211 0 -1 4194304 275 125862 0 0 0 0 179217 28 20 0 1 0 62688590 10170368 704 134679101440 94133132230656 94133133309976 140729410410400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94133135408432 94133135455620 94133158617088 140729410417614 140729410417773 140729410417773 140729410424788 0
/proc/343589/statm: 2483 704 612 264 0 134 0
[pid=344644] ppid=343589 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/344644/stat : 344644 (timeout) S 343589 344644 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62868391 8867840 255 134679101440 94277300109312 94277300144328 140731192816928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94277302241744 94277302243876 94277327572992 140731192824820 140731192824989 140731192824989 140731192831975 0
/proc/344644/statm: 2165 255 231 9 0 87 0
[pid=344645] ppid=344644 vsize=290020 memory=229880 CPUtime=1793.59 cores=1,3
/proc/344645/stat : 344645 (Exact) R 344644 344644 342211 0 -1 4194304 31378 0 0 0 179348 11 0 0 20 0 1 0 62868391 296980480 57470 134679101440 4194304 7243121 140720508819136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7942632 8006904 36913152 140720508826640 140720508826790 140720508826790 140720508833776 0
/proc/344645/statm: 72505 57470 820 745 0 71570 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 233716 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.09
CPU user time (s): 3585.68
CPU system time (s): 0.411367
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 511376
Max. memory (cumulated for all children) (KiB): 485200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.68
system time used= 0.411367
maximum resident set size= 481416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144
involuntary context switches= 2261


# summary of solver processes directly reported to runsolver:
#   pid: 343589
#   total CPU time (s): 3586.09
#   total CPU user time (s): 3585.68
#   total CPU system time (s): 0.411367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76051 second user time and 18.6905 second system time

The end