PB'25 competition competition: execution trace

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=171199, runsolver pid=171196

[startup+0.100059 s]*
/proc/loadavg: 4.38 4.36 4.36 5/340 171217
/proc/meminfo: memFree=72944548/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=18930384 memory=57904 CPUtime=0.12 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 6602 0 0 0 11 1 0 0 20 0 18 0 238514956 19384713216 14476 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4732596 14476 5368 1 0 547641 0
[pid=171199/tid=171201] ppid=171196 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 5101 0 0 0 7 1 0 0 20 0 18 0 238514957 19384713216 14476 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238514959 19384713216 14476 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=18930384 memory=59585004324181 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238514959 19384713216 14476 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57904 KiB

[startup+0.205713 s]*
/proc/loadavg: 4.38 4.36 4.36 6/341 171218
/proc/meminfo: memFree=72850404/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=18996948 memory=156492 CPUtime=0.32 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 7124 0 0 0 29 3 0 0 20 0 19 0 238514956 19452874752 39123 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4749237 39123 5464 1 0 548196 0
[pid=171199/tid=171201] ppid=171196 vsize=18996948 memory=4026990876 CPUtime=0.18 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) S 171196 171199 170132 0 -1 4194368 5321 0 0 0 15 3 0 0 20 0 19 0 238514957 19452874752 39123 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=18996948 memory=18954 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 39123 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=18996948 memory=58485492679654 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 39123 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 156492 KiB

[startup+0.305741 s]*
/proc/loadavg: 4.38 4.36 4.36 8/341 171218
/proc/meminfo: memFree=72825200/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=18996948 memory=177168 CPUtime=0.52 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 8667 0 0 0 48 4 0 0 20 0 19 0 238514956 19452874752 44292 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4749237 44292 5464 1 0 549177 0
[pid=171199/tid=171201] ppid=171196 vsize=18996948 memory=-8742728686649516732 CPUtime=0.24 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 5322 0 0 0 21 3 0 0 20 0 19 0 238514957 19452874752 44292 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 44292 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 44292 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 177168 KiB

[startup+0.700219 s]
/proc/loadavg: 4.38 4.36 4.36 5/341 171218
/proc/meminfo: memFree=72249872/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=18996948 memory=1431344 CPUtime=1.24 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 11379 0 0 0 94 30 0 0 20 0 19 0 238514956 19452874752 357836 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4749237 357836 5464 1 0 1076459 0
[pid=171199/tid=171201] ppid=171196 vsize=18996948 memory=27264 CPUtime=0.6 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 5932 0 0 0 32 28 0 0 20 0 19 0 238514957 19452874752 357836 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 357836 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 357836 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1431344 KiB

[startup+1.50022 s]
/proc/loadavg: 4.38 4.36 4.36 7/341 171218
/proc/meminfo: memFree=70794220/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=18996948 memory=3034036 CPUtime=2.39 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 13856 0 0 0 179 60 0 0 20 0 19 0 238514956 19452874752 758509 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4749237 758509 5528 1 0 1678294 0
[pid=171199/tid=171201] ppid=171196 vsize=18996948 memory=3328 CPUtime=1.3 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 6712 0 0 0 73 57 0 0 20 0 19 0 238514957 19452874752 758509 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 758509 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238514959 19452874752 758509 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3034036 KiB

[startup+3.10556 s]
/proc/loadavg: 4.59 4.40 4.38 6/342 171219
/proc/meminfo: memFree=69580096/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=3343840 CPUtime=5.17 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 19747 0 0 0 449 68 0 0 20 0 20 0 238514956 19521036288 835960 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 835960 5528 1 0 1681469 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=10752 CPUtime=2.74 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 6885 0 0 0 212 62 0 0 20 0 20 0 238514957 19521036288 835960 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 835960 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 835960 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 835960 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3343840 KiB

