PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j Resolution VeriPB 2025-06-06	? (TO)		3600.21	3648.72

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62360 MiB free)
  memory of node 1: 64507 MiB (63736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522513-1751647261/watcher-4522513-1751647261 -o /tmp/evaluation-result-4522513-1751647261/solver-4522513-1751647261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751647260-92976 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522513-1751647261 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522513-1751647261.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=93030, runsolver pid=93026

[startup+0.100061 s]*
/proc/loadavg: 3.26 3.13 3.14 8/302 93063
/proc/meminfo: memFree=129087616/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18930384 memory=53320 CPUtime=0.11 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 6487 0 0 0 9 2 0 0 20 0 18 0 80405958 19384713216 13330 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4732596 13330 5345 1 0 547569 0
[pid=93030/tid=93032] ppid=93026 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 4993 0 0 0 6 1 0 0 20 0 18 0 80405960 19384713216 13330 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18930384 memory=18954 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80405962 19384713216 13330 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 80405962 19384713216 13330 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53320 KiB

[startup+0.205693 s]*
/proc/loadavg: 3.26 3.13 3.14 10/312 93075
/proc/meminfo: memFree=128915476/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18930384 memory=119120 CPUtime=0.3 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 7033 0 0 0 27 3 0 0 20 0 18 0 80405958 19384713216 29780 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4732596 29780 5409 1 0 547906 0
[pid=93030/tid=93032] ppid=93026 vsize=18930384 memory=4026832667 CPUtime=0.16 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 5303 0 0 0 14 2 0 0 20 0 18 0 80405960 19384713216 29780 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18930384 memory=219932787024 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80405962 19384713216 29780 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18930384 memory=57385981081806 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 80405962 19384713216 29780 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 119120 KiB

[startup+0.305962 s]*
/proc/loadavg: 3.26 3.13 3.14 7/318 93086
/proc/meminfo: memFree=128662320/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18996948 memory=163064 CPUtime=0.49 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 8885 0 0 0 44 5 0 0 20 0 19 0 80405958 19452874752 40766 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4749237 40766 5441 1 0 549393 0
[pid=93030/tid=93032] ppid=93026 vsize=18996948 memory=7686721470267561366 CPUtime=0.23 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 5321 0 0 0 20 3 0 0 20 0 19 0 80405960 19452874752 40766 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 40766 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 40766 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163064 KiB

[startup+0.70091 s]
/proc/loadavg: 3.26 3.13 3.14 11/336 93104
/proc/meminfo: memFree=127414968/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18996948 memory=664584 CPUtime=1.25 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 10524 0 0 0 108 17 0 0 20 0 19 0 80405958 19452874752 166146 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4749237 166146 5505 1 0 1122009 0
[pid=93030/tid=93032] ppid=93026 vsize=18996948 memory=18944 CPUtime=0.53 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) S 93026 93030 92592 0 -1 4194368 5550 0 0 0 40 13 0 0 20 0 19 0 80405960 19452874752 166146 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 166146 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 166146 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 664584 KiB

[startup+1.50028 s]
/proc/loadavg: 3.26 3.13 3.14 8/337 93105
/proc/meminfo: memFree=123471160/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18996948 memory=1582880 CPUtime=2.47 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 13052 0 0 0 212 35 0 0 20 0 19 0 80405958 19452874752 395208 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4749237 395208 5505 1 0 1713888 0
[pid=93030/tid=93032] ppid=93026 vsize=18996948 memory=3328 CPUtime=1.17 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 5924 0 0 0 90 27 0 0 20 0 19 0 80405960 19452874752 395720 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 395720 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 395720 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1582880 KiB

[startup+3.1056 s]
/proc/loadavg: 3.40 3.16 3.15 6/338 93106
/proc/meminfo: memFree=116341888/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18996948 memory=5178692 CPUtime=4.5 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 17958 0 0 0 346 104 0 0 20 0 19 0 80405958 19452874752 1294673 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4749237 1294673 5505 1 0 2250260 0
[pid=93030/tid=93032] ppid=93026 vsize=18996948 memory=10880 CPUtime=2.67 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 7656 0 0 0 173 94 0 0 20 0 19 0 80405960 19452874752 1294673 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 1294673 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18996948 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 1294673 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 5178692 KiB

