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: 63708 MiB (59416 MiB free)
  memory of node 1: 64465 MiB (61433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523452-1751591515/watcher-4523452-1751591515 -o /tmp/evaluation-result-4523452-1751591515/solver-4523452-1751591515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751588478-84412 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523452-1751591515.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
solver pid=84803, runsolver pid=84800
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.09 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123757896/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=29624 memory=11008 CPUtime=0.08 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 2095 0 0 0 8 0 0 0 20 0 1 0 74828977 30334976 2752 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 7406 2752 736 2416 0 4508 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 36608 KiB
Current children cumulated memory: 15488 KiB

[startup+0.205727 s]*
/proc/loadavg: 4.09 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123757896/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=38280 memory=19584 CPUtime=0.18 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 4235 0 0 0 18 0 0 0 20 0 1 0 74828977 39198720 4896 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 9570 4896 736 2416 0 6672 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45264 KiB
Current children cumulated memory: 24064 KiB

[startup+0.305746 s]*
/proc/loadavg: 4.09 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123757896/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=46380 memory=27520 CPUtime=0.28 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 6224 0 0 0 28 0 0 0 20 0 1 0 74828977 47493120 6880 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 11595 6880 736 2416 0 8697 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53364 KiB
Current children cumulated memory: 32000 KiB

[startup+0.700168 s]
/proc/loadavg: 4.09 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123757896/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=78488 memory=57088 CPUtime=0.67 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 13606 0 0 0 65 2 0 0 20 0 1 0 74828977 80371712 14272 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 19622 14272 736 2416 0 16724 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 85472 KiB
Current children cumulated memory: 61568 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123757896/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=232352 memory=193784 CPUtime=1.46 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 33457 0 0 0 140 6 0 0 20 0 1 0 74828977 237928448 48446 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 58088 48446 768 2416 0 55190 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 239336 KiB
Current children cumulated memory: 198264 KiB

[startup+3.10559 s]
/proc/loadavg: 4.09 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123773420/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=340168 memory=318900 CPUtime=3.07 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 42898 0 0 0 296 11 0 0 20 0 1 0 74828977 348332032 79725 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 85042 79725 992 2416 0 82144 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 347152 KiB
Current children cumulated memory: 323380 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.13 4.10 5/273 84807
/proc/meminfo: memFree=123619912/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=734704 memory=617076 CPUtime=6.26 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 67536 0 0 0 606 20 0 0 20 0 1 0 74828977 752336896 154269 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 183676 154269 992 2416 0 180778 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 741688 KiB
Current children cumulated memory: 621556 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/273 84807
/proc/meminfo: memFree=123363944/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=1176532 memory=1069924 CPUtime=12.64 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 97739 0 0 0 1229 35 0 0 20 0 1 0 74828977 1204768768 267481 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 294133 267481 992 2416 0 291235 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1183516 KiB
Current children cumulated memory: 1074404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.10 5/273 84807
/proc/meminfo: memFree=121341088/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=4547448 memory=3878752 CPUtime=25.4 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 260660 0 0 0 2430 110 0 0 20 0 1 0 74828977 4656586752 969688 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 1136862 969688 992 2416 0 1133964 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4554432 KiB
Current children cumulated memory: 3883232 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.12 4.09 5/271 84808
/proc/meminfo: memFree=120832228/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/84806/stat : 84806 (timeout) S 84803 84806 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74828977 2723840 352 18446744073709551615 94249598189568 94249598206081 140731022957120 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94249598220848 94249598222936 94249630883840 140731022965144 140731022965282 140731022965282 140731022970855 0
/proc/84806/statm: 665 352 352 5 0 90 0
[pid=84807] ppid=84806 vsize=5536328 memory=4832512 CPUtime=50.94 cores=1,3
/proc/84807/stat : 84807 (CASHWMaxSAT-Dis) R 84806 84806 84400 0 -1 4194304 334718 0 0 0 4947 147 0 0 20 0 1 0 74828977 5669199872 1208128 18446744073709551615 4198400 14093885 140728620638160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25251840 140728620644765 140728620644891 140728620644891 140728620650464 0
/proc/84807/statm: 1384082 1208128 992 2416 0 1381184 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 5543312 KiB
Current children cumulated memory: 4836992 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/271 84810
/proc/meminfo: memFree=121372004/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=84806] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/271 85225
/proc/meminfo: memFree=125849796/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2256.55 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 225453 202 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/272 85228
/proc/meminfo: memFree=125859168/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2316.38 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 231434 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

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

