PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j CP VeriPB 2025-06-06	? (TO)		3600.15	3581.89

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61895 MiB free)
  memory of node 1: 64465 MiB (57093 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=73015, runsolver pid=73012

[startup+0.103579 s]*
/proc/loadavg: 4.18 4.14 4.10 6/318 73033
/proc/meminfo: memFree=121740176/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=18930384 memory=57952 CPUtime=0.13 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 6625 0 0 0 12 1 0 0 20 0 18 0 66683228 19384713216 14488 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4732596 14488 5352 1 0 547677 0
[pid=73015/tid=73017] ppid=73012 vsize=18930384 memory=4026532141 CPUtime=0.08 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) S 73012 73015 72022 0 -1 4194368 5105 0 0 0 7 1 0 0 20 0 18 0 66683229 19384713216 14488 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=18930384 memory=241407639009 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66683231 19384713216 14488 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=18930384 memory=25530 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66683232 19384713216 14488 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57952 KiB

[startup+0.205809 s]*
/proc/loadavg: 4.18 4.14 4.10 6/318 73033
/proc/meminfo: memFree=121670544/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=18930384 memory=70764 CPUtime=0.33 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 7163 0 0 0 31 2 0 0 20 0 18 0 66683228 19384713216 17691 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4732596 17691 5448 1 0 548004 0
[pid=73015/tid=73017] ppid=73012 vsize=18930384 memory=3472328300254199928 CPUtime=0.17 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 5392 0 0 0 16 1 0 0 20 0 18 0 66683229 19384713216 17691 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66683231 19384713216 17691 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=18930384 memory=60684515937227 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66683232 19384713216 17691 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70764 KiB

[startup+0.305624 s]*
/proc/loadavg: 4.18 4.14 4.10 7/319 73034
/proc/meminfo: memFree=121531280/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=18996948 memory=157568 CPUtime=0.52 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 8827 0 0 0 48 4 0 0 20 0 19 0 66683228 19452874752 39392 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4749237 39392 5480 1 0 549354 0
[pid=73015/tid=73017] ppid=73012 vsize=18996948 memory=-6000919498543753576 CPUtime=0.25 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 5461 0 0 0 22 3 0 0 20 0 19 0 66683229 19452874752 39392 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66683231 19452874752 39392 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 66683232 19452874752 39392 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157568 KiB

[startup+0.700239 s]
/proc/loadavg: 4.18 4.14 4.10 6/319 73034
/proc/meminfo: memFree=121183120/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=18996948 memory=1003936 CPUtime=1.25 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 14005 0 0 0 104 21 0 0 20 0 19 0 66683228 19452874752 250984 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4749237 250984 5480 1 0 551946 0
[pid=73015/tid=73017] ppid=73012 vsize=18996948 memory=18688 CPUtime=0.61 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 5905 0 0 0 43 18 0 0 20 0 19 0 66683229 19452874752 250984 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66683231 19452874752 250984 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 66683232 19452874752 250984 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1003936 KiB

[startup+1.50019 s]
/proc/loadavg: 4.18 4.14 4.10 6/319 73034
/proc/meminfo: memFree=119757160/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=2069084 CPUtime=2.82 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 23488 0 0 0 239 43 0 0 20 0 20 0 66683228 19521036288 517271 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 517271 5512 1 0 842454 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=0 CPUtime=1.29 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 6541 0 0 0 92 37 0 0 20 0 20 0 66683229 19521036288 517271 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 517271 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 517271 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2069084 KiB

[startup+3.10585 s]
/proc/loadavg: 4.24 4.15 4.10 6/320 73035
/proc/meminfo: memFree=119214876/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=2442864 CPUtime=6.01 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 23934 0 0 0 549 52 0 0 20 0 20 0 66683228 19521036288 610716 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 610716 5512 1 0 842513 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=10752 CPUtime=2.89 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 6731 0 0 0 244 45 0 0 20 0 20 0 66683229 19521036288 610716 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 610716 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=164 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 610716 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 610716 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2442864 KiB

