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: 63665 MiB (62686 MiB free)
  memory of node 1: 64507 MiB (60463 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502489-1751437664/watcher-4502489-1751437664 -o /tmp/evaluation-result-4502489-1751437664/solver-4502489-1751437664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751436222-65958 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4502489-1751437664.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=66261, runsolver pid=66258

[startup+0.100059 s]*
/proc/loadavg: 1.13 1.11 1.27 2/248 66265
/proc/meminfo: memFree=126097676/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=30212 memory=11648 CPUtime=0.07 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 2251 0 0 0 7 0 0 0 20 0 1 0 59444149 30937088 2912 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 7553 2912 736 2416 0 4655 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37196 KiB
Current children cumulated memory: 16128 KiB

[startup+0.205145 s]*
/proc/loadavg: 1.13 1.11 1.27 2/248 66265
/proc/meminfo: memFree=126081548/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=47032 memory=28416 CPUtime=0.17 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 6450 0 0 0 16 1 0 0 20 0 1 0 59444149 48160768 7104 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 11758 7104 736 2416 0 8860 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 54016 KiB
Current children cumulated memory: 32896 KiB

[startup+0.305156 s]*
/proc/loadavg: 1.13 1.11 1.27 2/248 66265
/proc/meminfo: memFree=126065420/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=65600 memory=47104 CPUtime=0.27 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 11109 0 0 0 25 2 0 0 20 0 1 0 59444149 67174400 11776 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 16400 11776 736 2416 0 13502 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72584 KiB
Current children cumulated memory: 51584 KiB

[startup+0.700142 s]
/proc/loadavg: 1.13 1.11 1.27 2/248 66265
/proc/meminfo: memFree=126025288/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=101004 memory=85172 CPUtime=0.66 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 20417 0 0 0 64 2 0 0 20 0 1 0 59444149 103428096 21293 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 25251 21293 768 2416 0 22353 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 107988 KiB
Current children cumulated memory: 89652 KiB

[startup+1.50014 s]
/proc/loadavg: 1.13 1.11 1.27 2/248 66265
/proc/meminfo: memFree=126025288/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=101004 memory=85172 CPUtime=1.45 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 20417 0 0 0 143 2 0 0 20 0 1 0 59444149 103428096 21293 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 25251 21293 768 2416 0 22353 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 107988 KiB
Current children cumulated memory: 89652 KiB

[startup+3.10505 s]
/proc/loadavg: 1.12 1.11 1.27 2/248 66265
/proc/meminfo: memFree=125892024/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=224284 memory=206096 CPUtime=3.06 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 36878 0 0 0 299 7 0 0 20 0 1 0 59444149 229666816 51524 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 56071 51524 768 2416 0 53173 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 231268 KiB
Current children cumulated memory: 210576 KiB

[startup+6.30014 s]
/proc/loadavg: 1.12 1.11 1.27 2/248 66265
/proc/meminfo: memFree=125697708/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=442892 memory=401628 CPUtime=6.25 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 58497 0 0 0 612 13 0 0 20 0 1 0 59444149 453521408 100407 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 110723 100407 768 2416 0 107825 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 449876 KiB
Current children cumulated memory: 406108 KiB

[startup+12.7001 s]
/proc/loadavg: 1.11 1.11 1.27 2/248 66265
/proc/meminfo: memFree=125421472/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=819412 memory=716512 CPUtime=12.63 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 89838 0 0 0 1241 22 0 0 20 0 1 0 59444149 839077888 179128 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 204853 179128 768 2416 0 201955 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 826396 KiB
Current children cumulated memory: 720992 KiB

[startup+25.5002 s]
/proc/loadavg: 1.09 1.10 1.26 2/248 66265
/proc/meminfo: memFree=122650444/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=4069444 memory=3602852 CPUtime=25.4 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 251574 0 0 0 2439 101 0 0 20 0 1 0 59444149 4167110656 900713 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 1017361 900713 768 2416 0 1014463 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4076428 KiB
Current children cumulated memory: 3607332 KiB

[startup+51.1053 s]
/proc/loadavg: 1.12 1.11 1.26 2/248 66265
/proc/meminfo: memFree=120656452/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66264/stat : 66264 (timeout) S 66261 66264 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59444148 2723840 352 18446744073709551615 94123097174016 94123097190529 140732610501120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94123097205296 94123097207384 94123107123200 140732610505110 140732610505250 140732610505250 140732610510823 0
/proc/66264/statm: 665 352 352 5 0 90 0
[pid=66265] ppid=66264 vsize=5460224 memory=5118064 CPUtime=50.93 cores=1,3
/proc/66265/stat : 66265 (CASHWMaxSAT-Dis) R 66264 66264 65914 0 -1 4194304 387995 0 0 0 4944 149 0 0 20 0 1 0 59444149 5591269376 1279516 18446744073709551615 4198400 14093885 140730818414352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 40103936 140730818423196 140730818423323 140730818423323 140730818428896 0
/proc/66265/statm: 1365056 1279516 768 2416 0 1362158 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5467208 KiB
Current children cumulated memory: 5122544 KiB

[startup+102.3 s]
/proc/loadavg: 1.11 1.11 1.25 2/248 66267
/proc/meminfo: memFree=120890976/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66264] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2318.87 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173779 0 0 0 231793 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.12 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2378.72 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173829 0 0 0 237778 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

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

