PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution VeriPB 2025-06-06	? (TO)	3600.22	3604.79

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545280-1753238328/watcher-4545280-1753238328 -o /tmp/evaluation-result-4545280-1753238328/solver-4545280-1753238328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1753234865-168240 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4545280-1753238328 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4545280-1753238328.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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=169360, runsolver pid=169357
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.26 4.51 4.56 7/339 169378
/proc/meminfo: memFree=114511544/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=18930384 memory=57712 CPUtime=0.13 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 6553 0 0 0 11 2 0 0 20 0 18 0 239510240 19384713216 14428 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4732596 14428 5332 1 0 547603 0
[pid=169360/tid=169362] ppid=169357 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 5064 0 0 0 7 1 0 0 20 0 18 0 239510241 19384713216 14428 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239510243 19384713216 14428 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=18930384 memory=58485492697507 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 239510244 19384713216 14428 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57712 KiB

[startup+0.205849 s]*
/proc/loadavg: 4.26 4.51 4.56 7/339 169378
/proc/meminfo: memFree=114486968/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=18930384 memory=84640 CPUtime=0.33 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 7072 0 0 0 30 3 0 0 20 0 18 0 239510240 19384713216 21160 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4732596 21160 5428 1 0 547948 0
[pid=169360/tid=169362] ppid=169357 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 5333 0 0 0 17 1 0 0 20 0 18 0 239510241 19384713216 21672 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=18930384 memory=2630 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239510243 19384713216 21672 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 239510244 19384713216 21672 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84640 KiB

[startup+0.317234 s]*
/proc/loadavg: 4.26 4.51 4.56 6/340 169379
/proc/meminfo: memFree=114407948/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=18996948 memory=157688 CPUtime=0.53 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 8890 0 0 0 49 4 0 0 20 0 19 0 239510240 19452874752 39422 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4749237 39422 5460 1 0 549414 0
[pid=169360/tid=169362] ppid=169357 vsize=18996948 memory=-8671794759152214716 CPUtime=0.27 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 5367 0 0 0 25 2 0 0 20 0 19 0 239510241 19452874752 39422 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239510243 19452874752 39422 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 239510244 19452874752 39422 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157688 KiB

[startup+0.700232 s]
/proc/loadavg: 4.26 4.51 4.56 6/340 169379
/proc/meminfo: memFree=114404416/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=234076 CPUtime=1.27 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 11074 0 0 0 121 6 0 0 20 0 20 0 239510240 19521036288 58519 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 58519 5460 1 0 551186 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=24704 CPUtime=0.57 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 5452 0 0 0 54 3 0 0 20 0 20 0 239510241 19521036288 58519 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 58519 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 58519 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 234076 KiB

[startup+1.50024 s]
/proc/loadavg: 4.26 4.51 4.56 6/341 169380
/proc/meminfo: memFree=114255648/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=244832 CPUtime=2.83 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 12216 0 0 0 277 6 0 0 20 0 20 0 239510240 19521036288 61208 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 61208 5492 1 0 552081 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=3200 CPUtime=1.35 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 5468 0 0 0 132 3 0 0 20 0 20 0 239510241 19521036288 61208 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 61208 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 61208 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 61208 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 244832 KiB

[startup+3.10566 s]
/proc/loadavg: 4.24 4.50 4.56 5/341 169380
/proc/meminfo: memFree=114204868/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=245276 CPUtime=4.67 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 14178 0 0 0 460 7 0 0 20 0 20 0 239510240 19521036288 61319 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 61319 5492 1 0 552089 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=14848 CPUtime=2.94 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 5756 0 0 0 290 4 0 0 20 0 20 0 239510241 19521036288 61319 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 61319 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 61319 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 61319 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245276 KiB

