PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j CP VeriPB 2025-06-06	? (TO)	3581.7	3700.2

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: 63837 MiB (61042 MiB free)
  memory of node 1: 64465 MiB (57382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502161-1751166176/watcher-4502161-1751166176 -o /tmp/evaluation-result-4502161-1751166176/solver-4502161-1751166176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751158906-15560 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502161-1751166176 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4502161-1751166176.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17799, runsolver pid=17796

[startup+0.100067 s]*
/proc/loadavg: 4.34 4.25 4.20 6/329 17817
/proc/meminfo: memFree=121244544/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18930384 memory=48176 CPUtime=0.11 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 5779 0 0 0 9 2 0 0 20 0 18 0 32296459 19384713216 12044 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4732596 12044 5304 1 0 546995 0
[pid=17799/tid=17801] ppid=17796 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 4640 0 0 0 5 1 0 0 20 0 18 0 32296461 19384713216 12044 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32296465 19384713216 12044 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18930384 memory=55195547748946 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32296466 19384713216 12076 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48176 KiB

[startup+0.210933 s]*
/proc/loadavg: 4.34 4.25 4.20 6/329 17817
/proc/meminfo: memFree=121243664/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18930384 memory=55284 CPUtime=0.27 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 6467 0 0 0 23 4 0 0 20 0 18 0 32296459 19384713216 13821 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4732596 13821 5336 1 0 547548 0
[pid=17799/tid=17801] ppid=17796 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 5002 0 0 0 14 2 0 0 20 0 18 0 32296461 19384713216 13821 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32296465 19384713216 13821 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32296466 19384713216 13821 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55284 KiB

[startup+0.310774 s]*
/proc/loadavg: 4.34 4.25 4.20 6/329 17817
/proc/meminfo: memFree=121242704/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18930384 memory=58948 CPUtime=0.44 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 6824 0 0 0 40 4 0 0 20 0 18 0 32296459 19384713216 14737 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4732596 14737 5400 1 0 547840 0
[pid=17799/tid=17801] ppid=17796 vsize=18930384 memory=-6000919481229206894 CPUtime=0.24 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 5246 0 0 0 22 2 0 0 20 0 18 0 32296461 19384713216 14737 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32296465 19384713216 14737 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32296466 19384713216 14737 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58948 KiB

[startup+0.700355 s]
/proc/loadavg: 4.34 4.25 4.20 6/330 17818
/proc/meminfo: memFree=121149568/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18996948 memory=280084 CPUtime=1.08 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 7354 0 0 0 98 10 0 0 20 0 19 0 32296459 19452874752 70021 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4749237 70021 5464 1 0 548285 0
[pid=17799/tid=17801] ppid=17796 vsize=18996948 memory=17024 CPUtime=0.56 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 5488 0 0 0 49 7 0 0 20 0 19 0 32296461 19452874752 70021 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32296465 19452874752 70021 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32296466 19452874752 70021 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 280084 KiB

[startup+1.50027 s]
/proc/loadavg: 4.34 4.25 4.20 5/330 17818
/proc/meminfo: memFree=120225512/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18996948 memory=1303784 CPUtime=2.61 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 19434 0 0 0 227 34 0 0 20 0 19 0 32296459 19452874752 325946 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4749237 325946 5464 1 0 554074 0
[pid=17799/tid=17801] ppid=17796 vsize=18996948 memory=3200 CPUtime=1.34 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 6014 0 0 0 107 27 0 0 20 0 19 0 32296461 19452874752 325946 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32296465 19452874752 325946 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32296466 19452874752 325946 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1303784 KiB

[startup+3.10583 s]
/proc/loadavg: 4.34 4.25 4.20 6/330 17818
/proc/meminfo: memFree=117991816/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18996948 memory=3381844 CPUtime=5.36 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 23239 0 0 0 462 74 0 0 20 0 19 0 32296459 19452874752 845461 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4749237 845461 5464 1 0 1081267 0
[pid=17799/tid=17801] ppid=17796 vsize=18996948 memory=11264 CPUtime=2.89 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 7049 0 0 0 223 66 0 0 20 0 19 0 32296461 19452874752 845461 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32296465 19452874752 845461 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18996948 memory=5504 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32296466 19452874752 845461 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3381844 KiB

[startup+6.3004 s]
/proc/loadavg: 4.39 4.26 4.21 5/330 17818
/proc/meminfo: memFree=117926556/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18996948 memory=3380960 CPUtime=9.49 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 25603 0 0 0 873 76 0 0 20 0 19 0 32296459 19452874752 845240 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4749237 845240 5464 1 0 1082284 0
[pid=17799/tid=17801] ppid=17796 vsize=18996948 memory=5504 CPUtime=5.98 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 7268 0 0 0 531 67 0 0 20 0 19 0 32296461 19452874752 845240 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32296465 19452874752 845240 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18996948 memory=-6000919481229206894 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32296466 19452874752 845240 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3380960 KiB

[startup+12.7004 s]
/proc/loadavg: 4.36 4.25 4.20 5/330 17818
/proc/meminfo: memFree=117889444/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=18996948 memory=3387708 CPUtime=16.69 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 26621 0 0 0 1591 78 0 0 20 0 19 0 32296459 19452874752 846927 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4749237 846927 5464 1 0 1082300 0
[pid=17799/tid=17801] ppid=17796 vsize=18996948 memory=3380960 CPUtime=12.08 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 8111 0 0 0 1141 67 0 0 20 0 19 0 32296461 19452874752 846927 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=18996948 memory=17024 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32296465 19452874752 846927 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=18996948 memory=14464 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32296466 19452874752 846927 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 16.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3387708 KiB

[startup+25.5005 s]
/proc/loadavg: 4.53 4.30 4.22 5/307 17988
/proc/meminfo: memFree=120014080/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=3396208 CPUtime=36.29 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 43364 0 0 0 3538 91 0 0 20 0 20 0 32296459 19521036288 849052 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 849052 5464 1 0 1083609 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=3401608 CPUtime=24.34 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 11482 0 0 0 2360 74 0 0 20 0 20 0 32296461 19521036288 849052 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=3401608 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 849052 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 849052 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 849052 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 36.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3396208 KiB

[startup+51.114 s]
/proc/loadavg: 4.56 4.33 4.23 5/333 18085
/proc/meminfo: memFree=117621160/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4011736 CPUtime=62.99 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 56497 0 0 0 6180 119 0 0 20 0 20 0 32296459 19521036288 1002934 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1002934 5496 1 0 1229931 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=3396208 CPUtime=49.13 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 14657 0 0 0 4815 98 0 0 20 0 20 0 32296461 19521036288 1002934 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1002934 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 82 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1002934 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=-6000919481229206894 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1002934 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 62.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4011736 KiB

[startup+102.3 s]
/proc/loadavg: 4.54 4.36 4.25 5/333 18088

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

[startup+3342.3 s]
/proc/loadavg: 4.31 4.26 4.23 5/332 18388
/proc/meminfo: memFree=101021784/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3216.82 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 241378 0 0 0 320512 1170 0 0 20 0 20 0 32296459 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1220186 5496 1 0 1233618 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3051.53 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 114590 0 0 0 304239 914 0 0 20 0 20 0 32296461 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2486 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3216.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4880744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.24 4.22 5/331 18390
/proc/meminfo: memFree=100890964/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3278.53 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 242447 0 0 0 326670 1183 0 0 20 0 20 0 32296459 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1220186 5496 1 0 1233618 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3109.98 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 114681 0 0 0 310075 923 0 0 20 0 20 0 32296461 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=4880744 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2533 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=17024 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3278.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4880744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.22 4.22 5/331 18394
/proc/meminfo: memFree=100733300/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3339.01 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 244728 0 0 0 332701 1200 0 0 20 0 20 0 32296459 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1220186 5496 1 0 1233618 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3166.98 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 116243 0 0 0 315762 936 0 0 20 0 20 0 32296461 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=4880744 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2533 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3339.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4880744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.27 4.23 5/331 18411
/proc/meminfo: memFree=100592536/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3400.32 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 250506 0 0 0 338812 1220 0 0 20 0 20 0 32296459 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1220186 5496 1 0 1233618 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=17024 CPUtime=3225.18 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 118755 0 0 0 321568 950 0 0 20 0 20 0 32296461 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=4880744 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2630 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3400.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4880744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.27 4.23 5/331 18414
/proc/meminfo: memFree=100480012/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3460.92 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 254110 0 0 0 344854 1238 0 0 20 0 20 0 32296459 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1220186 5496 1 0 1233618 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3284.17 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 121067 0 0 0 327453 964 0 0 20 0 20 0 32296461 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=4880744 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2725 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=4880744 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3460.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4880744 KiB

[startup+3642.3 s]
/proc/loadavg: 3.66 4.11 4.18 4/305 18449
/proc/meminfo: memFree=109303132/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3522.07 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 255428 0 0 0 350955 1252 0 0 20 0 20 0 32296459 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4765878 1220186 5496 1 0 1233618 0
[pid=17799/tid=17801] ppid=17796 vsize=19063512 memory=4880744 CPUtime=3342.95 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 121634 0 0 0 333321 974 0 0 20 0 20 0 32296461 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19063512 memory=4880744 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32296465 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2725 0 0 0 0 0 0 0 20 0 20 0 32296466 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19063512 memory=6784 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32297964 19521036288 1220186 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3522.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4880744 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.53 3.98 4.13 4/306 18452
/proc/meminfo: memFree=110314736/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19130076 memory=3738748 CPUtime=3581.42 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 262069 0 0 0 356869 1273 0 0 20 0 21 0 32296459 19589197824 934687 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4782519 934687 5496 1 0 947851 0
[pid=17799/tid=17801] ppid=17796 vsize=19130076 memory=-6000919485658719342 CPUtime=3397.09 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) R 17796 17799 15550 0 -1 4194368 124618 0 0 0 338720 989 0 0 20 0 21 0 32296461 19589197824 934687 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19130076 memory=6452091030328993850 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32296465 19589197824 934687 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19130076 memory=6784 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2779 0 0 0 0 0 0 0 20 0 21 0 32296466 19589197824 934687 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17819] ppid=17796 vsize=19130076 memory=4880872 CPUtime=0 cores=0,2
/proc/17799/task/17819/stat : 17819 (Timer-0) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32297964 19589197824 934687 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3581.42 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3738748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3568.93 s, system=12.7648 s

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

