PB'25 competition competition: execution trace

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

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (57952 MiB free)
  memory of node 1: 64507 MiB (58994 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=160197, runsolver pid=160194

[startup+0.100062 s]*
/proc/loadavg: 4.47 4.35 4.35 5/328 160215
/proc/meminfo: memFree=119740232/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=18930384 memory=49220 CPUtime=0.12 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 5988 0 0 0 10 2 0 0 20 0 18 0 238667227 19384713216 12305 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4732596 12305 5327 1 0 547146 0
[pid=160197/tid=160199] ppid=160194 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 4864 0 0 0 6 1 0 0 20 0 18 0 238667229 19384713216 12305 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238667231 19384713216 12305 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=18930384 memory=59593594258114 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238667232 19384713216 12305 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49220 KiB

[startup+0.207686 s]*
/proc/loadavg: 4.47 4.35 4.35 8/328 160215
/proc/meminfo: memFree=119735948/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=18930384 memory=57864 CPUtime=0.26 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 6636 0 0 0 24 2 0 0 20 0 18 0 238667227 19384713216 14466 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4732596 14466 5327 1 0 547684 0
[pid=160197/tid=160199] ppid=160194 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) S 160194 160197 158984 0 -1 4194368 5119 0 0 0 16 1 0 0 20 0 18 0 238667229 19384713216 14466 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238667231 19384713216 14466 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238667232 19384713216 14466 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57864 KiB

[startup+0.312832 s]*
/proc/loadavg: 4.47 4.35 4.35 9/329 160216
/proc/meminfo: memFree=119715912/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=18930384 memory=65672 CPUtime=0.43 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 6902 0 0 0 40 3 0 0 20 0 18 0 238667227 19384713216 16418 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4732596 16418 5455 1 0 547841 0
[pid=160197/tid=160199] ppid=160194 vsize=18930384 memory=-8886843879037117116 CPUtime=0.25 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 5273 0 0 0 24 1 0 0 20 0 18 0 238667229 19384713216 16418 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238667231 19384713216 16418 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238667232 19384713216 16418 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65672 KiB

[startup+0.700356 s]
/proc/loadavg: 4.47 4.35 4.35 7/330 160217
/proc/meminfo: memFree=119584212/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=18996948 memory=173252 CPUtime=1.11 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 8690 0 0 0 105 6 0 0 20 0 19 0 238667227 19452874752 43313 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4749237 43313 5455 1 0 549197 0
[pid=160197/tid=160199] ppid=160194 vsize=18996948 memory=26880 CPUtime=0.47 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 5325 0 0 0 44 3 0 0 20 0 19 0 238667229 19452874752 43313 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238667231 19452874752 43313 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238667232 19452874752 43313 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 173252 KiB

[startup+1.50025 s]
/proc/loadavg: 4.47 4.35 4.35 7/331 160218
/proc/meminfo: memFree=119118476/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=18996948 memory=1883264 CPUtime=2.61 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 12300 0 0 0 221 40 0 0 20 0 19 0 238667227 19452874752 470816 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4749237 470816 5519 1 0 1076622 0
[pid=160197/tid=160199] ppid=160194 vsize=18996948 memory=3200 CPUtime=1.16 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 6154 0 0 0 80 36 0 0 20 0 19 0 238667229 19452874752 470816 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238667231 19452874752 470816 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238667232 19452874752 470816 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1883264 KiB

[startup+3.10576 s]
/proc/loadavg: 4.47 4.35 4.35 6/332 160219
/proc/meminfo: memFree=115837292/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=3654656 CPUtime=5.19 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 16847 0 0 0 444 75 0 0 20 0 20 0 238667227 19521036288 913664 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 913664 5519 1 0 1680370 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=10624 CPUtime=2.54 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 7037 0 0 0 185 69 0 0 20 0 20 0 238667229 19521036288 913664 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 913664 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 913664 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 913664 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3654656 KiB

[startup+6.30045 s]
/proc/loadavg: 4.51 4.36 4.36 5/332 160219
/proc/meminfo: memFree=115574852/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=3655792 CPUtime=9.57 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 16960 0 0 0 879 78 0 0 20 0 20 0 238667227 19521036288 913948 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 913948 5519 1 0 1680372 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=0 CPUtime=5.72 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 7039 0 0 0 501 71 0 0 20 0 20 0 238667229 19521036288 913948 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=3654528 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 913948 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 913948 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=-8886843879037117116 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 913948 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3655792 KiB

