PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j CP 2025-06-06	SAT (TO)	264	3600.37	3580.11

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521636-1751586737/watcher-4521636-1751586737 -o /tmp/evaluation-result-4521636-1751586737/solver-4521636-1751586737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751586737-86399 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4521636-1751586737.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
Starting watchdog thread
solver pid=86448, runsolver pid=86440
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 1.76 2.64 3.47 9/299 86505
/proc/meminfo: memFree=128974684/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=18929456 memory=45756 CPUtime=0.07 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 5208 0 177 0 4 3 0 0 20 0 18 0 74352900 19383762944 11439 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4732364 11439 4528 1 0 546626 0
[pid=86448/tid=86460] ppid=86440 vsize=18929456 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4456512 4442 0 145 0 3 2 0 0 20 0 18 0 74352904 19383762944 11439 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=18929456 memory=14857 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74352910 19383762944 11439 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=18929512 memory=59593594242043 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74352911 19383820288 11439 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18929456 KiB
Current children cumulated memory: 45756 KiB

[startup+0.214939 s]*
/proc/loadavg: 1.76 2.64 3.47 8/321 86527
/proc/meminfo: memFree=128967236/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=18930384 memory=51388 CPUtime=0.24 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 5930 0 177 0 20 4 0 0 20 0 18 0 74352900 19384713216 12847 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4732596 12847 5296 1 0 547210 0
[pid=86448/tid=86460] ppid=86440 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 4837 0 145 0 13 2 0 0 20 0 18 0 74352904 19384713216 12847 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=18930384 memory=14857 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74352910 19384713216 12847 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=18930384 memory=59593594242043 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74352911 19384713216 12847 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51388 KiB

[startup+0.313975 s]*
/proc/loadavg: 1.76 2.64 3.47 12/321 86527
/proc/meminfo: memFree=128944056/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=18930384 memory=57472 CPUtime=0.41 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 6423 0 177 0 36 5 0 0 20 0 18 0 74352900 19384713216 14368 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4732596 14368 5296 1 0 547661 0
[pid=86448/tid=86460] ppid=86440 vsize=18930384 memory=-6000919494198191719 CPUtime=0.24 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 5007 0 145 0 21 3 0 0 20 0 18 0 74352904 19384713216 14368 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74352910 19384713216 14368 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74352911 19384713216 14368 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57472 KiB

[startup+0.700403 s]
/proc/loadavg: 1.76 2.64 3.47 11/321 86527
/proc/meminfo: memFree=128935864/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=18996948 memory=64624 CPUtime=1.1 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 7077 0 177 0 103 7 0 0 20 0 19 0 74352900 19452874752 16156 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4749237 16156 5424 1 0 548486 0
[pid=86448/tid=86460] ppid=86440 vsize=18996948 memory=18560 CPUtime=0.53 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 5381 0 145 0 49 4 0 0 20 0 19 0 74352904 19452874752 16156 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74352910 19452874752 16156 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74352911 19452874752 16156 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64624 KiB

[startup+1.5003 s]
/proc/loadavg: 1.76 2.64 3.47 9/325 86531
/proc/meminfo: memFree=128851176/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=18996948 memory=146296 CPUtime=2.67 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 14009 0 177 0 255 12 0 0 20 0 19 0 74352900 19452874752 36574 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4749237 36574 5424 1 0 551917 0
[pid=86448/tid=86460] ppid=86440 vsize=18996948 memory=3200 CPUtime=1.25 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 5766 0 145 0 118 7 0 0 20 0 19 0 74352904 19452874752 36574 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74352910 19452874752 36574 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74352911 19452874752 36574 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=18996948 memory=14080 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74352963 19452874752 36574 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146296 KiB

[startup+3.10566 s]
/proc/loadavg: 1.76 2.64 3.47 7/329 86535
/proc/meminfo: memFree=128379192/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=375352 CPUtime=5.69 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 17693 0 177 0 551 18 0 0 20 0 20 0 74352900 19521036288 93838 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 93838 5456 1 0 1066532 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=14080 CPUtime=2.66 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 6138 0 145 0 254 12 0 0 20 0 20 0 74352904 19521036288 93838 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 93838 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 93838 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 93838 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 375352 KiB