[startup+3700.12 s]
/proc/loadavg: 3.53 3.98 4.13 4/306 18452
/proc/meminfo: memFree=110314736/131382120 swapFree=33010684/33010684
[pid=17799] ppid=17796 vsize=19329768 memory=3739516 CPUtime=3581.6 cores=0,2
/proc/17799/stat : 17799 (java) S 17796 17799 15550 0 -1 4194304 263656 0 0 0 356886 1274 0 0 20 0 22 0 32296459 19793682432 934879 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
/proc/17799/statm: 4832442 934879 5528 1 0 948770 0
[pid=17799/tid=17801] ppid=17796 vsize=19329768 memory=4880744 CPUtime=3397.15 cores=0,2
/proc/17799/task/17801/stat : 17801 (java) S 17796 17799 15550 0 -1 4194368 124875 0 0 0 338725 990 0 0 20 0 22 0 32296461 19793682432 934879 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17810] ppid=17796 vsize=19329768 memory=3738748 CPUtime=0 cores=0,2
/proc/17799/task/17810/stat : 17810 (Finalizer) S 17796 17799 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 32296465 19793682432 934879 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
[pid=17799/tid=17817] ppid=17796 vsize=19329768 memory=4880872 CPUtime=0 cores=0,2
/proc/17799/task/17817/stat : 17817 (Common-Cleaner) S 17796 17799 15550 0 -1 4194368 2779 0 0 0 0 0 0 0 20 0 22 0 32296466 19793682432 934879 18446744073709551615 94524095238144 94524095241840 140727831648288 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94524095249656 94524095250448 94524101525504 140727831656749 140727831656934 140727831656934 140727831662536 0
Current children cumulated CPU time: 3581.6 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 3739516 KiB

