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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484698-1751295786/watcher-4484698-1751295786 -o /tmp/evaluation-result-4484698-1751295786/solver-4484698-1751295786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751292174-41097 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484698-1751295786.opb -total-t=3600 -no-par -v0 

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
Current StackSize limit: 8192 KiB

solver pid=41483, runsolver pid=41480

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.10 4.04 4/261 41484
/proc/meminfo: memFree=129117400/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=40492 memory=22016 CPUtime=0.09 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 4875 0 0 0 8 1 0 0 20 0 1 0 45255161 41463808 5504 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 10123 5504 736 2416 0 7225 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40492 KiB
Current children cumulated memory: 22016 KiB

[startup+0.205392 s]*
/proc/loadavg: 4.11 4.10 4.04 5/261 41484
/proc/meminfo: memFree=129077336/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=58724 memory=40320 CPUtime=0.19 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 9455 0 0 0 18 1 0 0 20 0 1 0 45255161 60133376 10080 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 14681 10080 736 2416 0 11783 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58724 KiB
Current children cumulated memory: 40320 KiB

[startup+0.305284 s]*
/proc/loadavg: 4.11 4.10 4.04 4/261 41484
/proc/meminfo: memFree=129053144/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=76836 memory=58368 CPUtime=0.28 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 14000 0 0 0 26 2 0 0 20 0 1 0 45255161 78680064 14592 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 19209 14592 736 2416 0 16311 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76836 KiB
Current children cumulated memory: 58368 KiB

[startup+0.700182 s]
/proc/loadavg: 4.11 4.10 4.04 5/261 41491
/proc/meminfo: memFree=129007296/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=228720 memory=218392 CPUtime=0.68 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 52896 0 0 0 60 8 0 0 20 0 1 0 45255161 234209280 54598 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 57180 54598 2336 2416 0 54282 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 228720 KiB
Current children cumulated memory: 218392 KiB