[startup+6.30024 s]
/proc/loadavg: 4.24 4.50 4.56 5/341 169380
/proc/meminfo: memFree=114172708/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=248900 CPUtime=8.93 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 24258 0 0 0 883 10 0 0 20 0 20 0 239510240 19521036288 62225 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 62225 5492 1 0 554241 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=0 CPUtime=6.12 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 7286 0 0 0 607 5 0 0 20 0 20 0 239510241 19521036288 62225 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 62225 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 62225 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=244832 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 62225 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 248900 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.48 4.55 5/341 169380
/proc/meminfo: memFree=114101728/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=307852 CPUtime=15.6 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 30212 0 0 0 1547 13 0 0 20 0 20 0 239510240 19521036288 76963 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 76963 5524 1 0 917686 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=244832 CPUtime=12.47 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 7917 0 0 0 1240 7 0 0 20 0 20 0 239510241 19521036288 76963 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=289420 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 76963 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 76963 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 76963 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 15.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 307852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.46 4.55 5/341 169381
/proc/meminfo: memFree=113901760/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=434928 CPUtime=28.49 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 34238 0 0 0 2831 18 0 0 20 0 20 0 239510240 19521036288 108732 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 108732 5524 1 0 917694 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=0 CPUtime=25.23 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 8686 0 0 0 2512 11 0 0 20 0 20 0 239510241 19521036288 108732 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 108732 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=434928 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 108732 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=434928 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 108732 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 434928 KiB

[startup+51.1057 s]
/proc/loadavg: 4.31 4.47 4.55 5/341 169381
/proc/meminfo: memFree=113575100/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=627520 CPUtime=54.16 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 37072 0 0 0 5390 26 0 0 20 0 20 0 239510240 19521036288 156880 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 156880 5524 1 0 917696 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=434928 CPUtime=50.76 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 9486 0 0 0 5058 18 0 0 20 0 20 0 239510241 19521036288 156880 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=26496 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 156880 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2308 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 156880 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0

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

/proc/meminfo: memFree=78910076/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3278.39 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 85314 0 0 0 327479 360 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3272.74 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 41227 0 0 0 326993 281 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2609 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3278.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.24 4.23 5/340 169699
/proc/meminfo: memFree=78495012/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3338.26 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 85667 0 0 0 333463 363 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=24704 CPUtime=3332.58 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 41465 0 0 0 332976 282 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=-8671794759152214716 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2699 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3338.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.23 4.22 4/316 169735
/proc/meminfo: memFree=88290292/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3398.12 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 85845 0 0 0 339445 367 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=-8671794759152214716 CPUtime=3392.42 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 41637 0 0 0 338957 285 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2699 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3398.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

[startup+3462.3 s]
/proc/loadavg: 3.56 4.04 4.16 4/316 169737
/proc/meminfo: memFree=87823856/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3457.99 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 86375 0 0 0 345428 371 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=-8671794759152214716 CPUtime=3452.27 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 42089 0 0 0 344939 288 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2703 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3457.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

[startup+3522.3 s]
/proc/loadavg: 3.31 3.88 4.09 4/316 169739
/proc/meminfo: memFree=87343900/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3517.86 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 87170 0 0 0 351410 376 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3512.11 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 42714 0 0 0 350921 290 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2812 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3517.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

[startup+3582.3 s]
/proc/loadavg: 3.32 3.78 4.04 4/316 169741
/proc/meminfo: memFree=86864272/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3577.74 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 87898 0 0 0 357395 379 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=14848 CPUtime=3571.96 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 43384 0 0 0 356904 292 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2813 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3577.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.7 s]
/proc/loadavg: 3.27 3.73 4.02 4/315 169741
/proc/meminfo: memFree=86702752/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3600.08 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 88013 0 0 0 359627 381 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=2262032 CPUtime=3594.29 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 43489 0 0 0 359135 294 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2813 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

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

[startup+3604.79 s]
# the end of solver process 169360 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3596.39 s, system=3.83138 s

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

