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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490821-1751378881/watcher-4490821-1751378881 -o /tmp/evaluation-result-4490821-1751378881/solver-4490821-1751378881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751373665-49667 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4490821-1751378881.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=50435, runsolver pid=50432
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.09 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128227732/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=24716 memory=6400 CPUtime=0.07 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 928 0 0 0 7 0 0 0 20 0 1 0 53567883 25309184 1600 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 6179 1600 736 2416 0 3281 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 31700 KiB
Current children cumulated memory: 10880 KiB

[startup+0.214304 s]*
/proc/loadavg: 4.09 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128227732/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=28844 memory=10496 CPUtime=0.18 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 1957 0 0 0 18 0 0 0 20 0 1 0 53567883 29536256 2624 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 7211 2624 736 2416 0 4313 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35828 KiB
Current children cumulated memory: 14976 KiB

[startup+0.314187 s]*
/proc/loadavg: 4.09 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128227732/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=32688 memory=14336 CPUtime=0.28 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 2934 0 0 0 27 1 0 0 20 0 1 0 53567883 33472512 3584 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 8172 3584 736 2416 0 5274 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39672 KiB
Current children cumulated memory: 18816 KiB

[startup+0.700466 s]
/proc/loadavg: 4.09 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128225212/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=58080 memory=38436 CPUtime=0.65 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 8756 0 0 0 63 2 0 0 20 0 1 0 53567883 59473920 9609 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 14520 9609 768 2416 0 11622 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 42916 KiB

[startup+1.5005 s]
/proc/loadavg: 4.09 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128157768/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=138468 memory=107820 CPUtime=1.45 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 22375 0 0 0 139 6 0 0 20 0 1 0 53567883 141791232 26955 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 34617 26955 768 2416 0 31719 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 112300 KiB

[startup+3.11362 s]
/proc/loadavg: 4.09 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128121664/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=163480 memory=124660 CPUtime=3.06 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 25118 0 0 0 298 8 0 0 20 0 1 0 53567883 167403520 31165 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 40870 31165 768 2416 0 37972 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 129140 KiB

[startup+6.3005 s]
/proc/loadavg: 4.08 4.14 4.13 5/257 50439
/proc/meminfo: memFree=128114104/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=163480 memory=124788 CPUtime=6.24 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 25128 0 0 0 616 8 0 0 20 0 1 0 53567883 167403520 31197 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 40870 31197 800 2416 0 37972 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 129268 KiB

[startup+12.7005 s]
/proc/loadavg: 4.08 4.14 4.13 5/258 50440
/proc/meminfo: memFree=128105728/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=163480 memory=126836 CPUtime=12.61 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 25138 0 0 0 1253 8 0 0 20 0 1 0 53567883 167403520 31709 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 40870 31709 800 2416 0 37972 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 131316 KiB

[startup+25.5005 s]
/proc/loadavg: 4.06 4.13 4.12 5/258 50440
/proc/meminfo: memFree=128048744/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=163480 memory=130980 CPUtime=25.37 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 25168 0 0 0 2529 8 0 0 20 0 1 0 53567883 167403520 32745 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 40870 32745 800 2416 0 37972 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 135460 KiB

[startup+51.1138 s]
/proc/loadavg: 4.10 4.14 4.13 5/258 50441
/proc/meminfo: memFree=128009076/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/50438/stat : 50438 (timeout) S 50435 50438 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53567882 2723840 352 18446744073709551615 94428983177216 94428983193729 140733821643136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94428983208496 94428983210584 94428983877632 140733821647254 140733821647394 140733821647394 140733821652967 0
/proc/50438/statm: 665 352 352 5 0 90 0
[pid=50439] ppid=50438 vsize=163480 memory=133164 CPUtime=50.89 cores=0,2
/proc/50439/stat : 50439 (CASHWMaxSAT-Dis) R 50438 50438 49657 0 -1 4194304 25233 0 0 0 5081 8 0 0 20 0 1 0 53567883 167403520 33291 18446744073709551615 4198400 14093885 140723050385216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 34476032 140723050387868 140723050387995 140723050387995 140723050393568 0
/proc/50439/statm: 40870 33291 800 2416 0 37972 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 137644 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.14 4.13 5/259 50445
/proc/meminfo: memFree=127952188/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50438] ppid=50435 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2257.08 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200328 0 0 0 225491 217 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3451.16 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.21 5/258 51217
/proc/meminfo: memFree=128331848/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2316.85 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200328 0 0 0 231463 222 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3510.93 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.20 5/258 51219
/proc/meminfo: memFree=128297324/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2376.62 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 237434 228 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

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

