PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution 2025-06-06	? (TO)	3600.24	3584.72

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543836-1753232113/watcher-4543836-1753232113 -o /tmp/evaluation-result-4543836-1753232113/solver-4543836-1753232113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753232113-171697 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543836-1753232113.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 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
solver pid=171750, runsolver pid=171738
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.31 2.85 3.71 5/334 171824
/proc/meminfo: memFree=129033288/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=18930384 memory=57672 CPUtime=0.12 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 6569 0 0 0 10 2 0 0 20 0 18 0 238889256 19384713216 14418 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4732596 14418 5344 1 0 547619 0
[pid=171750/tid=171765] ppid=171738 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 5070 0 0 0 6 1 0 0 20 0 18 0 238889258 19384713216 14418 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238889260 19384713216 14418 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238889260 19384713216 14418 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57672 KiB

[startup+0.205838 s]*
/proc/loadavg: 2.08 2.98 3.75 11/335 171825
/proc/meminfo: memFree=128934144/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=18930384 memory=109576 CPUtime=0.32 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 7172 0 0 0 28 4 0 0 20 0 18 0 238889256 19384713216 27394 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4732596 27394 5440 1 0 548051 0
[pid=171750/tid=171765] ppid=171738 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 5286 0 0 0 14 3 0 0 20 0 18 0 238889258 19384713216 27394 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238889260 19384713216 27394 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238889260 19384713216 27394 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109576 KiB

[startup+0.305807 s]*
/proc/loadavg: 2.08 2.98 3.75 11/338 171828
/proc/meminfo: memFree=128719228/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=18996948 memory=163228 CPUtime=0.51 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 8712 0 0 0 45 6 0 0 20 0 19 0 238889256 19452874752 40807 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4749237 40807 5472 1 0 549252 0
[pid=171750/tid=171765] ppid=171738 vsize=18996948 memory=-8887681702585737916 CPUtime=0.25 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 5306 0 0 0 21 4 0 0 20 0 19 0 238889258 19452874752 40807 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238889260 19452874752 40807 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238889260 19452874752 40807 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163228 KiB

[startup+0.700227 s]
/proc/loadavg: 2.08 2.98 3.75 9/338 171828
/proc/meminfo: memFree=128225820/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=512500 CPUtime=1.26 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 12342 0 0 0 113 13 0 0 20 0 20 0 238889256 19521036288 128125 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 128125 5504 1 0 1077451 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=27264 CPUtime=0.53 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 5482 0 0 0 43 10 0 0 20 0 20 0 238889258 19521036288 128125 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 128125 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 128125 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 512500 KiB

[startup+1.50017 s]
/proc/loadavg: 2.08 2.98 3.75 6/339 171829
/proc/meminfo: memFree=126726752/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=520252 CPUtime=2.52 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 15041 0 0 0 238 14 0 0 20 0 20 0 238889256 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 130063 5504 1 0 1079211 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=3328 CPUtime=1.32 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 5493 0 0 0 122 10 0 0 20 0 20 0 238889258 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 520252 KiB

[startup+3.10529 s]
/proc/loadavg: 2.08 2.98 3.75 5/340 171830
/proc/meminfo: memFree=125241296/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=520252 CPUtime=4.14 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 15054 0 0 0 400 14 0 0 20 0 20 0 238889256 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 130063 5504 1 0 1079212 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=10752 CPUtime=2.92 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 5493 0 0 0 282 10 0 0 20 0 20 0 238889258 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 130063 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 520252 KiB

[startup+6.30023 s]
/proc/loadavg: 2.24 3.00 3.75 5/341 171831
/proc/meminfo: memFree=125155492/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=519288 CPUtime=7.52 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 21126 0 0 0 737 15 0 0 20 0 20 0 238889256 19521036288 129822 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 129822 5536 1 0 1079282 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=0 CPUtime=6.1 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 7072 0 0 0 600 10 0 0 20 0 20 0 238889258 19521036288 129822 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 129822 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 129822 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=520252 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 129822 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519288 KiB

[startup+12.7002 s]
/proc/loadavg: 2.38 3.02 3.75 5/342 171832
/proc/meminfo: memFree=125025712/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=515400 CPUtime=13.99 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 23355 0 0 0 1383 16 0 0 20 0 20 0 238889256 19521036288 128850 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 128850 5536 1 0 1079282 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=520252 CPUtime=12.48 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 7534 0 0 0 1238 10 0 0 20 0 20 0 238889258 19521036288 128850 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=515400 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 128850 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 128850 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 128850 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 515400 KiB

[startup+25.5002 s]
/proc/loadavg: 2.71 3.06 3.76 5/342 171832
/proc/meminfo: memFree=124598720/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=611856 CPUtime=26.86 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 26339 0 0 0 2667 19 0 0 20 0 20 0 238889256 19521036288 152964 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 152964 5536 1 0 1079284 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=515400 CPUtime=25.17 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 8594 0 0 0 2507 10 0 0 20 0 20 0 238889258 19521036288 152964 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 152964 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=611856 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 152964 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 152964 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 611856 KiB

[startup+51.1057 s]
/proc/loadavg: 3.28 3.17 3.78 5/343 171834
/proc/meminfo: memFree=124008236/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=740940 CPUtime=52.54 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 27683 0 0 0 5231 23 0 0 20 0 20 0 238889256 19521036288 185235 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 185235 5536 1 0 1079284 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=740940 CPUtime=50.59 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 9155 0 0 0 5048 11 0 0 20 0 20 0 238889258 19521036288 185235 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 185235 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 185235 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 185235 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0

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

