PB'25 competition competition: execution trace

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

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: 63665 MiB (26379 MiB free)
  memory of node 1: 64507 MiB (61770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543759-1753228389/watcher-4543759-1753228389 -o /tmp/evaluation-result-4543759-1753228389/solver-4543759-1753228389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753221228-170145 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543759-1753228389 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543759-1753228389.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
Starting watchdog thread
solver pid=171266, runsolver pid=171263
Current StackSize limit: 8192 KiB


[startup+0.10003 s]*
/proc/loadavg: 4.46 4.38 4.37 6/340 171284
/proc/meminfo: memFree=90229636/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=18930384 memory=57828 CPUtime=0.13 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 6596 0 0 0 11 2 0 0 20 0 18 0 238516804 19384713216 14457 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4732596 14457 5331 1 0 547639 0
[pid=171266/tid=171268] ppid=171263 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 5090 0 0 0 7 1 0 0 20 0 18 0 238516806 19384713216 14457 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238516808 19384713216 14457 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=18930384 memory=59585004324181 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238516808 19384713216 14457 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57828 KiB

[startup+0.20579 s]*
/proc/loadavg: 4.46 4.38 4.37 6/340 171284
/proc/meminfo: memFree=90178468/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=18930384 memory=121812 CPUtime=0.33 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 7165 0 0 0 30 3 0 0 20 0 18 0 238516804 19384713216 30453 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4732596 30453 5427 1 0 548051 0
[pid=171266/tid=171268] ppid=171263 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 5300 0 0 0 16 2 0 0 20 0 18 0 238516806 19384713216 30453 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=18930384 memory=18954 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238516808 19384713216 30453 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238516808 19384713216 30965 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 121812 KiB

[startup+0.305866 s]*
/proc/loadavg: 4.46 4.38 4.37 6/341 171285
/proc/meminfo: memFree=90128120/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=18996948 memory=159532 CPUtime=0.52 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 9189 0 0 0 48 4 0 0 20 0 19 0 238516804 19452874752 39883 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4749237 39883 5459 1 0 549394 0
[pid=171266/tid=171268] ppid=171263 vsize=18996948 memory=-8959744794181804732 CPUtime=0.26 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 5315 0 0 0 23 3 0 0 20 0 19 0 238516806 19452874752 39883 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238516808 19452874752 39883 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238516808 19452874752 39883 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159532 KiB

[startup+0.700224 s]
/proc/loadavg: 4.46 4.38 4.37 6/341 171285
/proc/meminfo: memFree=89870200/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=18996948 memory=930608 CPUtime=1.28 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 10806 0 0 0 109 19 0 0 20 0 19 0 238516804 19452874752 232652 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4749237 232652 5491 1 0 1076125 0
[pid=171266/tid=171268] ppid=171263 vsize=18996948 memory=27264 CPUtime=0.61 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 5688 0 0 0 44 17 0 0 20 0 19 0 238516806 19452874752 232652 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238516808 19452874752 232652 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238516808 19452874752 232652 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 930608 KiB

[startup+1.50025 s]
/proc/loadavg: 4.46 4.38 4.37 6/342 171286
/proc/meminfo: memFree=89308108/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=1027908 CPUtime=2.86 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 12915 0 0 0 264 22 0 0 20 0 20 0 238516804 19521036288 256977 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 256977 5491 1 0 1077402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=3328 CPUtime=1.35 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 5786 0 0 0 116 19 0 0 20 0 20 0 238516806 19521036288 256977 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 256977 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 256977 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 256977 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1027908 KiB

[startup+3.10556 s]
/proc/loadavg: 4.46 4.38 4.37 5/342 171286
/proc/meminfo: memFree=88826124/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=1261764 CPUtime=4.83 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 13109 0 0 0 455 28 0 0 20 0 20 0 238516804 19521036288 315441 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 315441 5491 1 0 1077404 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=14676 CPUtime=2.94 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 5900 0 0 0 270 24 0 0 20 0 20 0 238516806 19521036288 315441 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 315441 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 315441 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 315441 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1261764 KiB

[startup+6.30023 s]
/proc/loadavg: 4.42 4.38 4.37 5/342 171286
/proc/meminfo: memFree=88009916/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=1697852 CPUtime=8.52 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 15668 0 0 0 813 39 0 0 20 0 20 0 238516804 19521036288 424463 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 424463 5523 1 0 1078286 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=0 CPUtime=6.14 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 6380 0 0 0 579 35 0 0 20 0 20 0 238516806 19521036288 424463 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 424463 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 424463 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=1042372 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 424463 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1697852 KiB

[startup+12.7002 s]
/proc/loadavg: 4.39 4.37 4.36 6/342 171286
/proc/meminfo: memFree=86931124/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=1966896 CPUtime=15.17 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 20174 0 0 0 1469 48 0 0 20 0 20 0 238516804 19521036288 491724 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 491724 5523 1 0 1078302 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=1042372 CPUtime=12.35 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 6988 0 0 0 1195 40 0 0 20 0 20 0 238516806 19521036288 491724 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=1936160 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 491724 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 491724 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 491724 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 15.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1966896 KiB

[startup+25.5002 s]
/proc/loadavg: 4.51 4.40 4.37 5/343 171288
/proc/meminfo: memFree=86285912/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=2063228 CPUtime=28.2 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 24879 0 0 0 2765 55 0 0 20 0 20 0 238516804 19521036288 515807 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 515807 5523 1 0 1078302 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=0 CPUtime=24.96 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 8568 0 0 0 2451 45 0 0 20 0 20 0 238516806 19521036288 515807 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 515807 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=2063228 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 515807 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=2003804 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 515807 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2063228 KiB

[startup+51.1057 s]
/proc/loadavg: 4.40 4.38 4.37 5/343 171288
/proc/meminfo: memFree=85251784/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=2235328 CPUtime=54.03 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 28792 0 0 0 5334 69 0 0 20 0 20 0 238516804 19521036288 558832 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 558832 5523 1 0 1078303 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=2063228 CPUtime=50.18 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 10297 0 0 0 4964 54 0 0 20 0 20 0 238516806 19521036288 558832 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=12800 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 558832 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 558832 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0

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

/proc/meminfo: memFree=66838968/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3211.46 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 214420 0 0 0 320136 1010 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3126.9 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 101399 0 0 0 311827 863 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2198 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=-8959744794181804732 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.24 4.26 5/340 171520
/proc/meminfo: memFree=66223784/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3272.77 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 219508 0 0 0 326249 1028 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3186.38 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 104229 0 0 0 317759 879 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2319 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.23 4.26 5/340 171522
/proc/meminfo: memFree=65634564/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3333 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 222864 0 0 0 332258 1042 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=27264 CPUtime=3245.87 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 106166 0 0 0 323696 891 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=279735784216496 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2402 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.27 4.27 5/339 171524
/proc/meminfo: memFree=65016488/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3395.34 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 225524 0 0 0 338473 1061 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3305.22 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 107627 0 0 0 329614 908 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2406 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3395.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.25 4.27 5/339 171533
/proc/meminfo: memFree=64391736/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3457.11 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 230922 0 0 0 344631 1080 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=14676 CPUtime=3364.53 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 110583 0 0 0 335528 925 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2407 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3457.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.25 4.27 5/339 171535
/proc/meminfo: memFree=63814568/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3517.48 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 234404 0 0 0 350651 1097 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=14676 CPUtime=3423.88 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 112635 0 0 0 341448 940 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2460 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3517.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.23 4.26 5/343 171541
/proc/meminfo: memFree=63271688/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3577.61 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 234993 0 0 0 356650 1111 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=2764 CPUtime=3483.46 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 113065 0 0 0 347392 954 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2542 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3577.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3543.2 s]
/proc/loadavg: 4.03 4.20 4.25 4/318 171575
/proc/meminfo: memFree=84115824/131249996 swapFree=33010672/33010684
[pid=171266] ppid=171263 vsize=19063512 memory=4242044 CPUtime=3600.02 cores=5,7
/proc/171266/stat : 171266 (java) S 171263 171266 170132 0 -1 4194304 237572 0 0 0 358880 1122 0 0 20 0 20 0 238516804 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
/proc/171266/statm: 4765878 1060511 5523 1 0 1072402 0
[pid=171266/tid=171268] ppid=171263 vsize=19063512 memory=10752 CPUtime=3503.9 cores=5,7
/proc/171266/task/171268/stat : 171268 (java) R 171263 171266 170132 0 -1 4194368 114378 0 0 0 349427 963 0 0 20 0 20 0 238516806 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171277] ppid=171263 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/171266/task/171277/stat : 171277 (Finalizer) S 171263 171266 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171284] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171284/stat : 171284 (Common-Cleaner) S 171263 171266 170132 0 -1 4194368 2542 0 0 0 0 0 0 0 20 0 20 0 238516808 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
[pid=171266/tid=171286] ppid=171263 vsize=19063512 memory=4242044 CPUtime=0 cores=5,7
/proc/171266/task/171286/stat : 171286 (Timer-0) S 171263 171266 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238516876 19521036288 1060511 18446744073709551615 94433862287360 94433862291056 140725870922448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94433862298872 94433862299664 94433883803648 140725870930260 140725870930404 140725870930404 140725870936008 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4242044 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.9 s, system=11.2455 s

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

