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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522434-1751591036/watcher-4522434-1751591036 -o /tmp/evaluation-result-4522434-1751591036/solver-4522434-1751591036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751584335-87285 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4522434-1751591036.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100103 s]*
/proc/loadavg: 4.06 4.10 4.13 5/252 88038
/proc/meminfo: memFree=123313236/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=28256 memory=9356 CPUtime=0.1 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 2005 0 0 0 10 0 0 0 20 0 1 0 74782319 28934144 2339 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 7064 2339 768 2416 0 4166 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28256 KiB
Current children cumulated memory: 9356 KiB

[startup+0.213867 s]*
/proc/loadavg: 4.06 4.10 4.13 5/252 88038
/proc/meminfo: memFree=123313236/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=35636 memory=17676 CPUtime=0.22 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 4435 0 0 0 21 1 0 0 20 0 1 0 74782319 36491264 4419 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 8909 4419 768 2416 0 6011 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 35636 KiB
Current children cumulated memory: 17676 KiB

[startup+0.313966 s]*
/proc/loadavg: 4.06 4.10 4.13 5/252 88038
/proc/meminfo: memFree=123313236/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=36412 memory=18700 CPUtime=0.32 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 4707 0 0 0 31 1 0 0 20 0 1 0 74782319 37285888 4675 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 9103 4675 768 2416 0 6205 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 36412 KiB
Current children cumulated memory: 18700 KiB

[startup+0.70033 s]
/proc/loadavg: 4.06 4.10 4.13 5/252 88038
/proc/meminfo: memFree=123313236/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=124852 memory=112596 CPUtime=0.69 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 27513 0 0 0 60 9 0 0 20 0 1 0 74782319 127848448 28149 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 31213 28149 2336 2416 0 28315 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 124852 KiB
Current children cumulated memory: 112596 KiB

[startup+1.50035 s]
/proc/loadavg: 4.06 4.10 4.13 5/252 88038
/proc/meminfo: memFree=123312984/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=156660 memory=145748 CPUtime=1.49 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 35777 0 0 0 138 11 0 0 20 0 1 0 74782319 160419840 36437 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 39165 36437 2400 2416 0 36267 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 156660 KiB
Current children cumulated memory: 145748 KiB

[startup+3.11363 s]
/proc/loadavg: 4.14 4.11 4.14 5/252 88038
/proc/meminfo: memFree=123336884/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=161524 memory=150228 CPUtime=3.1 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 36908 0 0 0 299 11 0 0 20 0 1 0 74782319 165400576 37557 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 40381 37557 2400 2416 0 37483 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 161524 KiB
Current children cumulated memory: 150228 KiB

[startup+6.30036 s]
/proc/loadavg: 4.14 4.11 4.14 5/252 88038
/proc/meminfo: memFree=123364280/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=172832 memory=161876 CPUtime=6.27 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 39818 0 0 0 616 11 0 0 20 0 1 0 74782319 176979968 40469 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 43208 40469 2400 2416 0 40310 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 172832 KiB
Current children cumulated memory: 161876 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.11 4.14 5/252 88038
/proc/meminfo: memFree=123400532/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=189140 memory=178260 CPUtime=12.65 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 43895 0 0 0 1253 12 0 0 20 0 1 0 74782319 193679360 44565 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 47285 44565 2400 2416 0 44387 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 189140 KiB
Current children cumulated memory: 178260 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 88038
/proc/meminfo: memFree=123491380/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=218372 memory=207316 CPUtime=25.41 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 51200 0 0 0 2527 14 0 0 20 0 1 0 74782319 223612928 51829 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 54593 51829 2400 2416 0 51695 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 218372 KiB
Current children cumulated memory: 207316 KiB

[startup+51.1136 s]
/proc/loadavg: 4.21 4.13 4.14 5/252 88039
/proc/meminfo: memFree=123599360/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=273404 memory=260616 CPUtime=50.94 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 63915 0 0 0 5078 16 0 0 20 0 1 0 74782319 279965696 65154 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 68351 65154 2528 2416 0 65453 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 273404 KiB
Current children cumulated memory: 260616 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.12 4.14 5/252 88040
/proc/meminfo: memFree=123413376/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=472580 memory=405076 CPUtime=102 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 98535 0 0 0 10177 23 0 0 20 0 1 0 74782319 483921920 101269 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 118145 101269 2528 2416 0 115247 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 472580 KiB
Current children cumulated memory: 405076 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/252 88042
/proc/meminfo: memFree=123394032/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=551536 memory=438356 CPUtime=161.83 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 106864 0 0 0 16158 25 0 0 20 0 1 0 74782319 564772864 109589 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 137884 109589 2528 2416 0 134986 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 551536 KiB
Current children cumulated memory: 438356 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/252 88044
/proc/meminfo: memFree=123237308/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=689380 memory=530164 CPUtime=221.65 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 129342 0 0 0 22135 30 0 0 20 0 1 0 74782319 705925120 132541 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 172345 132541 2528 2416 0 169447 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 689380 KiB
Current children cumulated memory: 530164 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/252 88046
/proc/meminfo: memFree=123093452/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=863284 memory=661948 CPUtime=281.47 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 161876 0 0 0 28109 38 0 0 20 0 1 0 74782319 884002816 165487 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 215821 165487 2528 2416 0 212923 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 863284 KiB
Current children cumulated memory: 661948 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/251 88048
/proc/meminfo: memFree=123063344/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=865660 memory=662716 CPUtime=341.29 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 162080 0 0 0 34091 38 0 0 20 0 1 0 74782319 886435840 165679 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 216415 165679 2528 2416 0 213517 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 865660 KiB
Current children cumulated memory: 662716 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/251 88050
/proc/meminfo: memFree=122973564/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=940236 memory=705428 CPUtime=401.13 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 172945 0 0 0 40073 40 0 0 20 0 1 0 74782319 962801664 176357 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 235059 176357 2528 2416 0 232161 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 940236 KiB
Current children cumulated memory: 705428 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/251 88053
/proc/meminfo: memFree=122864284/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1043784 memory=761604 CPUtime=460.95 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 191664 0 0 0 46051 44 0 0 20 0 1 0 74782319 1068834816 190401 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 260946 190401 2528 2416 0 258048 0
Current children cumulated CPU time: 460.95 s

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