/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2153 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3237.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/339 172004
/proc/meminfo: memFree=108819200/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3296.89 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 146060 0 0 0 329432 257 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3258.56 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 67106 0 0 0 325799 57 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2272 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3296.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/340 172013
/proc/meminfo: memFree=108265660/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3357.04 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 149511 0 0 0 335445 259 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=4352 CPUtime=3318.07 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 69169 0 0 0 331749 58 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2314 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3357.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/340 172015
/proc/meminfo: memFree=108208484/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3417.19 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 150117 0 0 0 341459 260 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3377.57 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 69606 0 0 0 337699 58 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2315 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3417.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/339 172017
/proc/meminfo: memFree=108210352/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3477.38 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 153691 0 0 0 347476 262 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=14676 CPUtime=3437.08 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 71857 0 0 0 343649 59 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2384 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3477.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/339 172019
/proc/meminfo: memFree=108210648/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3537.55 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 155376 0 0 0 353492 263 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=14676 CPUtime=3496.58 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 72331 0 0 0 349599 59 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2456 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3537.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/339 172155
/proc/meminfo: memFree=119492788/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3597.79 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 157563 0 0 0 359514 265 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3556.05 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 73249 0 0 0 355545 60 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=14676 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2457 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3597.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.6 s]
/proc/loadavg: 4.20 4.15 4.10 5/339 172155
/proc/meminfo: memFree=119028744/131249996 swapFree=33010672/33010684
[pid=171750] ppid=171738 vsize=19063512 memory=7089168 CPUtime=3600.08 cores=0,2
/proc/171750/stat : 171750 (java) S 171738 171750 171687 0 -1 4194304 157605 0 0 0 359743 265 0 0 20 0 20 0 238889256 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
/proc/171750/statm: 4765878 1772292 5536 1 0 2281630 0
[pid=171750/tid=171765] ppid=171738 vsize=19063512 memory=1821320 CPUtime=3558.34 cores=0,2
/proc/171750/task/171765/stat : 171765 (java) R 171738 171750 171687 0 -1 4194368 73291 0 0 0 355774 60 0 0 20 0 20 0 238889258 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171800] ppid=171738 vsize=19063512 memory=7089168 CPUtime=0 cores=0,2
/proc/171750/task/171800/stat : 171800 (Finalizer) S 171738 171750 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171807] ppid=171738 vsize=19063512 memory=6640 CPUtime=0 cores=0,2
/proc/171750/task/171807/stat : 171807 (Common-Cleaner) S 171738 171750 171687 0 -1 4194368 2457 0 0 0 0 0 0 0 20 0 20 0 238889260 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
[pid=171750/tid=171829] ppid=171738 vsize=19063512 memory=5028 CPUtime=0 cores=0,2
/proc/171750/task/171829/stat : 171829 (Timer-0) S 171738 171750 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238889320 19521036288 1772292 18446744073709551615 94579293024256 94579293027952 140723222210672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579293035768 94579293036560 94579302424576 140723222215039 140723222215140 140723222215140 140723222220744 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7089168 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.56 s, system=2.68273 s

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

[startup+3584.71 s]*
/proc/loadavg: 4.20 4.15 4.10 5/321 172158
/proc/meminfo: memFree=119200784/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3584.72
CPU time (s): 3600.24
CPU user time (s): 3597.56
CPU system time (s): 2.68273
CPU usage (%): 100.433
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 7089168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.68273
maximum resident set size= 7090192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115033
involuntary context switches= 10645


# summary of solver processes directly reported to runsolver:
#   pid: 171750
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3597.56
#   total CPU system time (s): 2.68273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42553 second user time and 17.2368 second system time

The end

Begin job on nodeC024 at 2025-07-23 02:55:14
IDJOB=4543836
IDBENCH=174690
IDSOLVER=3363
FILE ID=nodeC024/4543836-1753232113
RUNJOBID= nodeC024-1753232113-171697
SLURM_JOB_ID= 9687842
Free space on /tmp= 433036 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_10_096.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543836-1753232113/watcher-4543836-1753232113 -o /tmp/evaluation-result-4543836-1753232113/solver-4543836-1753232113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753232113-171697 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543836-1753232113.opb

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

MD5SUM BENCH= 9cd02fcfe8d6fb8da5e5e7c2985c86c8
RANDOM SEED=2005976652

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		: 3597.383
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.677
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		: 3598.812
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		: 3600.046
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.649
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		: 3599.846
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		: 3435.241
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:        129132456 kB
MemAvailable:   129698796 kB
Buffers:            2128 kB
Cached:          1328080 kB
SwapCached:            8 kB
Active:          1196828 kB
Inactive:         200864 kB
Active(anon):      92148 kB
Inactive(anon):     1588 kB
Active(file):    1104680 kB
Inactive(file):   199276 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9080 kB
Writeback:             0 kB
AnonPages:         67516 kB
Mapped:           108764 kB
Shmem:             26248 kB
KReclaimable:     202848 kB
Slab:             299004 kB
SReclaimable:     202848 kB
SUnreclaim:        96156 kB
KernelStack:        4084 kB
PageTables:         2984 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     351332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 433032 MiB
End job on nodeC024 at 2025-07-23 03:54:58

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb
MD5SUM	9cd02fcfe8d6fb8da5e5e7c2985c86c8
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.24052
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	93130
Total number of constraints	1931
Number of constraints which are clauses	971
Number of constraints which are cardinality constraints (but not clauses)	960
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
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	9
Number of bits of the biggest number in a constraint	4
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 4543836

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data