Child status: 143

Real time (s): 3700.2
CPU time (s): 3581.7
CPU user time (s): 3568.93
CPU system time (s): 12.7648
CPU usage (%): 96.7975
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 4880872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.93
system time used= 12.7648
maximum resident set size= 4880872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10556104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138200
involuntary context switches= 17773


# summary of solver processes directly reported to runsolver:
#   pid: 17799
#   total CPU time (s): 3581.7
#   total CPU user time (s): 3568.93
#   total CPU system time (s): 12.7648

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.6205 second user time and 33.049 second system time

The end

Begin job on nodeC002 at 2025-06-29 05:02:57
IDJOB=4502161
IDBENCH=154773
IDSOLVER=3362
FILE ID=nodeC002/4502161-1751166176
RUNJOBID= nodeC002-1751158906-15560
SLURM_JOB_ID= 9587497
Free space on /tmp= 433048 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502161-1751166176/watcher-4502161-1751166176 -o /tmp/evaluation-result-4502161-1751166176/solver-4502161-1751166176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751158906-15560 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502161-1751166176 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4502161-1751166176.opb

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

MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=2084217862

nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.347
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3592.485
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.295
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.402
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.916
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3585.113
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.325
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.337
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        121266672 kB
MemAvailable:   121328864 kB
Buffers:            3280 kB
Cached:           873888 kB
SwapCached:            0 kB
Active:          8868824 kB
Inactive:         641696 kB
Active(anon):    8651420 kB
Inactive(anon):        0 kB
Active(file):     217404 kB
Inactive(file):   641696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15236 kB
Writeback:            24 kB
AnonPages:       8636852 kB
Mapped:           122196 kB
Shmem:             17960 kB
KReclaimable:      85436 kB
Slab:             167356 kB
SReclaimable:      85436 kB
SUnreclaim:        81920 kB
KernelStack:        5040 kB
PageTables:        20580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   10801040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8378368 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-06-29 06:04:37

Name	PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb
MD5SUM	f7b2b496c30aa17fcbe59599d08153aa
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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	49368
Total number of constraints	158090
Number of constraints which are clauses	157278
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	812
Minimum length of a constraint	1
Maximum length of a constraint	93
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	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	546
Number of bits of the biggest sum of numbers	10
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 4502161

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data