[startup+6.30042 s]
/proc/loadavg: 2.10 2.69 3.48 7/329 86535
/proc/meminfo: memFree=127612960/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=767556 CPUtime=9.48 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 18005 0 177 0 921 27 0 0 20 0 20 0 74352900 19521036288 191889 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 191889 5456 1 0 1066545 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=0 CPUtime=5.74 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 6320 0 145 0 556 18 0 0 20 0 20 0 74352904 19521036288 191889 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 191889 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 191889 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=173432 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 191889 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 767556 KiB

[startup+12.7004 s]
/proc/loadavg: 2.25 2.71 3.49 8/329 86535
/proc/meminfo: memFree=124874896/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=1949096 CPUtime=16.12 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 22809 0 177 0 1560 52 0 0 20 0 20 0 74352900 19521036288 487274 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 487274 5456 1 0 1066551 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=173432 CPUtime=11.87 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 7261 0 145 0 1148 39 0 0 20 0 20 0 74352904 19521036288 487274 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=1889872 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 487274 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 487274 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 487274 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1949096 KiB

[startup+25.5005 s]
/proc/loadavg: 2.86 2.83 3.51 5/329 86535
/proc/meminfo: memFree=121249672/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=2512764 CPUtime=29.1 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 26107 0 177 0 2845 65 0 0 20 0 20 0 74352900 19521036288 628191 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 628191 5456 1 0 1066555 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=1889872 CPUtime=24.4 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 9187 0 145 0 2391 49 0 0 20 0 20 0 74352904 19521036288 628191 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 628191 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 628191 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=2512764 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 628191 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2512764 KiB

[startup+51.1191 s]
/proc/loadavg: 3.53 2.99 3.55 6/329 86536
/proc/meminfo: memFree=118445032/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=2705964 CPUtime=57.61 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 42173 0 177 0 5686 75 0 0 20 0 20 0 74352900 19521036288 676491 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 676491 5456 1 0 1072487 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=2723304 CPUtime=49.62 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 12604 0 145 0 4910 52 0 0 20 0 20 0 74352904 19521036288 676491 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=1949096 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 676491 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 676491 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=2678972 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=106523280/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3243.37 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 212162 0 177 0 323920 417 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=14080 CPUtime=3177.59 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 104431 0 145 0 317618 141 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1566 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3243.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.65 4.82 6/324 86971
/proc/meminfo: memFree=105863460/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3303.2 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 215613 0 177 0 329901 419 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=18560 CPUtime=3237.35 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 106135 0 145 0 323594 141 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1583 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3303.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.59 4.79 5/326 86975
/proc/meminfo: memFree=105076432/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3363.05 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 217880 0 177 0 335882 423 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=14080 CPUtime=3297.13 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 107925 0 145 0 329571 142 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=-4050210904893734797 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1606 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3363.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.55 4.76 5/326 86979
/proc/meminfo: memFree=104575956/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3422.88 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 220530 0 177 0 341862 426 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3356.9 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 110020 0 145 0 335548 142 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1632 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3422.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.52 4.73 5/326 86981
/proc/meminfo: memFree=104094716/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3482.71 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 223042 0 177 0 347842 429 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3416.68 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 111964 0 145 0 341525 143 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1648 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3482.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.53 4.72 5/326 86983
/proc/meminfo: memFree=102630492/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3542.55 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 226012 0 177 0 353823 432 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3476.44 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 114353 0 145 0 347501 143 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=6713928 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3542.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.9 s]
/proc/loadavg: 4.26 4.46 4.68 5/326 86985
/proc/meminfo: memFree=102223996/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19063512 memory=6713928 CPUtime=3600 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 227223 0 177 0 359565 435 0 0 20 0 20 0 74352900 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4765878 1678482 5488 1 0 1703984 0
[pid=86448/tid=86460] ppid=86440 vsize=19063512 memory=-6000919507083093607 CPUtime=3533.84 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 115489 0 145 0 353240 144 0 0 20 0 20 0 74352904 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74352910 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 20 0 74352911 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86528] ppid=86440 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/86448/task/86528/stat : 86528 (Timer-0) S 86440 86448 86389 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74352963 19521036288 1678482 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713928 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.99 s, system=4.38139 s

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

