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: 64096 MiB (60395 MiB free)
  memory of node 1: 64473 MiB (61988 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440026-1721230133/watcher-4440026-1721230133 -o /tmp/evaluation-result-4440026-1721230133/solver-4440026-1721230133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721230146-906875 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440026-1721230133.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=906926, runsolver pid=906923

[startup+0.101004 s]*
/proc/loadavg: 1.97 2.11 2.42 7/243 906931
/proc/meminfo: memFree=125298668/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=28124 memory=9660 CPUtime=0.09 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 1813 0 0 0 9 0 0 0 20 0 1 0 175169195 28798976 2415 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 7031 2415 750 2417 0 4133 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28124 KiB
Current children cumulated memory: 9660 KiB

[startup+0.212461 s]*
/proc/loadavg: 1.97 2.11 2.42 6/246 906937
/proc/meminfo: memFree=125272508/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=34524 memory=16260 CPUtime=0.21 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 3415 0 0 0 20 1 0 0 20 0 1 0 175169195 35352576 4065 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 8631 4065 750 2417 0 5733 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34524 KiB
Current children cumulated memory: 16260 KiB

[startup+0.312521 s]*
/proc/loadavg: 1.97 2.11 2.42 6/246 906937
/proc/meminfo: memFree=125246744/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=40308 memory=21876 CPUtime=0.3 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 4854 0 0 0 29 1 0 0 20 0 1 0 175169195 41275392 5469 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 10077 5469 750 2417 0 7179 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 21876 KiB

[startup+0.700306 s]
/proc/loadavg: 1.97 2.11 2.42 6/246 906937
/proc/meminfo: memFree=125184536/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=64484 memory=45920 CPUtime=0.68 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 10852 0 0 0 65 3 0 0 20 0 1 0 175169195 66031616 11480 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 16121 11480 750 2417 0 13223 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64484 KiB
Current children cumulated memory: 45920 KiB

[startup+1.50034 s]
/proc/loadavg: 1.97 2.11 2.42 6/246 906937
/proc/meminfo: memFree=125048128/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=189000 memory=178048 CPUtime=1.47 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 43218 0 0 0 136 11 0 0 20 0 1 0 175169195 193536000 44512 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 47250 44512 2350 2417 0 44352 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 189000 KiB
Current children cumulated memory: 178048 KiB

[startup+3.11198 s]
/proc/loadavg: 1.97 2.11 2.42 6/246 906937
/proc/meminfo: memFree=124600616/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=247580 memory=233684 CPUtime=3.08 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 56977 0 0 0 294 14 0 0 20 0 1 0 175169195 253521920 58421 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 61895 58421 2510 2417 0 58997 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 247580 KiB
Current children cumulated memory: 233684 KiB

[startup+6.30023 s]
/proc/loadavg: 2.13 2.14 2.43 6/246 906939
/proc/meminfo: memFree=124394900/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=247580 memory=234196 CPUtime=6.26 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 57090 0 0 0 612 14 0 0 20 0 1 0 175169195 253521920 58549 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 61895 58549 2510 2417 0 58997 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 247580 KiB
Current children cumulated memory: 234196 KiB

[startup+12.7003 s]
/proc/loadavg: 2.28 2.18 2.43 6/246 906939
/proc/meminfo: memFree=123307812/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=248488 memory=235236 CPUtime=12.65 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 57389 0 0 0 1251 14 0 0 20 0 1 0 175169195 254451712 58809 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 62122 58809 2510 2417 0 59224 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 248488 KiB
Current children cumulated memory: 235236 KiB

[startup+25.5003 s]
/proc/loadavg: 2.66 2.27 2.46 6/246 906940
/proc/meminfo: memFree=123266352/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=248488 memory=235236 CPUtime=25.41 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 57393 0 0 0 2527 14 0 0 20 0 1 0 175169195 254451712 58809 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 62122 58809 2510 2417 0 59224 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 248488 KiB
Current children cumulated memory: 235236 KiB

[startup+51.1129 s]
/proc/loadavg: 3.18 2.42 2.51 6/246 906945
/proc/meminfo: memFree=123238896/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=249144 memory=235792 CPUtime=50.96 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 57487 0 0 0 5082 14 0 0 20 0 1 0 175169195 255123456 58948 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 62286 58948 2526 2417 0 59388 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 249144 KiB
Current children cumulated memory: 235792 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 2.70 2.60 6/247 907012
/proc/meminfo: memFree=123139972/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=249144 memory=235792 CPUtime=102.02 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 57493 0 0 0 10187 15 0 0 20 0 1 0 175169195 255123456 58948 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 62286 58948 2526 2417 0 59388 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 249144 KiB
Current children cumulated memory: 235792 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.95 2.69 6/247 907069
/proc/meminfo: memFree=122752648/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=249144 memory=235792 CPUtime=161.86 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 57497 0 0 0 16171 15 0 0 20 0 1 0 175169195 255123456 58948 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 62286 58948 2526 2417 0 59388 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 249144 KiB
Current children cumulated memory: 235792 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.16 2.78 6/247 907079
/proc/meminfo: memFree=122689232/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=293904 memory=261524 CPUtime=221.72 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 62705 0 0 0 22156 16 0 0 20 0 1 0 175169195 300957696 65381 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 73476 65381 2810 2417 0 70578 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 293904 KiB
Current children cumulated memory: 261524 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.33 2.87 6/244 907089
/proc/meminfo: memFree=122623696/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=293904 memory=261524 CPUtime=281.57 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 62705 0 0 0 28141 16 0 0 20 0 1 0 175169195 300957696 65381 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 73476 65381 2810 2417 0 70578 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 293904 KiB
Current children cumulated memory: 261524 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 3.50 2.96 6/244 907100
/proc/meminfo: memFree=121686416/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=293904 memory=261524 CPUtime=341.41 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 62708 0 0 0 34125 16 0 0 20 0 1 0 175169195 300957696 65381 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 73476 65381 2810 2417 0 70578 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 293904 KiB
Current children cumulated memory: 261524 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.61 3.03 6/241 907111
/proc/meminfo: memFree=121612248/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=293904 memory=262020 CPUtime=401.25 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 62715 0 0 0 40109 16 0 0 20 0 1 0 175169195 300957696 65505 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 73476 65505 2810 2417 0 70578 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 293904 KiB
Current children cumulated memory: 262020 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.71 3.11 6/241 907121
/proc/meminfo: memFree=121524952/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=398992 memory=327588 CPUtime=461.09 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 78751 0 0 0 46091 18 0 0 20 0 1 0 175169195 408567808 81897 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 99748 81897 2810 2417 0 96850 0

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

/proc/loadavg: 4.06 4.08 3.99 5/243 908097
/proc/meminfo: memFree=121500020/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2196.91 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99551 0 0 0 219670 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2196.91 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2262.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/243 908108
/proc/meminfo: memFree=121503140/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2256.74 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99616 0 0 0 225653 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2256.74 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2322.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/243 908118
/proc/meminfo: memFree=121495996/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2316.57 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99668 0 0 0 231636 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2316.57 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2382.3 s]
/proc/loadavg: 4.16 4.11 4.01 5/243 908128
/proc/meminfo: memFree=121491332/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2376.4 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99730 0 0 0 237619 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2376.4 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2442.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/242 908140
/proc/meminfo: memFree=121488484/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2436.23 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99833 0 0 0 243602 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2436.23 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2502.3 s]
/proc/loadavg: 4.17 4.12 4.02 5/244 908154
/proc/meminfo: memFree=121485656/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2496.07 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99902 0 0 0 249586 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2496.07 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2541.01 s]
# the end of solver process 906926 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2534.45 s, system=0.222207 s

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