[startup+6.30023 s]
/proc/loadavg: 3.40 3.16 3.15 6/338 93106
/proc/meminfo: memFree=115011160/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=18996948 memory=5571508 CPUtime=8 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 18818 0 0 0 688 112 0 0 20 0 19 0 80405958 19452874752 1392877 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4749237 1392877 5569 1 0 2250381 0
[pid=93030/tid=93032] ppid=93026 vsize=18996948 memory=5760 CPUtime=5.65 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 8254 0 0 0 464 101 0 0 20 0 19 0 80405960 19452874752 1392877 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 1392877 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=18996948 memory=-6000919481347107174 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 80405962 19452874752 1392877 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 5571508 KiB

[startup+12.7002 s]
/proc/loadavg: 3.72 3.24 3.18 5/342 93110
/proc/meminfo: memFree=111130156/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=5573308 CPUtime=16.5 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 20037 0 0 0 1534 116 0 0 20 0 20 0 80405958 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1393327 5569 1 0 2250757 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=5573308 CPUtime=11.96 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 8296 0 0 0 1093 103 0 0 20 0 20 0 80405960 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=-6000919481347107174 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 16.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5573308 KiB

[startup+25.5003 s]
/proc/loadavg: 3.84 3.28 3.19 5/344 93112
/proc/meminfo: memFree=106926276/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=5573308 CPUtime=29.36 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 21712 0 0 0 2816 120 0 0 20 0 20 0 80405958 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1393327 5569 1 0 2250773 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=0 CPUtime=24.73 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 9527 0 0 0 2366 107 0 0 20 0 20 0 80405960 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=5573308 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=5573308 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1393327 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 29.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5573308 KiB

[startup+51.1058 s]
/proc/loadavg: 4.04 3.37 3.22 5/344 93114
/proc/meminfo: memFree=104187480/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=5576256 CPUtime=55.34 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 35318 0 0 0 5403 131 0 0 20 0 20 0 80405958 19521036288 1394064 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1394064 5569 1 0 2253369 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=5576256 CPUtime=50.21 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 13361 0 0 0 4906 115 0 0 20 0 20 0 80405960 19521036288 1394064 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=5576256 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1394064 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=4209625000250601114 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1394064 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1394064 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 55.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5576256 KiB


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

/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1818641 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=7274564 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3050 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1818641 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=7274564 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1818641 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3241.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7274564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.51 4.70 5/355 93421
/proc/meminfo: memFree=52028792/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7280708 CPUtime=3301.47 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 308609 0 0 0 328775 1372 0 0 20 0 20 0 80405958 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1820177 5601 1 0 1837376 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=7280708 CPUtime=3246.77 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 165356 0 0 0 323496 1181 0 0 20 0 20 0 80405960 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=7280708 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3106 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=7280708 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3301.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7280708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.41 4.51 4.69 6/354 93423
/proc/meminfo: memFree=50688368/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7280708 CPUtime=3358.46 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 312716 0 0 0 334453 1393 0 0 20 0 20 0 80405958 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1820177 5601 1 0 1837376 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=7280708 CPUtime=3302.94 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 167803 0 0 0 329095 1199 0 0 20 0 20 0 80405960 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=18944 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3238 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=7280708 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3358.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7280708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.50 4.67 5/348 93492
/proc/meminfo: memFree=73435264/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7280708 CPUtime=3417.54 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 317593 0 0 0 340342 1412 0 0 20 0 20 0 80405958 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1820177 5601 1 0 1837376 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=7280708 CPUtime=3361.79 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 170773 0 0 0 334963 1216 0 0 20 0 20 0 80405960 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=18944 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3239 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1820177 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3417.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7280708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.48 4.66 5/325 93523
/proc/meminfo: memFree=83027096/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7288144 CPUtime=3475.54 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 324409 0 0 0 346122 1432 0 0 20 0 20 0 80405958 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1822036 5601 1 0 1837803 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=7288144 CPUtime=3417.59 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 174247 0 0 0 340524 1235 0 0 20 0 20 0 80405960 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=18944 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3285 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3475.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7288144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.43 4.47 4.64 5/324 93525
/proc/meminfo: memFree=79964040/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7288144 CPUtime=3534.87 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 328208 0 0 0 352032 1455 0 0 20 0 20 0 80405958 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1822036 5601 1 0 1837803 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=7288144 CPUtime=3476.08 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 176624 0 0 0 346353 1255 0 0 20 0 20 0 80405960 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=18944 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3415 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3534.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7288144 KiB