[startup+6.30021 s]
/proc/loadavg: 4.59 4.40 4.38 5/342 171219
/proc/meminfo: memFree=69171152/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=3672932 CPUtime=8.91 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 20602 0 0 0 815 76 0 0 20 0 20 0 238514956 19521036288 918233 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 918233 5528 1 0 2161911 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=0 CPUtime=5.86 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 7001 0 0 0 518 68 0 0 20 0 20 0 238514957 19521036288 918233 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=3343712 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 918233 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 918233 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=-8742728686649516732 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 918233 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3672932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.54 4.40 4.37 5/342 171219
/proc/meminfo: memFree=68341712/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=4310528 CPUtime=15.72 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 21062 0 0 0 1480 92 0 0 20 0 20 0 238514956 19521036288 1077632 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 1077632 5528 1 0 2161963 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=4310528 CPUtime=12.17 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 7297 0 0 0 1135 82 0 0 20 0 20 0 238514957 19521036288 1077632 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 1077632 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 1077632 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 1077632 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4310528 KiB

[startup+25.5002 s]
/proc/loadavg: 4.42 4.38 4.37 5/342 171286
/proc/meminfo: memFree=87861204/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=4980228 CPUtime=28.57 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 22694 0 0 0 2748 109 0 0 20 0 20 0 238514956 19521036288 1245057 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 1245057 5528 1 0 2161963 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=4310528 CPUtime=24.86 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 8324 0 0 0 2389 97 0 0 20 0 20 0 238514957 19521036288 1245057 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 1245057 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=4431364 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 1245057 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=2017 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 1245057 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4980228 KiB

[startup+51.1056 s]
/proc/loadavg: 4.47 4.39 4.37 5/343 171288
/proc/meminfo: memFree=85912044/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=5754476 CPUtime=54.62 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 31370 0 0 0 5329 133 0 0 20 0 20 0 238514956 19521036288 1438619 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 1438619 5528 1 0 2161964 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=5608996 CPUtime=49.92 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 10348 0 0 0 4880 112 0 0 20 0 20 0 238514957 19521036288 1438619 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=-8742728686649516732 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 1438619 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=5608996 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 1438619 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=21952 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 1438619 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0

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

/proc/meminfo: memFree=67045540/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8389176 CPUtime=3185.57 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 298883 0 0 0 317491 1066 0 0 20 0 20 0 238514956 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097294 5528 1 0 2163131 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=8389176 CPUtime=3131.95 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 155253 0 0 0 312253 942 0 0 20 0 20 0 238514957 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=-8742728686649516732 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3105 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3185.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8389176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.24 4.26 5/340 171518
/proc/meminfo: memFree=66432084/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8389176 CPUtime=3245.6 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 300875 0 0 0 323475 1085 0 0 20 0 20 0 238514956 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097294 5528 1 0 2163131 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=8389176 CPUtime=3191.58 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 157078 0 0 0 318198 960 0 0 20 0 20 0 238514957 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=8389176 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3181 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097294 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3245.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8389176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.24 4.26 5/340 171520
/proc/meminfo: memFree=65840220/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3307.49 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 307261 0 0 0 329648 1101 0 0 20 0 20 0 238514956 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097842 5528 1 0 2163165 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3251.03 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 161443 0 0 0 324129 974 0 0 20 0 20 0 238514957 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3304 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3307.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8391368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.26 4.27 5/340 171522
/proc/meminfo: memFree=65218772/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3367.66 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 311196 0 0 0 335648 1118 0 0 20 0 20 0 238514956 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097842 5528 1 0 2163165 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=10752 CPUtime=3310.54 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 163568 0 0 0 330064 990 0 0 20 0 20 0 238514957 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3349 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3367.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8391368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.27 4.27 5/339 171524
/proc/meminfo: memFree=64554428/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3427.9 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 314273 0 0 0 341654 1136 0 0 20 0 20 0 238514956 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097842 5528 1 0 2163165 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3369.97 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 166269 0 0 0 335990 1007 0 0 20 0 20 0 238514957 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3349 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3427.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8391368 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.25 4.27 5/339 171533
/proc/meminfo: memFree=63987844/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3488.15 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 319093 0 0 0 347663 1152 0 0 20 0 20 0 238514956 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097842 5528 1 0 2163165 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3429.4 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 168995 0 0 0 341919 1021 0 0 20 0 20 0 238514957 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3477 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3488.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8391368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.25 4.27 5/339 171535
/proc/meminfo: memFree=63449780/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3548.11 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 321076 0 0 0 353645 1166 0 0 20 0 20 0 238514956 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097842 5528 1 0 2163168 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3489.08 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 170800 0 0 0 347873 1035 0 0 20 0 20 0 238514957 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=8391368 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3491 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3548.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8391368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3572.6 s]
/proc/loadavg: 3.87 4.16 4.24 4/293 171609
/proc/meminfo: memFree=96893524/131249996 swapFree=33010672/33010684
[pid=171199] ppid=171196 vsize=19063512 memory=8391368 CPUtime=3600.07 cores=0,2
/proc/171199/stat : 171199 (java) S 171196 171199 170132 0 -1 4194304 327986 0 0 0 358827 1180 0 0 20 0 20 0 238514956 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
/proc/171199/statm: 4765878 2097842 5528 1 0 2163184 0
[pid=171199/tid=171201] ppid=171196 vsize=19063512 memory=1920 CPUtime=3538.86 cores=0,2
/proc/171199/task/171201/stat : 171201 (java) R 171196 171199 170132 0 -1 4194368 174472 0 0 0 352839 1047 0 0 20 0 20 0 238514957 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171210] ppid=171196 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/171199/task/171210/stat : 171210 (Finalizer) S 171196 171199 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171217] ppid=171196 vsize=19063512 memory=2944 CPUtime=0 cores=0,2
/proc/171199/task/171217/stat : 171217 (Common-Cleaner) S 171196 171199 170132 0 -1 4194368 3572 0 0 0 0 0 0 0 20 0 20 0 238514959 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
[pid=171199/tid=171219] ppid=171196 vsize=19063512 memory=6784 CPUtime=0 cores=0,2
/proc/171199/task/171219/stat : 171219 (Timer-0) S 171196 171199 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238515168 19521036288 2097842 18446744073709551615 94616984047616 94616984051312 140728680947520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94616984059128 94616984059920 94616990023680 140728680954196 140728680954340 140728680954340 140728680959944 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8391368 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.37 s, system=11.8328 s

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

