PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution 2025-06-06	? (TO)	3600.19	3583.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: 63708 MiB (62689 MiB free)
  memory of node 1: 64465 MiB (58420 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543758-1753231311/watcher-4543758-1753231311 -o /tmp/evaluation-result-4543758-1753231311/solver-4543758-1753231311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216815 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543758-1753231311.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=217895, runsolver pid=217892
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.27 4.14 4.10 7/338 217913
/proc/meminfo: memFree=123973312/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=18930384 memory=57648 CPUtime=0.12 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 6566 0 0 0 10 2 0 0 20 0 18 0 238809890 19384713216 14412 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4732596 14412 5330 1 0 547604 0
[pid=217895/tid=217897] ppid=217892 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5072 0 0 0 6 2 0 0 20 0 18 0 238809891 19384713216 14412 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238809893 19384713216 14412 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=18930384 memory=57385981077077 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238809894 19384713216 14412 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57648 KiB

[startup+0.205688 s]*
/proc/loadavg: 4.27 4.14 4.10 7/338 217913
/proc/meminfo: memFree=123943020/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=18931448 memory=93576 CPUtime=0.32 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 7952 0 0 0 29 3 0 0 20 0 18 0 238809890 19385802752 23394 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4732862 23394 5426 1 0 548701 0
[pid=217895/tid=217897] ppid=217892 vsize=18931448 memory=4027056412 CPUtime=0.16 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5291 0 0 0 14 2 0 0 20 0 18 0 238809891 19385802752 23394 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=18931448 memory=17913 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238809893 19385802752 23394 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=18931448 memory=56286469424100 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238809894 19385802752 23426 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18931448 KiB
Current children cumulated memory: 93576 KiB

[startup+0.30568 s]*
/proc/loadavg: 4.27 4.14 4.10 8/339 217914
/proc/meminfo: memFree=123874964/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=18996948 memory=158760 CPUtime=0.51 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 8623 0 0 0 46 5 0 0 20 0 19 0 238809890 19452874752 39690 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4749237 39690 5458 1 0 549179 0
[pid=217895/tid=217897] ppid=217892 vsize=18996948 memory=-9030951340550628028 CPUtime=0.24 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5320 0 0 0 21 3 0 0 20 0 19 0 238809891 19452874752 39690 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238809893 19452874752 39690 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238809894 19452874752 39690 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158760 KiB

[startup+0.700235 s]
/proc/loadavg: 4.27 4.14 4.10 6/339 217914
/proc/meminfo: memFree=123600532/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=18996948 memory=947960 CPUtime=1.26 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 11056 0 0 0 105 21 0 0 20 0 19 0 238809890 19452874752 236990 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4749237 236990 5522 1 0 1082594 0
[pid=217895/tid=217897] ppid=217892 vsize=18996948 memory=22272 CPUtime=0.58 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5694 0 0 0 40 18 0 0 20 0 19 0 238809891 19452874752 236990 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238809893 19452874752 236990 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238809894 19452874752 236990 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 947960 KiB

[startup+1.50018 s]
/proc/loadavg: 4.27 4.14 4.10 6/340 217915
/proc/meminfo: memFree=123081020/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=959896 CPUtime=2.5 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 11484 0 0 0 229 21 0 0 20 0 20 0 238809890 19521036288 239974 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 239974 5522 1 0 1083115 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=3200 CPUtime=1.35 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5730 0 0 0 117 18 0 0 20 0 20 0 238809891 19521036288 239974 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 239974 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 239974 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 239974 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 959896 KiB

[startup+3.10558 s]
/proc/loadavg: 4.27 4.14 4.10 5/340 217915
/proc/meminfo: memFree=123036000/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=976280 CPUtime=4.13 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 11513 0 0 0 391 22 0 0 20 0 20 0 238809890 19521036288 244070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 244070 5522 1 0 1083117 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=14692 CPUtime=2.95 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5743 0 0 0 277 18 0 0 20 0 20 0 238809891 19521036288 244070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 244070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 244070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 244070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 976280 KiB

[startup+6.30021 s]
/proc/loadavg: 4.24 4.14 4.10 5/319 217958
/proc/meminfo: memFree=125066384/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=1015984 CPUtime=7.49 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 13754 0 0 0 724 25 0 0 20 0 20 0 238809890 19521036288 253996 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 253996 5522 1 0 1084304 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 5899 0 0 0 591 21 0 0 20 0 20 0 238809891 19521036288 253996 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 253996 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 253996 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=959896 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 253996 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1015984 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.14 4.10 6/340 217982
/proc/meminfo: memFree=121467816/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=1075528 CPUtime=13.95 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 16716 0 0 0 1368 27 0 0 20 0 20 0 238809890 19521036288 268882 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 268882 5522 1 0 1084304 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=959896 CPUtime=12.5 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 6574 0 0 0 1228 22 0 0 20 0 20 0 238809891 19521036288 268882 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 268882 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=1065288 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 268882 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 268882 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 13.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1075528 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.15 4.10 5/340 217983
/proc/meminfo: memFree=121024976/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=1253804 CPUtime=26.82 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 19752 0 0 0 2651 31 0 0 20 0 20 0 238809890 19521036288 313451 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 313451 5522 1 0 1084312 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=-9030951340550628028 CPUtime=25.18 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 7426 0 0 0 2494 24 0 0 20 0 20 0 238809891 19521036288 313451 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=959896 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 313451 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=1015984 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 313451 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=1253804 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 313451 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1253804 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.13 4.10 5/340 217983
/proc/meminfo: memFree=120373208/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=1440280 CPUtime=52.53 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 23088 0 0 0 5218 35 0 0 20 0 20 0 238809890 19521036288 360070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 360070 5522 1 0 1084314 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=1440280 CPUtime=50.58 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 8525 0 0 0 5034 24 0 0 20 0 20 0 238809891 19521036288 360070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=1440280 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 360070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=1077576 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 360070 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0

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

/proc/meminfo: memFree=106369704/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3238.29 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 158489 0 0 0 323565 264 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=10240 CPUtime=3198.42 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 74678 0 0 0 319793 49 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=7238564 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1474 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3238.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/341 218160
/proc/meminfo: memFree=106369480/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3298.15 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 161378 0 0 0 329549 266 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=22272 CPUtime=3258.26 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 77442 0 0 0 325777 49 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1518 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3298.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/340 218162
/proc/meminfo: memFree=106369804/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3358.37 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 164786 0 0 0 335568 269 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=-5155633680935826750 CPUtime=3317.76 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 79215 0 0 0 331726 50 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1529 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3358.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/340 218164
/proc/meminfo: memFree=106368916/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3418.49 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 168989 0 0 0 341578 271 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=-5155633680935826750 CPUtime=3377.35 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 82078 0 0 0 337685 50 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1529 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3418.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/341 218166
/proc/meminfo: memFree=106368804/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3478.34 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 171996 0 0 0 347562 272 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=-5155633680935826750 CPUtime=3437.18 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 84966 0 0 0 343668 50 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=-4421386496197813094 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1573 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3478.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/341 218168
/proc/meminfo: memFree=106370056/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3538.56 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 175081 0 0 0 353581 275 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3496.67 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 86415 0 0 0 349616 51 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3538.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/341 218170
/proc/meminfo: memFree=106369436/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3598.75 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 179170 0 0 0 359598 277 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3556.19 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 88908 0 0 0 355568 51 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=-9030951340550628028 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=7818596 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3598.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3583.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/341 218170
/proc/meminfo: memFree=106369436/131249992 swapFree=33003724/33010684
[pid=217895] ppid=217892 vsize=19063512 memory=7818596 CPUtime=3600.05 cores=0,2
/proc/217895/stat : 217895 (java) S 217892 217895 216805 0 -1 4194304 179285 0 0 0 359728 277 0 0 20 0 20 0 238809890 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
/proc/217895/statm: 4765878 1954649 5522 1 0 2596532 0
[pid=217895/tid=217897] ppid=217892 vsize=19063512 memory=5148 CPUtime=3557.49 cores=0,2
/proc/217895/task/217897/stat : 217897 (java) R 217892 217895 216805 0 -1 4194368 89020 0 0 0 355698 51 0 0 20 0 20 0 238809891 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217906] ppid=217892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/217895/task/217906/stat : 217906 (Finalizer) S 217892 217895 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809893 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217913] ppid=217892 vsize=19063512 memory=-9030951340550628028 CPUtime=0 cores=0,2
/proc/217895/task/217913/stat : 217913 (Common-Cleaner) S 217892 217895 216805 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 238809894 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
[pid=217895/tid=217915] ppid=217892 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/217895/task/217915/stat : 217915 (Timer-0) S 217892 217895 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809962 19521036288 1954649 18446744073709551615 93900878237696 93900878241392 140727938957952 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93900878249208 93900878250000 93900900696064 140727938963839 140727938963940 140727938963940 140727938969544 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7818596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.39 s, system=2.79653 s

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