[startup+3580.01 s]*
/proc/loadavg: 4.26 4.46 4.68 9/327 86988
/proc/meminfo: memFree=102211708/131382116 swapFree=33009904/33010684
[pid=86448] ppid=86440 vsize=19263204 memory=6714568 CPUtime=3600.21 cores=0,2
/proc/86448/stat : 86448 (java) S 86440 86448 86389 0 -1 4194304 229376 0 177 0 359586 435 0 0 20 0 21 0 74352900 19725520896 1678642 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
/proc/86448/statm: 4815801 1678642 5488 1 0 1704887 0
[pid=86448/tid=86460] ppid=86440 vsize=19263204 memory=-6000919507082765927 CPUtime=3533.96 cores=0,2
/proc/86448/task/86460/stat : 86460 (java) R 86440 86448 86389 0 -1 4194368 115489 0 145 0 353252 144 0 0 20 0 21 0 74352904 19725520896 1678642 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86494] ppid=86440 vsize=19263204 memory=-4050210904893603725 CPUtime=0 cores=0,2
/proc/86448/task/86494/stat : 86494 (Finalizer) S 86440 86448 86389 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 74352910 19725520896 1678642 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86521] ppid=86440 vsize=19263204 memory=6016 CPUtime=0 cores=0,2
/proc/86448/task/86521/stat : 86521 (Common-Cleaner) S 86440 86448 86389 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 21 0 74352911 19725520896 1678642 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
[pid=86448/tid=86987] ppid=86440 vsize=19263204 memory=12544 CPUtime=0.02 cores=0,2
/proc/86448/task/86987/stat : 86987 (Thread-0) R 86440 86448 86389 0 -1 4194368 498 0 0 0 2 0 0 0 20 0 21 0 74710892 19725520896 1678642 18446744073709551615 94438472167424 94438472171120 140725000421984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94438472178936 94438472179728 94438492311552 140725000423806 140725000423910 140725000423910 140725000429512 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6714568 KiB

Child status: 143

Real time (s): 3580.11
CPU time (s): 3600.37
CPU user time (s): 3595.99
CPU system time (s): 4.38139
CPU usage (%): 100.566
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6714568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.99
system time used= 4.38139
maximum resident set size= 6714824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230415
page faults= 177
swaps= 0
block input operations= 0
block output operations= 6008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144436
involuntary context switches= 14529


# summary of solver processes directly reported to runsolver:
#   pid: 86448
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3595.99
#   total CPU system time (s): 4.38139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8526 second user time and 38.056 second system time

The end

Begin job on nodeC004 at 2025-07-04 01:52:17
IDJOB=4521636
IDBENCH=178397
IDSOLVER=3361
FILE ID=nodeC004/4521636-1751586737
RUNJOBID= nodeC004-1751586737-86399
SLURM_JOB_ID= 9598837
Free space on /tmp= 431680 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521636-1751586737/watcher-4521636-1751586737 -o /tmp/evaluation-result-4521636-1751586737/solver-4521636-1751586737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751586737-86399 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4521636-1751586737.opb

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

MD5SUM BENCH= 8e50416028301376aa06deda864f0965
RANDOM SEED=1202000059

nodeC004 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.212
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.74
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		: 1197.099
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.74
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		: 1197.437
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.74
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.208
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.74
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		: 1197.303
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.74
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		: 1197.189
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.74
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.215
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.74
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.696
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129018652 kB
MemAvailable:   129826456 kB
Buffers:            2128 kB
Cached:          1557004 kB
SwapCached:           32 kB
Active:           663772 kB
Inactive:         962992 kB
Active(anon):      74836 kB
Inactive(anon):    10736 kB
Active(file):     588936 kB
Inactive(file):   952256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1756 kB
Writeback:             0 kB
AnonPages:         70456 kB
Mapped:           103652 kB
Shmem:             17932 kB
KReclaimable:     212480 kB
Slab:             299664 kB
SReclaimable:     212480 kB
SUnreclaim:        87184 kB
KernelStack:        3920 kB
PageTables:         2936 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431548 MiB
End job on nodeC004 at 2025-07-04 02:51:58

Name	PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
MD5SUM	8e50416028301376aa06deda864f0965
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	264
Best CPU time to get the best result obtained on this benchmark	0.021602
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	506
Total number of constraints	1012
Number of constraints which are clauses	1012
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Number of terms in the objective function	506
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	506
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	506
Number of bits of the biggest sum of numbers	9
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 4521636

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data