[startup+3604.7 s]
/proc/loadavg: 3.27 3.73 4.02 4/315 169741
/proc/meminfo: memFree=86702752/131249996 swapFree=33006296/33010684
[pid=169360] ppid=169357 vsize=19063512 memory=2264080 CPUtime=3600.08 cores=1,3
/proc/169360/stat : 169360 (java) S 169357 169360 168228 0 -1 4194304 88013 0 0 0 359627 381 0 0 20 0 20 0 239510240 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
/proc/169360/statm: 4765878 566020 5524 1 0 917722 0
[pid=169360/tid=169362] ppid=169357 vsize=19063512 memory=2262032 CPUtime=3594.29 cores=1,3
/proc/169360/task/169362/stat : 169362 (java) R 169357 169360 168228 0 -1 4194368 43489 0 0 0 359135 294 0 0 20 0 20 0 239510241 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169371] ppid=169357 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/169360/task/169371/stat : 169371 (Finalizer) S 169357 169360 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239510243 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169378] ppid=169357 vsize=19063512 memory=2264080 CPUtime=0 cores=1,3
/proc/169360/task/169378/stat : 169378 (Common-Cleaner) S 169357 169360 168228 0 -1 4194368 2813 0 0 0 0 0 0 0 20 0 20 0 239510244 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
[pid=169360/tid=169380] ppid=169357 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/169360/task/169380/stat : 169380 (Timer-0) S 169357 169360 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239510306 19521036288 566020 18446744073709551615 94833942544384 94833942548080 140729124107776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94833942555896 94833942556688 94833958760448 140729124116820 140729124116964 140729124116964 140729124122568 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264080 KiB

Child status: 143

Real time (s): 3604.79
CPU time (s): 3600.22
CPU user time (s): 3596.39
CPU system time (s): 3.83138
CPU usage (%): 99.8731
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2264080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.39
system time used= 3.83138
maximum resident set size= 2264976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1544616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111439
involuntary context switches= 9407


# summary of solver processes directly reported to runsolver:
#   pid: 169360
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3596.39
#   total CPU system time (s): 3.83138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32061 second user time and 17.3027 second system time

The end

Begin job on nodeC015 at 2025-07-23 04:38:48
IDJOB=4545280
IDBENCH=180787
IDSOLVER=3364
FILE ID=nodeC015/4545280-1753238328
RUNJOBID= nodeC015-1753234865-168240
SLURM_JOB_ID= 9687864
Free space on /tmp= 425380 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-20_c24.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545280-1753238328/watcher-4545280-1753238328 -o /tmp/evaluation-result-4545280-1753238328/solver-4545280-1753238328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1753234865-168240 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4545280-1753238328 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4545280-1753238328.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= fea607129b7127550b39e04c37b78aae
RANDOM SEED=320294699

nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.098
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.041
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3589.728
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3576.142
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.993
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.075
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.505
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.175
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114544668 kB
MemAvailable:   119260240 kB
Buffers:            1508 kB
Cached:          5479032 kB
SwapCached:         3888 kB
Active:         11373220 kB
Inactive:        4633608 kB
Active(anon):   10500464 kB
Inactive(anon):    48308 kB
Active(file):     872756 kB
Inactive(file):  4585300 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            113900 kB
Writeback:           152 kB
AnonPages:      10525588 kB
Mapped:           126220 kB
Shmem:             22352 kB
KReclaimable:     193508 kB
Slab:             290396 kB
SReclaimable:     193508 kB
SUnreclaim:        96888 kB
KernelStack:        5232 kB
PageTables:        24264 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11853556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10053632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 410796 MiB
End job on nodeC015 at 2025-07-23 05:38:52

Name	PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-20_c24.opb
MD5SUM	fea607129b7127550b39e04c37b78aae
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	243.081
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	33526
Total number of constraints	12724
Number of constraints which are clauses	2302
Number of constraints which are cardinality constraints (but not clauses)	1180
Number of constraints which are nor clauses,nor cardinality constraints	9242
Minimum length of a constraint	1
Maximum length of a constraint	44
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	381
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1204
Number of bits of the biggest sum of numbers	11
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4545280

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data