# cumulated CPU time of all completed processes:  user=3583.87 s, system=3.51172 s

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

[startup+3584 s]*
/proc/loadavg: 1.11 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2380.42 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173830 0 0 0 237948 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

[startup+3590.4 s]
/proc/loadavg: 1.10 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2386.8 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173830 0 0 0 238586 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3581.13 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

[startup+3593.6 s]
/proc/loadavg: 1.10 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2390 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173904 0 0 0 238906 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

[startup+3595.2 s]
/proc/loadavg: 1.09 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2391.59 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173904 0 0 0 239065 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

[startup+3596 s]*
/proc/loadavg: 1.09 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=1020476 memory=994492 CPUtime=2392.39 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173904 0 0 0 239145 94 0 0 20 0 1 0 59563957 1044967424 248623 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 255119 248623 3392 2271 0 249757 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 998972 KiB

[startup+3596.4 s]
/proc/loadavg: 1.09 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=736956 memory=721080 CPUtime=2392.8 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173914 0 0 0 239185 95 0 0 20 0 1 0 59563957 754642944 180270 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 184239 180270 3520 2271 0 178877 0
Current children cumulated CPU time: 3587.13 s
Current children cumulated vsize: 743940 KiB
Current children cumulated memory: 725560 KiB

[startup+3596.6 s]
/proc/loadavg: 1.09 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=1194.33 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 282 562333 0 0 0 0 119180 253 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
[pid=66323] ppid=66261 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/66323/stat : 66323 (timeout) S 66261 66323 65914 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 59563956 2723840 352 18446744073709551615 94484573892608 94484573909121 140720641669664 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94484573923888 94484573925976 94484577263616 140720641677702 140720641677858 140720641677858 140720641683431 0
/proc/66323/statm: 665 352 352 5 0 90 0
[pid=66324] ppid=66323 vsize=720568 memory=707940 CPUtime=2393 cores=1,3
/proc/66324/stat : 66324 (ExactPR-S) R 66323 66323 65914 0 -1 4194304 173922 0 0 0 239205 95 0 0 20 0 1 0 59563957 737861632 176985 18446744073709551615 94776541605888 94776550905925 140731991514160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776552692032 94776552731112 94776588750848 140731991521694 140731991521831 140731991521831 140731991527404 0
/proc/66324/statm: 180142 176985 3520 2271 0 174780 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 727552 KiB
Current children cumulated memory: 712420 KiB

[startup+3596.7 s]
/proc/loadavg: 1.09 1.11 1.09 2/247 66448
/proc/meminfo: memFree=125142128/131249996 swapFree=33010684/33010684
[pid=66261] ppid=66258 vsize=4324 memory=3072 CPUtime=3587.36 cores=1,3
/proc/66261/stat : 66261 (Hybrid-CASHWMax) S 66258 66261 65914 0 -1 4194304 444 737702 0 0 0 0 358386 350 20 0 1 0 59444146 4427776 768 18446744073709551615 94101399994368 94101400888901 140720781469440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94101401127952 94101401175696 94101420138496 140720781474135 140720781474289 140720781474289 140720781479891 0
/proc/66261/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.71
CPU time (s): 3587.38
CPU user time (s): 3583.87
CPU system time (s): 3.51172
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 8509372
Max. memory (cumulated for all children) (KiB): 7549748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.87
system time used= 3.51172
maximum resident set size= 7545268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 738260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1477
involuntary context switches= 4891


# summary of solver processes directly reported to runsolver:
#   pid: 66261
#   total CPU time (s): 3587.38
#   total CPU user time (s): 3583.87
#   total CPU system time (s): 3.51172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7312 second user time and 17.0115 second system time

The end