[startup+2508.8 s]
/proc/loadavg: 4.24 4.14 4.03 5/244 908156
/proc/meminfo: memFree=121491792/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2502.55 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99902 0 0 0 250234 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2521.6 s]
/proc/loadavg: 4.18 4.13 4.03 5/244 908157
/proc/meminfo: memFree=121476844/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2515.31 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 251510 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2515.31 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2534.4 s]
/proc/loadavg: 4.22 4.14 4.03 5/244 908159
/proc/meminfo: memFree=121482964/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2528.08 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 252787 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2528.08 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2537.6 s]
/proc/loadavg: 4.22 4.14 4.03 5/244 908160
/proc/meminfo: memFree=121480852/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2531.27 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 253106 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2531.27 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2539.2 s]
/proc/loadavg: 4.20 4.14 4.03 5/244 908160
/proc/meminfo: memFree=121473684/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2532.86 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 253265 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2532.86 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2540 s]*
/proc/loadavg: 4.20 4.14 4.03 5/244 908160
/proc/meminfo: memFree=121489052/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2533.67 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 253346 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2533.67 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2540.4 s]
/proc/loadavg: 4.20 4.14 4.03 5/244 908160
/proc/meminfo: memFree=121489052/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2534.06 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 253385 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2534.06 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2540.8 s]
/proc/loadavg: 4.20 4.14 4.03 5/244 908160
/proc/meminfo: memFree=121489052/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2534.46 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99908 0 0 0 253425 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2534.46 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

[startup+2540.9 s]
/proc/loadavg: 4.20 4.14 4.03 5/244 908160
/proc/meminfo: memFree=121489052/131655788 swapFree=131071996/131071996
[pid=906926] ppid=906923 vsize=478700 memory=418572 CPUtime=2534.56 cores=4,6
/proc/906926/stat : 906926 (CASHWMaxSAT-Dis) R 906923 906926 906864 0 -1 4194304 99951 0 0 0 253435 21 0 0 20 0 1 0 175169195 490188800 104643 134679101440 4194304 14093885 140729971497296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 50892800 140729971500004 140729971500119 140729971500119 140729971507135 0
/proc/906926/statm: 119675 104643 2810 2417 0 116777 0
Current children cumulated CPU time: 2534.56 s
Current children cumulated vsize: 478700 KiB
Current children cumulated memory: 418572 KiB

Child status: 30

Real time (s): 2541.01
CPU time (s): 2534.67
CPU user time (s): 2534.45
CPU system time (s): 0.222207
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 478700
Max. memory (cumulated for all children) (KiB): 418572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2534.45
system time used= 0.222207
maximum resident set size= 442048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99965
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= 35
involuntary context switches= 1075


# summary of solver processes directly reported to runsolver:
#   pid: 906926
#   total CPU time (s): 2534.67
#   total CPU user time (s): 2534.45
#   total CPU system time (s): 0.222207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8979 second user time and 23.3175 second system time

The end