[startup+6.30019 s]
/proc/loadavg: 4.24 4.15 4.10 6/340 73085
/proc/meminfo: memFree=118018832/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=2475568 CPUtime=10.41 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 25141 0 0 0 987 54 0 0 20 0 20 0 66683228 19521036288 618892 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 618892 5544 1 0 843278 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 7096 0 0 0 553 47 0 0 20 0 20 0 66683229 19521036288 618892 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=-7740419590673001604 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 618892 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 618892 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=-6000919498543753576 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 618892 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 10.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2475568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.18 4.11 5/340 73085
/proc/meminfo: memFree=117962036/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=2475824 CPUtime=17.04 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 28945 0 0 0 1648 56 0 0 20 0 20 0 66683228 19521036288 618956 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 618956 5544 1 0 843319 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=10752 CPUtime=12.32 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 8616 0 0 0 1184 48 0 0 20 0 20 0 66683229 19521036288 618956 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=-6000919498543753576 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 618956 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=2474544 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 618956 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 618956 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 17.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2475824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.17 4.11 5/340 73085
/proc/meminfo: memFree=117444780/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=2515052 CPUtime=30.32 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 33153 0 0 0 2973 59 0 0 20 0 20 0 66683228 19521036288 628763 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 628763 5576 1 0 843319 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=0 CPUtime=24.73 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 9701 0 0 0 2423 50 0 0 20 0 20 0 66683229 19521036288 628763 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 628763 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 628763 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 628763 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 30.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2515052 KiB

[startup+51.1057 s]
/proc/loadavg: 4.20 4.16 4.10 5/341 73087
/proc/meminfo: memFree=116776260/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3071464 CPUtime=56.52 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 40615 0 0 0 5578 74 0 0 20 0 20 0 66683228 19521036288 767866 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 767866 5576 1 0 974938 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=14848 CPUtime=49.54 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 14255 0 0 0 4892 62 0 0 20 0 20 0 66683229 19521036288 767866 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=3052904 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 767866 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 767866 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 767866 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0

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

/proc/meminfo: memFree=110687872/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3180.11 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 169696 0 0 0 317599 412 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3077.14 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 80379 0 0 0 307456 258 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2175 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3180.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/343 73261
/proc/meminfo: memFree=110671264/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3240.62 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 173426 0 0 0 323645 417 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3136.21 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) S 73012 73015 72022 0 -1 4194368 82764 0 0 0 313360 261 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2265 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3240.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/343 73262
/proc/meminfo: memFree=110653052/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3301.01 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 175335 0 0 0 329680 421 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3195.47 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 83719 0 0 0 319285 262 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2265 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3301.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.18 6/342 73269
/proc/meminfo: memFree=110640688/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3360.83 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 175521 0 0 0 335657 426 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3254.21 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 83749 0 0 0 325156 265 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2351 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3360.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/342 73273
/proc/meminfo: memFree=110605504/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3418.51 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 177112 0 0 0 341418 433 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3310.31 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 85148 0 0 0 330761 270 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2351 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3418.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/342 73275
/proc/meminfo: memFree=110594196/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3478.96 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 180854 0 0 0 347457 439 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3369.47 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 87767 0 0 0 336674 273 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2445 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3478.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/342 73277
/proc/meminfo: memFree=110567748/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848840 CPUtime=3539.47 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 183840 0 0 0 353501 446 0 0 20 0 20 0 66683228 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962210 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=14848 CPUtime=3428.43 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 89898 0 0 0 342565 278 0 0 20 0 20 0 66683229 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=3848840 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2471 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962210 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3539.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.8 s]
/proc/loadavg: 3.66 4.02 4.12 3/293 73348
/proc/meminfo: memFree=119537396/131250000 swapFree=33010684/33010684
[pid=73015] ppid=73012 vsize=19063512 memory=3848968 CPUtime=3600.02 cores=0,2
/proc/73015/stat : 73015 (java) S 73012 73015 72022 0 -1 4194304 184302 0 0 0 359553 449 0 0 20 0 20 0 66683228 19521036288 962242 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
/proc/73015/statm: 4765878 962242 5576 1 0 975588 0
[pid=73015/tid=73017] ppid=73012 vsize=19063512 memory=10752 CPUtime=3486.44 cores=0,2
/proc/73015/task/73017/stat : 73017 (java) R 73012 73015 72022 0 -1 4194368 90206 0 0 0 348363 281 0 0 20 0 20 0 66683229 19521036288 962242 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73026] ppid=73012 vsize=19063512 memory=21872 CPUtime=0 cores=0,2
/proc/73015/task/73026/stat : 73026 (Finalizer) S 73012 73015 72022 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66683231 19521036288 962242 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73033] ppid=73012 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/73015/task/73033/stat : 73033 (Common-Cleaner) S 73012 73015 72022 0 -1 4194368 2471 0 0 0 0 0 0 0 20 0 20 0 66683232 19521036288 962242 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
[pid=73015/tid=73035] ppid=73012 vsize=19063512 memory=1664 CPUtime=0 cores=0,2
/proc/73015/task/73035/stat : 73035 (Timer-0) S 73012 73015 72022 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66683334 19521036288 962242 18446744073709551615 93944370532352 93944370536048 140721814247232 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93944370543864 93944370544656 93944384720896 140721814251821 140721814252006 140721814252006 140721814257608 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848968 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.63 s, system=4.51534 s

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