[startup+3642.3 s]
/proc/loadavg: 4.62 4.52 4.64 5/346 93565
/proc/meminfo: memFree=79302400/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7288144 CPUtime=3593.78 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 333021 0 0 0 357903 1475 0 0 20 0 20 0 80405958 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1822036 5601 1 0 1837803 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=14720 CPUtime=3534.69 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 179395 0 0 0 352195 1274 0 0 20 0 20 0 80405960 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=7288144 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3416 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=18944 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3593.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7288144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3648.6 s]
/proc/loadavg: 4.52 4.50 4.63 5/346 93565
/proc/meminfo: memFree=79227764/131250000 swapFree=33010416/33010684
[pid=93030] ppid=93026 vsize=19063512 memory=7288144 CPUtime=3600.07 cores=5,7
/proc/93030/stat : 93030 (java) S 93026 93030 92592 0 -1 4194304 333240 0 0 0 358529 1478 0 0 20 0 20 0 80405958 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
/proc/93030/statm: 4765878 1822036 5601 1 0 1837803 0
[pid=93030/tid=93032] ppid=93026 vsize=19063512 memory=6772 CPUtime=3540.97 cores=5,7
/proc/93030/task/93032/stat : 93032 (java) R 93026 93030 92592 0 -1 4194368 179610 0 0 0 352821 1276 0 0 20 0 20 0 80405960 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93045] ppid=93026 vsize=19063512 memory=4898240 CPUtime=0 cores=5,7
/proc/93030/task/93045/stat : 93045 (Finalizer) S 93026 93030 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93052] ppid=93026 vsize=19063512 memory=6516 CPUtime=0 cores=5,7
/proc/93030/task/93052/stat : 93052 (Common-Cleaner) S 93026 93030 92592 0 -1 4194368 3416 0 0 0 0 0 0 0 20 0 20 0 80405962 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
[pid=93030/tid=93107] ppid=93026 vsize=19063512 memory=1746872 CPUtime=0 cores=5,7
/proc/93030/task/93107/stat : 93107 (Timer-0) S 93026 93030 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406588 19521036288 1822036 18446744073709551615 93966463995904 93966463999600 140727884727632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93966464007416 93966464008208 93966477389824 140727884736815 140727884736997 140727884736997 140727884742600 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7288144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.4 s, system=14.8131 s

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

[startup+3648.7 s]*
/proc/loadavg: 4.52 4.50 4.63 5/328 93568
/proc/meminfo: memFree=81819456/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3648.72
CPU time (s): 3600.21
CPU user time (s): 3585.4
CPU system time (s): 14.8131
CPU usage (%): 98.6706
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 8953248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.4
system time used= 14.8131
maximum resident set size= 8953248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336105
page faults= 0
swaps= 0
block input operations= 8
block output operations= 15381640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116790
involuntary context switches= 10915


# summary of solver processes directly reported to runsolver:
#   pid: 93030
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3585.4
#   total CPU system time (s): 14.8131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16183 second user time and 17.7635 second system time

The end

Begin job on nodeC027 at 2025-07-04 18:41:01
IDJOB=4522513
IDBENCH=179048
IDSOLVER=3364
FILE ID=nodeC027/4522513-1751647261
RUNJOBID= nodeC027-1751647260-92976
SLURM_JOB_ID= 9672332
Free space on /tmp= 431136 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522513-1751647261/watcher-4522513-1751647261 -o /tmp/evaluation-result-4522513-1751647261/solver-4522513-1751647261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751647260-92976 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522513-1751647261 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522513-1751647261.opb

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

MD5SUM BENCH= 47b2881d5fb8f7c37ab5426a5dd64ce5
RANDOM SEED=1378502745

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129147404 kB
MemAvailable:   129571860 kB
Buffers:            2488 kB
Cached:          1221300 kB
SwapCached:           12 kB
Active:           635908 kB
Inactive:         680656 kB
Active(anon):     108044 kB
Inactive(anon):     2792 kB
Active(file):     527864 kB
Inactive(file):   677864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46020 kB
Writeback:             0 kB
AnonPages:         95468 kB
Mapped:           104612 kB
Shmem:             18056 kB
KReclaimable:     115536 kB
Slab:             201116 kB
SReclaimable:     115536 kB
SUnreclaim:        85580 kB
KernelStack:        4200 kB
PageTables:         2668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     383412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431148 MiB
End job on nodeC027 at 2025-07-04 19:41:50

Name	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
MD5SUM	47b2881d5fb8f7c37ab5426a5dd64ce5
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	750
Best CPU time to get the best result obtained on this benchmark	8.45878
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	196307
Total number of constraints	196308
Number of constraints which are clauses	177494
Number of constraints which are cardinality constraints (but not clauses)	2888
Number of constraints which are nor clauses,nor cardinality constraints	15926
Minimum length of a constraint	1
Maximum length of a constraint	2888
Number of terms in the objective function	2888
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	2888
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	688
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	3576
Number of bits of the biggest sum of numbers	12
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 4522513

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data