Current children cumulated memory: 1432028 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/250 88301
/proc/meminfo: memFree=124531132/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1504452 memory=1432028 CPUtime=2913.07 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 398490 0 0 0 290993 314 0 0 20 0 1 0 74782319 1540558848 358007 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 376113 358007 2784 2416 0 373215 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 1504452 KiB
Current children cumulated memory: 1432028 KiB

[startup+2982.3 s]
/proc/loadavg: 4.71 4.29 4.21 5/250 88303
/proc/meminfo: memFree=124309764/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1504452 memory=1432028 CPUtime=2972.93 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 399526 0 0 0 296956 337 0 0 20 0 1 0 74782319 1540558848 358007 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 376113 358007 2784 2416 0 373215 0
Current children cumulated CPU time: 2972.93 s
Current children cumulated vsize: 1504452 KiB
Current children cumulated memory: 1432028 KiB

[startup+3042.3 s]
/proc/loadavg: 4.46 4.31 4.22 5/249 88307
/proc/meminfo: memFree=124458836/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1634680 memory=1522228 CPUtime=3032.79 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 400604 0 0 0 302916 363 0 0 20 0 1 0 74782319 1673912320 380557 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 408670 380557 2784 2416 0 405772 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 1634680 KiB
Current children cumulated memory: 1522228 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.27 4.21 5/250 88314
/proc/meminfo: memFree=124506140/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1504452 memory=1432028 CPUtime=3092.65 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 401478 0 0 0 308880 385 0 0 20 0 1 0 74782319 1540558848 358007 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 376113 358007 2784 2416 0 373215 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 1504452 KiB
Current children cumulated memory: 1432028 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.25 4.20 5/250 88316
/proc/meminfo: memFree=124471000/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1634680 memory=1516084 CPUtime=3152.5 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 402570 0 0 0 314840 410 0 0 20 0 1 0 74782319 1673912320 379021 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 408670 379021 2784 2416 0 405772 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 1634680 KiB
Current children cumulated memory: 1516084 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.20 4.18 5/250 88318
/proc/meminfo: memFree=124517460/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1504452 memory=1432028 CPUtime=3212.37 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 403363 0 0 0 320807 430 0 0 20 0 1 0 74782319 1540558848 358007 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 376113 358007 2784 2416 0 373215 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 1504452 KiB
Current children cumulated memory: 1432028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/250 88320
/proc/meminfo: memFree=124423744/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1646080 memory=1524688 CPUtime=3272.23 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 407234 0 0 0 326764 459 0 0 20 0 1 0 74782319 1685585920 381172 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 411520 381172 2784 2416 0 408622 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 1646080 KiB
Current children cumulated memory: 1524688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/250 88322
/proc/meminfo: memFree=124211268/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3332.08 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 410074 0 0 0 332741 467 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/249 88324
/proc/meminfo: memFree=124067380/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3391.9 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 412909 0 0 0 338714 476 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/249 88337
/proc/meminfo: memFree=124176900/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3451.72 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 415785 0 0 0 344687 485 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/249 88339
/proc/meminfo: memFree=124423184/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3511.53 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 418132 0 0 0 350661 492 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/249 88341
/proc/meminfo: memFree=124398264/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3571.34 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 420990 0 0 0 356633 501 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3571.34 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.10 4.13 4.16 5/250 88346
/proc/meminfo: memFree=124472512/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3600.07 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 422161 0 0 0 359502 505 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.03 s, system=5.05745 s

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

[startup+3611.11 s]
/proc/loadavg: 4.10 4.13 4.16 5/250 88346
/proc/meminfo: memFree=124472512/131382120 swapFree=33010416/33010684
[pid=88037] ppid=88034 vsize=1515852 memory=1442824 CPUtime=3600.07 cores=4,6
/proc/88037/stat : 88037 (CASHWMaxSAT-Dis) R 88034 88037 87274 0 -1 4194304 422161 0 0 0 359502 505 0 0 20 0 1 0 74782319 1552232448 360706 18446744073709551615 4198400 14093885 140724320436352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 39849984 140724320438634 140724320438749 140724320438749 140724320444351 0
/proc/88037/statm: 378963 360706 2784 2416 0 376065 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1515852 KiB
Current children cumulated memory: 1442824 KiB

Child status: 10

Real time (s): 3611.12
CPU time (s): 3600.09
CPU user time (s): 3595.03
CPU system time (s): 5.05745
CPU usage (%): 99.6945
Max. virtual memory (cumulated for all children) (KiB): 1646080
Max. memory (cumulated for all children) (KiB): 1551444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.03
system time used= 5.05745
maximum resident set size= 1551444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422163
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= 87
involuntary context switches= 3723


# summary of solver processes directly reported to runsolver:
#   pid: 88037
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.03
#   total CPU system time (s): 5.05745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9648 second user time and 37.8939 second system time

The end