[startup+12.7004 s]
/proc/loadavg: 4.47 4.36 4.36 5/332 160219
/proc/meminfo: memFree=114404900/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=3893912 CPUtime=16.57 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 17191 0 0 0 1571 86 0 0 20 0 20 0 238667227 19521036288 973478 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 973478 5519 1 0 1680404 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=3893912 CPUtime=11.92 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 7151 0 0 0 1116 76 0 0 20 0 20 0 238667229 19521036288 973478 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 973478 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 973478 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 973478 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 16.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3893912 KiB

[startup+25.5004 s]
/proc/loadavg: 4.55 4.38 4.36 5/332 160219
/proc/meminfo: memFree=113970012/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=4041248 CPUtime=30.1 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 21473 0 0 0 2913 97 0 0 20 0 20 0 238667227 19521036288 1010312 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1010312 5519 1 0 1680892 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=3893912 CPUtime=24.39 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 8322 0 0 0 2358 81 0 0 20 0 20 0 238667229 19521036288 1010312 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1010312 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 1010312 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=3977640 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1010312 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 30.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4041248 KiB

[startup+51.1097 s]
/proc/loadavg: 4.49 4.38 4.36 5/332 160219
/proc/meminfo: memFree=113041424/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=4215416 CPUtime=56.04 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 26530 0 0 0 5492 112 0 0 20 0 20 0 238667227 19521036288 1053854 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1053854 5519 1 0 1680892 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=4127284 CPUtime=49.35 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 9941 0 0 0 4845 90 0 0 20 0 20 0 238667229 19521036288 1053854 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=4127284 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1053854 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 1053854 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 4.25 4.29 4.26 5/327 160385
/proc/meminfo: memFree=76789256/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3260.58 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 233257 0 0 0 324450 1608 0 0 20 0 20 0 238667227 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766036 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3168.92 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 118422 0 0 0 315569 1323 0 0 20 0 20 0 238667229 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=27008 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=7064144 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3064 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3260.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.35 4.31 4.27 5/327 160387
/proc/meminfo: memFree=76297540/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3321.11 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 237257 0 0 0 330476 1635 0 0 20 0 20 0 238667227 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766036 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3227.9 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 120955 0 0 0 321443 1347 0 0 20 0 20 0 238667229 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=7064144 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3065 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=7064144 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766036 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3321.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.28 4.26 5/326 160389
/proc/meminfo: memFree=75541232/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064272 CPUtime=3381.72 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 242086 0 0 0 336512 1660 0 0 20 0 20 0 238667227 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766068 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3286.95 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 124231 0 0 0 327327 1368 0 0 20 0 20 0 238667229 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=7064144 CPUtime=0 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3109 0 0 0 0 0 0 0 20 0 20 0 238667232 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=7064144 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3381.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.00 4.23 4.25 3/278 160436
/proc/meminfo: memFree=100221536/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064272 CPUtime=3444.43 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 244355 0 0 0 342752 1691 0 0 20 0 20 0 238667227 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766068 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3346.33 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 124653 0 0 0 333241 1392 0 0 20 0 20 0 238667229 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=7064272 CPUtime=0.01 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3175 0 0 0 0 1 0 0 20 0 20 0 238667232 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=7064272 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766068 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3444.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064272 KiB

[startup+3462.3 s]
/proc/loadavg: 2.88 3.86 4.12 3/276 160460
/proc/meminfo: memFree=107574084/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064400 CPUtime=3505.34 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 249053 0 0 0 348816 1718 0 0 20 0 20 0 238667227 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766100 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=7064144 CPUtime=3404.88 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 127653 0 0 0 339072 1416 0 0 20 0 20 0 238667229 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=14560 CPUtime=0.01 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3295 0 0 0 0 1 0 0 20 0 20 0 238667232 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=7064400 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3505.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064400 KiB

[startup+3522.3 s]
/proc/loadavg: 2.37 3.54 3.99 3/276 160462
/proc/meminfo: memFree=107397144/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064400 CPUtime=3565.75 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 252078 0 0 0 354833 1742 0 0 20 0 20 0 238667227 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766100 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=7064400 CPUtime=3464.05 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 129396 0 0 0 344969 1436 0 0 20 0 20 0 238667229 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=7064400 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=7064400 CPUtime=0.01 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3296 0 0 0 0 1 0 0 20 0 20 0 238667232 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=7064400 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3565.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.11 s]
/proc/loadavg: 2.26 3.38 3.92 3/277 160470
/proc/meminfo: memFree=107287620/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19063512 memory=7064400 CPUtime=3600.05 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 253029 0 0 0 358251 1754 0 0 20 0 20 0 238667227 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4765878 1766100 5519 1 0 1777408 0
[pid=160197/tid=160199] ppid=160194 vsize=19063512 memory=3200 CPUtime=3497.19 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) R 160194 160197 158984 0 -1 4194368 130218 0 0 0 348272 1447 0 0 20 0 20 0 238667229 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238667231 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19063512 memory=27008 CPUtime=0.01 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3331 0 0 0 0 1 0 0 20 0 20 0 238667232 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160219] ppid=160194 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160197/task/160219/stat : 160219 (Timer-0) S 160194 160197 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238667463 19521036288 1766100 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7064400 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.65 s, system=17.5936 s

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