[startup+1.50019 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128778740/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=286416 memory=276632 CPUtime=1.47 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 67378 0 0 0 138 9 0 0 20 0 1 0 45255161 293289984 69158 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 71604 69158 2400 2416 0 68706 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 286416 KiB
Current children cumulated memory: 276632 KiB

[startup+3.1053 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 41521
/proc/meminfo: memFree=128064336/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=594216 memory=552100 CPUtime=3.08 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 94913 0 0 0 291 17 0 0 20 0 1 0 45255161 608477184 138025 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 148554 138025 2496 2416 0 145656 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 594216 KiB
Current children cumulated memory: 552100 KiB

[startup+6.30018 s]
/proc/loadavg: 4.10 4.10 4.04 5/265 41521
/proc/meminfo: memFree=127828084/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=645372 memory=589844 CPUtime=6.26 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 101799 0 0 0 608 18 0 0 20 0 1 0 45255161 660860928 147461 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 161343 147461 2496 2416 0 158445 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 645372 KiB
Current children cumulated memory: 589844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.11 4.05 5/265 41521
/proc/meminfo: memFree=127755520/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=665156 memory=590612 CPUtime=12.65 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 102026 0 0 0 1246 19 0 0 20 0 1 0 45255161 681119744 147653 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 166289 147653 2496 2416 0 163391 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 665156 KiB
Current children cumulated memory: 590612 KiB

[startup+25.5001 s]
/proc/loadavg: 4.21 4.13 4.05 5/265 41521
/proc/meminfo: memFree=127686792/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=707828 memory=602396 CPUtime=25.41 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 103952 0 0 0 2522 19 0 0 20 0 1 0 45255161 724815872 150599 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 176957 150599 2496 2416 0 174059 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 707828 KiB
Current children cumulated memory: 602396 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.11 4.05 5/265 41522
/proc/meminfo: memFree=127378472/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=965132 memory=729036 CPUtime=50.94 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 134586 0 0 0 5069 25 0 0 20 0 1 0 45255161 988295168 182259 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 241283 182259 2496 2416 0 238385 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 965132 KiB
Current children cumulated memory: 729036 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/265 41524
/proc/meminfo: memFree=127290400/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1014524 memory=778444 CPUtime=101.98 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 146944 0 0 0 10171 27 0 0 20 0 1 0 45255161 1038872576 194611 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 253631 194611 2528 2416 0 250733 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1014524 KiB
Current children cumulated memory: 778444 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/263 41526
/proc/meminfo: memFree=127109372/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1017108 memory=782416 CPUtime=161.79 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 156938 0 0 0 16150 29 0 0 20 0 1 0 45255161 1041518592 195604 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 254277 195604 2528 2416 0 251379 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1017108 KiB
Current children cumulated memory: 782416 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.05 5/263 41528
/proc/meminfo: memFree=126919000/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1130120 memory=883792 CPUtime=221.61 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 182343 0 0 0 22129 32 0 0 20 0 1 0 45255161 1157242880 220948 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 282530 220948 2528 2416 0 279632 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1130120 KiB
Current children cumulated memory: 883792 KiB

[startup+282.3 s]
/proc/loadavg: 4.43 4.19 4.09 5/264 41530
/proc/meminfo: memFree=126693244/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1176468 memory=930896 CPUtime=281.44 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 194136 0 0 0 28110 34 0 0 20 0 1 0 45255161 1204703232 232724 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 294117 232724 2528 2416 0 291219 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 1176468 KiB
Current children cumulated memory: 930896 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.17 4.09 5/263 41532
/proc/meminfo: memFree=126641244/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1161192 memory=916516 CPUtime=341.27 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 208279 0 0 0 34091 36 0 0 20 0 1 0 45255161 1189060608 229129 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 290298 229129 2528 2416 0 287400 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1161192 KiB
Current children cumulated memory: 916516 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/265 41542
/proc/meminfo: memFree=126580952/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1205676 memory=951304 CPUtime=401.09 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 233740 0 0 0 40068 41 0 0 20 0 1 0 45255161 1234612224 237826 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 301419 237826 2528 2416 0 298521 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 1205676 KiB
Current children cumulated memory: 951304 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/265 41545
/proc/meminfo: memFree=126469344/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1275664 memory=1021632 CPUtime=460.9 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 257176 0 0 0 46046 44 0 0 20 0 1 0 45255161 1306279936 255408 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 318916 255408 2528 2416 0 316018 0
Current children cumulated CPU time: 460.9 s

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

Current children cumulated memory: 2108776 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 41661
/proc/meminfo: memFree=124557056/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=2469900 memory=2120904 CPUtime=2914.11 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 603750 0 0 0 291302 109 0 0 20 0 1 0 45255161 2529177600 530226 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 617475 530226 2752 2416 0 614577 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 2469900 KiB
Current children cumulated memory: 2120904 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 41663
/proc/meminfo: memFree=124563080/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=2487292 memory=2131340 CPUtime=2973.95 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 605185 0 0 0 297286 109 0 0 20 0 1 0 45255161 2546987008 532835 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 621823 532835 2752 2416 0 618925 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 2487292 KiB
Current children cumulated memory: 2131340 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 41665
/proc/meminfo: memFree=125057488/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1879996 memory=1584332 CPUtime=3033.79 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 606544 0 0 0 303268 111 0 0 20 0 1 0 45255161 1925115904 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 469999 396083 2752 2416 0 467101 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 1879996 KiB
Current children cumulated memory: 1584332 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 41667
/proc/meminfo: memFree=125034924/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3093.63 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 606622 0 0 0 309252 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 41669
/proc/meminfo: memFree=125033232/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3153.46 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 606706 0 0 0 315235 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 41671
/proc/meminfo: memFree=125011128/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3213.3 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 606742 0 0 0 321219 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 41673
/proc/meminfo: memFree=125041160/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3273.13 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 606861 0 0 0 327202 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 41675
/proc/meminfo: memFree=125053024/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3332.97 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 606944 0 0 0 333186 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41683
/proc/meminfo: memFree=125062072/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3392.8 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 607005 0 0 0 339169 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 41685
/proc/meminfo: memFree=125072300/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3452.64 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 607109 0 0 0 345153 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 41698
/proc/meminfo: memFree=125074724/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3512.47 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 607130 0 0 0 351136 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 41700
/proc/meminfo: memFree=125042512/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3572.31 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 607255 0 0 0 357120 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 41711
/proc/meminfo: memFree=125421768/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3600.03 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 607255 0 0 0 359892 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.13 s]
# the end of solver process 41483 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.93 s, system=1.14068 s

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

[startup+3610.11 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 41711
/proc/meminfo: memFree=125421768/131250000 swapFree=33010684/33010684
[pid=41483] ppid=41480 vsize=1880236 memory=1584332 CPUtime=3600.03 cores=0,2
/proc/41483/stat : 41483 (CASHWMaxSAT-Dis) R 41480 41483 41087 0 -1 4194304 607255 0 0 0 359892 111 0 0 20 0 1 0 45255161 1925361664 396083 18446744073709551615 4198400 14093885 140730276947488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27729920 140730276952426 140730276952541 140730276952541 140730276958143 0
/proc/41483/statm: 470059 396083 2752 2416 0 467161 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1880236 KiB
Current children cumulated memory: 1584332 KiB

Child status: 10

Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3598.93
CPU system time (s): 1.14068
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 2498648
Max. memory (cumulated for all children) (KiB): 2131852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.14068
maximum resident set size= 2131852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 4659


# summary of solver processes directly reported to runsolver:
#   pid: 41483
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.93
#   total CPU system time (s): 1.14068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57933 second user time and 14.8402 second system time

The end