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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484704-1751285688/watcher-4484704-1751285688 -o /tmp/evaluation-result-4484704-1751285688/solver-4484704-1751285688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43174 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484704-1751285688.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44621, runsolver pid=44618

[startup+0.100065 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 44625
/proc/meminfo: memFree=129014308/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=38152 memory=19712 CPUtime=0.07 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 4285 0 0 0 7 0 0 0 20 0 1 0 44246664 39067648 4896 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 9538 4896 736 2416 0 6640 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 24064 KiB

[startup+0.205877 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 44625
/proc/meminfo: memFree=128990700/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=57832 memory=39168 CPUtime=0.18 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 9166 0 0 0 17 1 0 0 20 0 1 0 44246664 59219968 9792 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 14458 9792 736 2416 0 11560 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64816 KiB
Current children cumulated memory: 43520 KiB

[startup+0.30583 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 44625
/proc/meminfo: memFree=128974572/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=76148 memory=57600 CPUtime=0.28 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 13780 0 0 0 26 2 0 0 20 0 1 0 44246664 77975552 14400 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 19037 14400 736 2416 0 16139 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83132 KiB
Current children cumulated memory: 61952 KiB

[startup+0.700241 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 44625
/proc/meminfo: memFree=128951828/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=95256 memory=80832 CPUtime=0.67 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 19490 0 0 0 64 3 0 0 20 0 1 0 44246664 97542144 20208 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 23814 20208 768 2416 0 20916 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 102240 KiB
Current children cumulated memory: 85184 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 44625
/proc/meminfo: memFree=128951580/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=97916 memory=82496 CPUtime=1.47 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 19891 0 0 0 144 3 0 0 20 0 1 0 44246664 100265984 20624 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 24479 20624 768 2416 0 21581 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104900 KiB
Current children cumulated memory: 86848 KiB

[startup+3.10565 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 44625
/proc/meminfo: memFree=128947552/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=100636 memory=84928 CPUtime=3.06 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 20508 0 0 0 303 3 0 0 20 0 1 0 44246664 103051264 21232 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 25159 21232 768 2416 0 22261 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 107620 KiB
Current children cumulated memory: 89280 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 44625
/proc/meminfo: memFree=128939472/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=100776 memory=85488 CPUtime=6.25 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 21593 0 0 0 621 4 0 0 20 0 1 0 44246664 103194624 21372 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 25194 21372 768 2416 0 22296 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 107760 KiB
Current children cumulated memory: 89840 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 44625
/proc/meminfo: memFree=128931116/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=119484 memory=102744 CPUtime=12.64 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 22851 0 0 0 1259 5 0 0 20 0 1 0 44246664 122351616 25686 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 29871 25686 768 2416 0 26973 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126468 KiB
Current children cumulated memory: 107096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 44625
/proc/meminfo: memFree=128923364/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=119484 memory=104884 CPUtime=25.4 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 22864 0 0 0 2535 5 0 0 20 0 1 0 44246664 122351616 26221 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 29871 26221 768 2416 0 26973 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 126468 KiB
Current children cumulated memory: 109236 KiB

[startup+51.106 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 44626
/proc/meminfo: memFree=128900212/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44624] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44624/stat : 44624 (timeout) S 44621 44624 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44246664 2723840 352 18446744073709551615 94643618680832 94643618697345 140730807763024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94643618712112 94643618714200 94643640078336 140730807765400 140730807765538 140730807765538 140730807771111 0
/proc/44624/statm: 665 352 352 5 0 90 0
[pid=44625] ppid=44624 vsize=123904 memory=109164 CPUtime=50.93 cores=5,7
/proc/44625/stat : 44625 (CASHWMaxSAT-Dis) R 44624 44624 43154 0 -1 4194304 23445 0 0 0 5088 5 0 0 20 0 1 0 44246664 126877696 27291 18446744073709551615 4198400 14093885 140736770921760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23728128 140736770927005 140736770927131 140736770927131 140736770932704 0
/proc/44625/statm: 30976 27291 768 2416 0 28078 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 130888 KiB
Current children cumulated memory: 113516 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 44627
/proc/meminfo: memFree=128842152/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0

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

/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2557.11 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259067 0 0 0 254400 1311 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 44996
/proc/meminfo: memFree=124982024/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2616.98 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259088 0 0 0 260386 1312 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124927236/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2676.83 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259089 0 0 0 266371 1312 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

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

# cumulated CPU time of all completed processes:  user=3573.73 s, system=13.2646 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124927236/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2678.53 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259089 0 0 0 266541 1312 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3574.93 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124927140/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2684.91 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259090 0 0 0 267179 1312 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3581.31 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124930972/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2688.1 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259090 0 0 0 267498 1312 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124930972/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2689.71 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259091 0 0 0 267658 1313 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124930972/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2690.11 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259091 0 0 0 267698 1313 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3586.51 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124930972/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=896.4 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 283 28440 0 0 0 0 89630 10 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
[pid=44846] ppid=44621 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44846/stat : 44846 (timeout) S 44621 44846 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44336564 2723840 352 18446744073709551615 94311527800832 94311527817345 140728758685072 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94311527832112 94311527834200 94311555694592 140728758692229 140728758692386 140728758692386 140728758697959 0
/proc/44846/statm: 665 352 352 5 0 90 0
[pid=44847] ppid=44846 vsize=1480356 memory=1211712 CPUtime=2690.51 cores=5,7
/proc/44847/stat : 44847 (ExactPR-S9) R 44846 44846 43154 0 -1 4194304 259091 0 0 0 267738 1313 0 0 20 0 1 0 44336565 1515884544 302928 18446744073709551615 94142990635008 94142999935109 140736169501584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143001721152 94143001760232 94143044157440 140736169507228 140736169507366 140736169507366 140736169512939 0
/proc/44847/statm: 370089 302928 3424 2271 0 364727 0
Current children cumulated CPU time: 3586.91 s
Current children cumulated vsize: 1487340 KiB
Current children cumulated memory: 1216064 KiB

[startup+3596.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 44998
/proc/meminfo: memFree=124930972/131249996 swapFree=33010684/33010684
[pid=44621] ppid=44618 vsize=4324 memory=2944 CPUtime=3586.98 cores=5,7
/proc/44621/stat : 44621 (Hybrid-CASHWMax) S 44618 44621 43154 0 -1 4194304 507 290324 0 0 0 0 357372 1326 20 0 1 0 44246662 4427776 736 18446744073709551615 93939337687040 93939338581573 140734081914080 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93939338820624 93939338868368 93939341574144 140734081923413 140734081923568 140734081923568 140734081929170 0
/proc/44621/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3587
CPU user time (s): 3573.73
CPU system time (s): 13.2646
CPU usage (%): 99.7465
Max. virtual memory (cumulated for all children) (KiB): 1786152
Max. memory (cumulated for all children) (KiB): 1411252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.73
system time used= 13.2646
maximum resident set size= 1406900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291059
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2021
involuntary context switches= 1517


# summary of solver processes directly reported to runsolver:
#   pid: 44621
#   total CPU time (s): 3587
#   total CPU user time (s): 3573.73
#   total CPU system time (s): 13.2646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62418 second user time and 16.7774 second system time

The end