[startup+3556.2 s]
/proc/loadavg: 2.26 3.38 3.92 3/277 160470
/proc/meminfo: memFree=107287620/131382112 swapFree=33010160/33010684
[pid=160197] ppid=160194 vsize=19263204 memory=7065040 CPUtime=3600.2 cores=5,7
/proc/160197/stat : 160197 (java) S 160194 160197 158984 0 -1 4194304 255233 0 0 0 358265 1755 0 0 20 0 21 0 238667227 19725520896 1766260 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
/proc/160197/statm: 4815801 1766260 5519 1 0 1778327 0
[pid=160197/tid=160199] ppid=160194 vsize=19263204 memory=5632 CPUtime=3497.22 cores=5,7
/proc/160197/task/160199/stat : 160199 (java) S 160194 160197 158984 0 -1 4194368 130516 0 0 0 348275 1447 0 0 20 0 21 0 238667229 19725520896 1766260 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160208] ppid=160194 vsize=19263204 memory=2944 CPUtime=0 cores=5,7
/proc/160197/task/160208/stat : 160208 (Finalizer) S 160194 160197 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238667231 19725520896 1766260 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
[pid=160197/tid=160215] ppid=160194 vsize=19263204 memory=6912 CPUtime=0.01 cores=5,7
/proc/160197/task/160215/stat : 160215 (Common-Cleaner) S 160194 160197 158984 0 -1 4194368 3331 0 0 0 0 1 0 0 20 0 21 0 238667232 19725520896 1766260 18446744073709551615 94010933907456 94010933911152 140733239852128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94010933918968 94010933919760 94010950184960 140733239859540 140733239859684 140733239859684 140733239865288 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7065040 KiB

Child status: 143

Real time (s): 3556.25
CPU time (s): 3600.25
CPU user time (s): 3582.65
CPU system time (s): 17.5936
CPU usage (%): 101.237
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7065040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.65
system time used= 17.5936
maximum resident set size= 7065296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18406744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117457
involuntary context switches= 15808


# summary of solver processes directly reported to runsolver:
#   pid: 160197
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3582.65
#   total CPU system time (s): 17.5936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2736 second user time and 35.8333 second system time

The end

Begin job on nodeC009 at 2025-07-23 02:17:54
IDJOB=4543915
IDBENCH=174715
IDSOLVER=3364
FILE ID=nodeC009/4543915-1753229874
RUNJOBID= nodeC009-1753222705-158997
SLURM_JOB_ID= 9687823
Free space on /tmp= 430748 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_30_088.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543915-1753229874/watcher-4543915-1753229874 -o /tmp/evaluation-result-4543915-1753229874/solver-4543915-1753229874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158997 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543915-1753229874 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543915-1753229874.opb

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

MD5SUM BENCH= 225933de352582a5f5a47ed5392988f0
RANDOM SEED=876758478

nodeC009 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	: 0xb00001f
cpu MHz		: 1197.225
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3591.705
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3491.929
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3591.701
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.414
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.423
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3491.932
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        119759564 kB
MemAvailable:   122050828 kB
Buffers:            2144 kB
Cached:          3008048 kB
SwapCached:           24 kB
Active:          8976340 kB
Inactive:        1870652 kB
Active(anon):    7858896 kB
Inactive(anon):     4080 kB
Active(file):    1117444 kB
Inactive(file):  1866572 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            166564 kB
Writeback:          6808 kB
AnonPages:       7839956 kB
Mapped:           128052 kB
Shmem:             26128 kB
KReclaimable:     293368 kB
Slab:             386808 kB
SReclaimable:     293368 kB
SUnreclaim:        93440 kB
KernelStack:        4956 kB
PageTables:        18664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   13394644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150312 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7665664 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 419208 MiB
End job on nodeC009 at 2025-07-23 03:17:11

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb
MD5SUM	225933de352582a5f5a47ed5392988f0
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	5.31605
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	234990
Total number of constraints	5311
Number of constraints which are clauses	2671
Number of constraints which are cardinality constraints (but not clauses)	2640
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	89
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	29
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	90
Number of bits of the biggest sum of numbers	7
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 4543915

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data