Child status: 143

Real time (s): 3581.89
CPU time (s): 3600.15
CPU user time (s): 3595.63
CPU system time (s): 4.51534
CPU usage (%): 100.51
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3848968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.63
system time used= 4.51534
maximum resident set size= 3849864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1011784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154136
involuntary context switches= 15810


# summary of solver processes directly reported to runsolver:
#   pid: 73015
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3595.63
#   total CPU system time (s): 4.51534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64137 second user time and 17.5556 second system time

The end

Begin job on nodeC028 at 2025-07-03 04:43:27
IDJOB=4507913
IDBENCH=158387
IDSOLVER=3362
FILE ID=nodeC028/4507913-1751510607
RUNJOBID= nodeC028-1751503382-72032
SLURM_JOB_ID= 9598589
Free space on /tmp= 431372 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct6.5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507913-1751510607/watcher-4507913-1751510607 -o /tmp/evaluation-result-4507913-1751510607/solver-4507913-1751510607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751503382-72032 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507913-1751510607 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4507913-1751510607.opb

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

MD5SUM BENCH= 0048c1c5d89c09890e717f6e64ce7569
RANDOM SEED=1875203756

nodeC028 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		: 3600.092
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	: 7000.16
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		: 3600.062
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	: 7000.16
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.369
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	: 7000.16
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		: 3620.634
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121873952 kB
MemAvailable:   123830164 kB
Buffers:            3280 kB
Cached:          2758640 kB
SwapCached:            0 kB
Active:          6325464 kB
Inactive:        2449376 kB
Active(anon):    6031004 kB
Inactive(anon):        0 kB
Active(file):     294460 kB
Inactive(file):  2449376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14932 kB
Writeback:            20 kB
AnonPages:       6015676 kB
Mapped:           124848 kB
Shmem:             18068 kB
KReclaimable:     103228 kB
Slab:             192044 kB
SReclaimable:     103228 kB
SUnreclaim:        88816 kB
KernelStack:        4816 kB
PageTables:        15056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8442204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151112 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5834752 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431496 MiB
End job on nodeC028 at 2025-07-03 05:43:09

Name	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb
MD5SUM	0048c1c5d89c09890e717f6e64ce7569
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	101
Best CPU time to get the best result obtained on this benchmark	3.75466
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	9632
Total number of constraints	29620
Number of constraints which are clauses	27574
Number of constraints which are cardinality constraints (but not clauses)	226
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	2
Maximum length of a constraint	248
Number of terms in the objective function	26
Biggest coefficient in the objective function	20
Number of bits for the biggest coefficient in the objective function	5
Sum of the numbers in the objective function	211
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	160
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	687
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4507913

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data