# cumulated CPU time of all completed processes:  user=3233.37 s, system=3.85639 s

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

[startup+3225.6 s]
/proc/loadavg: 4.11 4.10 4.09 6/272 85228
/proc/meminfo: memFree=125859224/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2319.67 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 231763 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3216.22 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3238.4 s]
/proc/loadavg: 4.17 4.11 4.09 6/272 85231
/proc/meminfo: memFree=125856880/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2332.44 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 233040 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3228.99 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3241.6 s]
/proc/loadavg: 4.16 4.10 4.09 6/272 85231
/proc/meminfo: memFree=125857216/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2335.63 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 233359 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3232.18 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3244.8 s]
/proc/loadavg: 4.16 4.10 4.09 6/272 85231
/proc/meminfo: memFree=125857264/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2338.82 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 233678 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3235.37 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3245.6 s]
/proc/loadavg: 4.16 4.10 4.09 6/272 85231
/proc/meminfo: memFree=125857304/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2339.61 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 233757 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3236.16 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3246.4 s]
/proc/loadavg: 4.22 4.12 4.10 6/272 85231
/proc/meminfo: memFree=125857116/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2340.41 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 233837 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3236.96 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

[startup+3246.6 s]
/proc/loadavg: 4.22 4.12 4.10 6/272 85231
/proc/meminfo: memFree=125857116/131249996 swapFree=33006296/33010684
[pid=84803] ppid=84800 vsize=4324 memory=3072 CPUtime=896.55 cores=1,3
/proc/84803/stat : 84803 (Hybrid-CASHWMax) S 84800 84803 84400 0 -1 4194304 285 340765 0 0 0 0 89478 177 20 0 1 0 74828975 4427776 768 18446744073709551615 94096853766144 94096854660677 140721367907248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94096854899728 94096854947472 94096866553856 140721367910741 140721367910896 140721367910896 140721367916498 0
/proc/84803/statm: 1081 768 704 219 0 143 0
[pid=85099] ppid=84803 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85099/stat : 85099 (timeout) S 84803 85099 84400 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74918883 2723840 352 18446744073709551615 94815601770496 94815601787009 140731172891680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94815601801776 94815601803864 94815629996032 140731172899205 140731172899362 140731172899362 140731172904935 0
/proc/85099/statm: 665 352 352 5 0 90 0
[pid=85100] ppid=85099 vsize=718604 memory=691828 CPUtime=2340.61 cores=1,3
/proc/85100/stat : 85100 (ExactPR-S9) R 85099 85099 84400 0 -1 4194304 769652 0 0 0 233857 204 0 0 20 0 1 0 74918883 735850496 172957 18446744073709551615 94691522244608 94691531544709 140722575203120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94691533330752 94691533369832 94691559911424 140722575210908 140722575211046 140722575211046 140722575216619 0
/proc/85100/statm: 179651 172957 3392 2271 0 174289 0
Current children cumulated CPU time: 3237.16 s
Current children cumulated vsize: 725588 KiB
Current children cumulated memory: 696308 KiB

Child status: 0

Real time (s): 3246.66
CPU time (s): 3237.22
CPU user time (s): 3233.37
CPU system time (s): 3.85639
CPU usage (%): 99.7092
Max. virtual memory (cumulated for all children) (KiB): 6137424
Max. memory (cumulated for all children) (KiB): 5430376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3233.37
system time used= 3.85639
maximum resident set size= 5425896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1111575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 839
involuntary context switches= 4556


# summary of solver processes directly reported to runsolver:
#   pid: 84803
#   total CPU time (s): 3237.22
#   total CPU user time (s): 3233.37
#   total CPU system time (s): 3.85639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39249 second user time and 13.5338 second system time

The end