Child status: 143

Real time (s): 3572.71
CPU time (s): 3600.2
CPU user time (s): 3588.37
CPU system time (s): 11.8328
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 8391368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.37
system time used= 11.8328
maximum resident set size= 8392392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15457080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111794
involuntary context switches= 11614


# summary of solver processes directly reported to runsolver:
#   pid: 171199
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3588.37
#   total CPU system time (s): 11.8328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1517 second user time and 12.7288 second system time

The end

Begin job on nodeC024 at 2025-07-23 01:52:51
IDJOB=4543720
IDBENCH=174564
IDSOLVER=3364
FILE ID=nodeC024/4543720-1753228370
RUNJOBID= nodeC024-1753221228-170142
SLURM_JOB_ID= 9687809
Free space on /tmp= 383368 MiB

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

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
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		: 3600.064
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		: 3599.692
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		: 3599.682
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		: 3608.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.668
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.799
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		: 3602.533
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		: 3584.465
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:        72977248 kB
MemAvailable:   123210836 kB
Buffers:            2128 kB
Cached:         50939696 kB
SwapCached:            8 kB
Active:          7650280 kB
Inactive:       49812456 kB
Active(anon):    6545584 kB
Inactive(anon):     1588 kB
Active(file):    1104696 kB
Inactive(file): 49810868 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            462524 kB
Writeback:          3052 kB
AnonPages:       6519480 kB
Mapped:           128756 kB
Shmem:             26248 kB
KReclaimable:     314128 kB
Slab:             411852 kB
SReclaimable:     314128 kB
SUnreclaim:        97724 kB
KernelStack:        5232 kB
PageTables:        16456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7913592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6264832 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= 413176 MiB
End job on nodeC024 at 2025-07-23 02:52:23

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_30_096.opb
MD5SUM	fedac043231dc7d3bd4ac0917a28b068
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	6.12995
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	279390
Total number of constraints	5791
Number of constraints which are clauses	2911
Number of constraints which are cardinality constraints (but not clauses)	2880
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	97
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	98
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 4543720

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data