Child status: 143

Real time (s): 3543.29
CPU time (s): 3600.15
CPU user time (s): 3588.9
CPU system time (s): 11.2455
CPU usage (%): 101.605
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4275212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.9
system time used= 11.2455
maximum resident set size= 4275212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17126224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114996
involuntary context switches= 10129


# summary of solver processes directly reported to runsolver:
#   pid: 171266
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3588.9
#   total CPU system time (s): 11.2455

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14984 second user time and 16.8185 second system time

The end

Begin job on nodeC024 at 2025-07-23 01:53:09
IDJOB=4543759
IDBENCH=174609
IDSOLVER=3364
FILE ID=nodeC024/4543759-1753228389
RUNJOBID= nodeC024-1753221228-170145
SLURM_JOB_ID= 9687809
Free space on /tmp= 403268 MiB

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

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

MD5SUM BENCH= 24c7738c3c83b878554c33cfdaf58c44
RANDOM SEED=859023378

nodeC024 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		: 3599.674
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	: 6999.36
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		: 3598.129
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	: 6999.36
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		: 3601.118
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	: 6999.36
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		: 3599.688
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	: 6999.36
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.678
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	: 6999.36
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		: 3599.680
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	: 6999.36
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		: 3607.744
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	: 6999.36
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		: 3603.995
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        90273868 kB
MemAvailable:   120902744 kB
Buffers:            2128 kB
Cached:         31356960 kB
SwapCached:            8 kB
Active:          9992604 kB
Inactive:       30229660 kB
Active(anon):    8887908 kB
Inactive(anon):     1588 kB
Active(file):    1104696 kB
Inactive(file): 30228072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            456312 kB
Writeback:             0 kB
AnonPages:       8863360 kB
Mapped:           128760 kB
Shmem:             26248 kB
KReclaimable:     270292 kB
Slab:             367452 kB
SReclaimable:     270292 kB
SUnreclaim:        97160 kB
KernelStack:        5200 kB
PageTables:        21036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14443616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8624128 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 408280 MiB
End job on nodeC024 at 2025-07-23 02:52:12

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb
MD5SUM	24c7738c3c83b878554c33cfdaf58c44
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	1.47269
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	109662
Total number of constraints	2479
Number of constraints which are clauses	1247
Number of constraints which are cardinality constraints (but not clauses)	1232
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	14
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	13
Number of bits of the biggest number in a constraint	4
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 4543759

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data