Child status: 143

Real time (s): 3583.72
CPU time (s): 3600.19
CPU user time (s): 3597.39
CPU system time (s): 2.79653
CPU usage (%): 100.459
Max. virtual memory (cumulated for all children) (KiB): 19065208
Max. memory (cumulated for all children) (KiB): 7818596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.39
system time used= 2.79652
maximum resident set size= 7819620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114870
involuntary context switches= 6816


# summary of solver processes directly reported to runsolver:
#   pid: 217895
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3597.39
#   total CPU system time (s): 2.79653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61842 second user time and 17.2784 second system time

The end

Begin job on nodeC025 at 2025-07-23 02:41:51
IDJOB=4543758
IDBENCH=174609
IDSOLVER=3363
FILE ID=nodeC025/4543758-1753231311
RUNJOBID= nodeC025-1753224118-216815
SLURM_JOB_ID= 9687832
Free space on /tmp= 431852 MiB

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

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

MD5SUM BENCH= 24c7738c3c83b878554c33cfdaf58c44
RANDOM SEED=1178444939

nodeC025 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		: 3585.875
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.67
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.839
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.67
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.816
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.838
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.67
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		: 3480.490
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.67
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.829
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.67
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.829
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.67
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		: 3599.890
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124016320 kB
MemAvailable:   124233596 kB
Buffers:            2128 kB
Cached:           960976 kB
SwapCached:         2132 kB
Active:          6209288 kB
Inactive:         306316 kB
Active(anon):    5546488 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   278704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9856 kB
Writeback:             0 kB
AnonPages:       5553812 kB
Mapped:           123252 kB
Shmem:             21600 kB
KReclaimable:     230024 kB
Slab:             327536 kB
SReclaimable:     230024 kB
SUnreclaim:        97512 kB
KernelStack:        5168 kB
PageTables:        14596 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14099436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5345280 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431844 MiB
End job on nodeC025 at 2025-07-23 03:41:35

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb
MD5SUM	24c7738c3c83b878554c33cfdaf58c44
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.47269
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	109662
Total number of constraints	2479
Number of constraints which are clauses	1247
Number of constraints which are cardinality constraints (but not clauses)	1232
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	14
Maximum length of a constraint	89
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	13
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	90
Number of bits of the biggest sum of numbers	7
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4543758

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data