# cumulated CPU time of all completed processes:  user=3582.03 s, system=2.42717 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.18 4.20 5/258 51220
/proc/meminfo: memFree=128297452/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2378.33 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 237605 228 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.17 4.20 5/258 51220
/proc/meminfo: memFree=128297200/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2384.69 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 238240 229 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3578.77 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.17 4.20 5/258 51220
/proc/meminfo: memFree=128280816/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2387.88 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 238559 229 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3581.96 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.17 4.20 5/258 51220
/proc/meminfo: memFree=128280816/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2389.47 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 238718 229 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3583.55 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.17 4.20 5/258 51220
/proc/meminfo: memFree=128280816/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2389.87 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 238758 229 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3583.95 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.17 4.20 5/258 51220
/proc/meminfo: memFree=128280816/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=1194.08 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 284 25737 0 0 0 0 119399 9 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
[pid=50498] ppid=50435 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/50498/stat : 50498 (timeout) S 50435 50498 49657 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53687683 2723840 320 18446744073709551615 94905761615872 94905761632385 140723485582720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94905761647152 94905761649240 94905769463808 140723485591942 140723485592098 140723485592098 140723485597671 0
/proc/50498/statm: 665 320 320 5 0 90 0
[pid=50499] ppid=50498 vsize=592860 memory=567540 CPUtime=2390.28 cores=0,2
/proc/50499/stat : 50499 (ExactPR-S) R 50498 50498 49657 0 -1 4194304 200347 0 0 0 238799 229 0 0 20 0 1 0 53687684 607088640 141885 18446744073709551615 94705901383680 94705910683717 140728256454064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94705912469824 94705912508904 94705941614592 140728256457118 140728256457255 140728256457255 140728256462828 0
/proc/50499/statm: 148215 141885 3456 2271 0 142853 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 599844 KiB
Current children cumulated memory: 571892 KiB

[startup+3596.11 s]
/proc/loadavg: 4.08 4.17 4.20 5/258 51220
/proc/meminfo: memFree=128280816/131382112 swapFree=33010684/33010684
[pid=50435] ppid=50432 vsize=4324 memory=3072 CPUtime=3584.43 cores=0,2
/proc/50435/stat : 50435 (Hybrid-CASHWMax) S 50432 50435 49657 0 -1 4194304 444 227525 0 0 0 0 358202 241 20 0 1 0 53567880 4427776 768 18446744073709551615 94091464003584 94091464898117 140727295942736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94091465137168 94091465184912 94091478220800 140727295949143 140727295949297 140727295949297 140727295954899 0
/proc/50435/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3584.46
CPU user time (s): 3582.03
CPU system time (s): 2.42717
CPU usage (%): 99.6758
Max. virtual memory (cumulated for all children) (KiB): 692084
Max. memory (cumulated for all children) (KiB): 645964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.03
system time used= 2.42717
maximum resident set size= 643240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228082
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= 1304
involuntary context switches= 7926


# summary of solver processes directly reported to runsolver:
#   pid: 50435
#   total CPU time (s): 3584.46
#   total CPU user time (s): 3582.03
#   total CPU system time (s): 2.42717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7903 second user time and 38.8669 second system time

The end