PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j Resolution 2025-06-06	? (TO)		3604.21	3013.26

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: 63794 MiB (62703 MiB free)
  memory of node 1: 64507 MiB (63043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521408-1751584695/watcher-4521408-1751584695 -o /tmp/evaluation-result-4521408-1751584695/solver-4521408-1751584695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83035 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4521408-1751584695.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=83083, runsolver pid=83074

[startup+0.10007 s]*
/proc/loadavg: 2.36 3.79 4.05 9/308 83150
/proc/meminfo: memFree=128720800/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=18930344 memory=45560 CPUtime=0.08 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 5407 0 70 0 5 3 0 0 20 0 18 0 74148409 19384672256 11390 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4732586 11390 4918 1 0 546720 0
[pid=83083/tid=83090] ppid=83074 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) S 83074 83083 83023 0 -1 4194368 4512 0 70 0 3 2 0 0 20 0 18 0 74148412 19384672256 11390 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=18930344 memory=1593 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384672256 11390 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=18930344 memory=60693105869820 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148418 19384672256 11390 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45560 KiB

[startup+0.213277 s]*
/proc/loadavg: 2.36 3.79 4.05 9/319 83161
/proc/meminfo: memFree=128686248/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=18930384 memory=52104 CPUtime=0.25 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 6135 0 70 0 21 4 0 0 20 0 18 0 74148409 19384713216 13026 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4732596 13026 5334 1 0 547278 0
[pid=83083/tid=83090] ppid=83074 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 4907 0 70 0 13 3 0 0 20 0 18 0 74148412 19384713216 13026 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384713216 13026 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148418 19384713216 13026 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52104 KiB

[startup+0.31332 s]*
/proc/loadavg: 2.36 3.79 4.05 10/319 83161
/proc/meminfo: memFree=128665928/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=18930384 memory=58020 CPUtime=0.41 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 6601 0 70 0 36 5 0 0 20 0 18 0 74148409 19384713216 14505 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4732596 14505 5334 1 0 547683 0
[pid=83083/tid=83090] ppid=83074 vsize=18930384 memory=-6000919502704503143 CPUtime=0.24 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 5079 0 70 0 21 3 0 0 20 0 18 0 74148412 19384713216 14505 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384713216 14505 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148418 19384713216 14505 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58020 KiB

[startup+0.700309 s]
/proc/loadavg: 2.36 3.79 4.05 13/319 83161
/proc/meminfo: memFree=128652632/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=18930384 memory=84756 CPUtime=1.11 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 8493 0 70 0 104 7 0 0 20 0 18 0 74148409 19384713216 21189 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4732596 21189 5462 1 0 548924 0
[pid=83083/tid=83090] ppid=83074 vsize=18930384 memory=18688 CPUtime=0.5 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 5254 0 70 0 46 4 0 0 20 0 18 0 74148412 19384713216 21189 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384713216 21189 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148418 19384713216 21189 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84756 KiB

[startup+1.50027 s]
/proc/loadavg: 2.36 3.79 4.05 10/322 83164
/proc/meminfo: memFree=128495240/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=18996948 memory=118948 CPUtime=2.69 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 12992 0 70 0 259 10 0 0 20 0 19 0 74148409 19452874752 29737 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4749237 29737 5494 1 0 550356 0
[pid=83083/tid=83090] ppid=83074 vsize=18996948 memory=3200 CPUtime=1.22 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 5588 0 70 0 116 6 0 0 20 0 19 0 74148412 19452874752 29737 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74148417 19452874752 29737 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 74148418 19452874752 29737 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=18996948 memory=14720 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74148482 19452874752 29737 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118948 KiB

[startup+3.11272 s]
/proc/loadavg: 2.36 3.79 4.05 7/325 83167
/proc/meminfo: memFree=128134564/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=396752 CPUtime=4.88 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 15190 0 70 0 470 18 0 0 20 0 20 0 74148409 19521036288 99188 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 99188 5526 1 0 550747 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=11264 CPUtime=2.54 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 5921 0 70 0 247 7 0 0 20 0 20 0 74148412 19521036288 99188 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 99188 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 99188 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 99188 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 396752 KiB

[startup+6.30019 s]
/proc/loadavg: 2.65 3.82 4.07 6/325 83167
/proc/meminfo: memFree=127755716/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=751528 CPUtime=8.66 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 18408 0 70 0 838 28 0 0 20 0 20 0 74148409 19521036288 187882 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 187882 5526 1 0 1183976 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=0 CPUtime=5.36 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 7101 0 70 0 525 11 0 0 20 0 20 0 74148412 19521036288 187882 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 187882 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 187882 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=127680 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 187882 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 751528 KiB

[startup+12.7004 s]
/proc/loadavg: 2.76 3.83 4.06 8/325 83167
/proc/meminfo: memFree=126885516/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=1623592 CPUtime=16.03 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 19965 0 70 0 1555 48 0 0 20 0 20 0 74148409 19521036288 405898 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 405898 5526 1 0 1764691 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=127680 CPUtime=10.69 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 7400 0 70 0 1054 15 0 0 20 0 20 0 74148412 19521036288 405898 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 405898 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 405898 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=1362152 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 405898 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1623592 KiB

[startup+25.5004 s]
/proc/loadavg: 3.03 3.84 4.06 7/326 83168
/proc/meminfo: memFree=124471600/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=3658080 CPUtime=30.89 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 27316 0 70 0 2995 94 0 0 20 0 20 0 74148409 19521036288 914520 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 914520 5558 1 0 2228994 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=11264 CPUtime=21.46 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 8524 0 70 0 2120 26 0 0 20 0 20 0 74148412 19521036288 914520 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=1362152 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 914520 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 914520 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 914520 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 30.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3658080 KiB

[startup+51.107 s]
/proc/loadavg: 3.49 3.88 4.07 7/327 83234
/proc/meminfo: memFree=117404632/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=7449096 CPUtime=61.2 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 39497 0 70 0 5943 177 0 0 20 0 20 0 74148409 19521036288 1862274 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 1862274 5558 1 0 2839207 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=6821920 CPUtime=43.19 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 10655 0 70 0 4273 46 0 0 20 0 20 0 74148412 19521036288 1862274 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=6029132 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 1862274 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 1862274 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=1642024 CPUtime=0 cores=4,6

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

/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 456091 0 70 0 334351 628 0 0 20 0 20 0 74148409 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072169 5558 1 0 4084353 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=16288676 CPUtime=2477.28 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 201775 0 70 0 247568 160 0 0 20 0 20 0 74148412 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1581 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3349.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288676 KiB

[startup+2862.3 s]
/proc/loadavg: 4.75 4.72 4.75 7/326 83443
/proc/meminfo: memFree=90690780/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288676 CPUtime=3426.73 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 466208 0 70 0 342040 633 0 0 20 0 20 0 74148409 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072169 5558 1 0 4084362 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=16288676 CPUtime=2522.23 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) S 83074 83083 83023 0 -1 4194368 206733 0 70 0 252062 161 0 0 20 0 20 0 74148412 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1581 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3426.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288676 KiB

[startup+2922.3 s]
/proc/loadavg: 4.84 4.74 4.76 6/326 83445
/proc/meminfo: memFree=90689508/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288676 CPUtime=3503.77 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 473910 0 70 0 349736 641 0 0 20 0 20 0 74148409 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072169 5558 1 0 4084364 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=16288676 CPUtime=2577.37 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 210577 0 70 0 257575 162 0 0 20 0 20 0 74148412 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3503.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288676 KiB

[startup+2982.3 s]
/proc/loadavg: 4.77 4.75 4.76 7/326 83447
/proc/meminfo: memFree=90689780/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288676 CPUtime=3568.08 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 483129 0 70 0 356163 645 0 0 20 0 20 0 74148409 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072169 5558 1 0 4084364 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=16288676 CPUtime=2632.22 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) R 83074 83083 83023 0 -1 4194368 216990 0 70 0 263060 162 0 0 20 0 20 0 74148412 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1618 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072169 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3568.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3011.2 s]
/proc/loadavg: 4.82 4.76 4.76 8/326 83449
/proc/meminfo: memFree=90681892/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288804 CPUtime=3600.17 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 486765 0 70 0 359369 648 0 0 20 0 20 0 74148409 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072201 5558 1 0 4084364 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=16288676 CPUtime=2657.72 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) S 83074 83083 83023 0 -1 4194368 219281 0 70 0 265609 163 0 0 20 0 20 0 74148412 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1660 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288804 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3013.26 s]
# the end of solver process 83083 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3597.68 s, system=6.5364 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3012 s]*
/proc/loadavg: 4.82 4.76 4.76 8/326 83449
/proc/meminfo: memFree=90681892/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288804 CPUtime=3601.78 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 487199 0 70 0 359529 649 0 0 20 0 20 0 74148409 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072201 5558 1 0 4084364 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=-6000919477001611623 CPUtime=2657.72 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) S 83074 83083 83023 0 -1 4194368 219281 0 70 0 265609 163 0 0 20 0 20 0 74148412 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=334860 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1660 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=198340509722 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288804 KiB

[startup+3012.8 s]
/proc/loadavg: 4.82 4.76 4.76 8/326 83449
/proc/meminfo: memFree=90681892/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288804 CPUtime=3603.36 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 487325 0 70 0 359687 649 0 0 20 0 20 0 74148409 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072201 5558 1 0 4084364 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=18688 CPUtime=2657.72 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) S 83074 83083 83023 0 -1 4194368 219281 0 70 0 265609 163 0 0 20 0 20 0 74148412 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=-6000919489853155687 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=23532 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1660 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=16288676 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3603.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288804 KiB

[startup+3013.2 s]
/proc/loadavg: 4.82 4.76 4.76 8/326 83449
/proc/meminfo: memFree=90681892/131382112 swapFree=33009904/33010684
[pid=83083] ppid=83074 vsize=19063512 memory=16288804 CPUtime=3604.15 cores=4,6
/proc/83083/stat : 83083 (java) S 83074 83083 83023 0 -1 4194304 487337 0 70 0 359766 649 0 0 20 0 20 0 74148409 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
/proc/83083/statm: 4765878 4072201 5558 1 0 4084364 0
[pid=83083/tid=83090] ppid=83074 vsize=19063512 memory=2432 CPUtime=2657.72 cores=4,6
/proc/83083/task/83090/stat : 83090 (java) S 83074 83083 83023 0 -1 4194368 219281 0 70 0 265609 163 0 0 20 0 20 0 74148412 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83121] ppid=83074 vsize=19063512 memory=3456 CPUtime=0 cores=4,6
/proc/83083/task/83121/stat : 83121 (Finalizer) S 83074 83083 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83146] ppid=83074 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/83083/task/83146/stat : 83146 (Common-Cleaner) S 83074 83083 83023 0 -1 4194368 1660 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
[pid=83083/tid=83164] ppid=83074 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/83083/task/83164/stat : 83164 (Timer-0) S 83074 83083 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148482 19521036288 4072201 18446744073709551615 94374692696064 94374692699760 140724588798880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94374692707576 94374692708368 94374703149056 140724588804481 140724588804582 140724588804582 140724588810184 0
Current children cumulated CPU time: 3604.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16288804 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3013.26
CPU time (s): 3604.21
CPU user time (s): 3597.68
CPU system time (s): 6.5364
CPU usage (%): 119.612
Max. virtual memory (cumulated for all children) (KiB): 19069672
Max. memory (cumulated for all children) (KiB): 16288816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.68
system time used= 6.5364
maximum resident set size= 16288816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487342
page faults= 70
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107585
involuntary context switches= 33139


# summary of solver processes directly reported to runsolver:
#   pid: 83083
#   total CPU time (s): 3604.21
#   total CPU user time (s): 3597.68
#   total CPU system time (s): 6.5364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0443 second user time and 26.8792 second system time

The end

Begin job on nodeC001 at 2025-07-04 01:18:15
IDJOB=4521408
IDBENCH=178282
IDSOLVER=3363
FILE ID=nodeC001/4521408-1751584695
RUNJOBID= nodeC001-1751584695-83035
SLURM_JOB_ID= 9598830
Free space on /tmp= 432508 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521408-1751584695/watcher-4521408-1751584695 -o /tmp/evaluation-result-4521408-1751584695/solver-4521408-1751584695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83035 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4521408-1751584695.opb

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

MD5SUM BENCH= f2397fb1ec09cdbd6a88fec17aa9b337
RANDOM SEED=536738844

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128757884 kB
MemAvailable:   129896620 kB
Buffers:            1668 kB
Cached:          1923704 kB
SwapCached:          128 kB
Active:           305704 kB
Inactive:        1686012 kB
Active(anon):      55864 kB
Inactive(anon):    28256 kB
Active(file):     249840 kB
Inactive(file):  1657756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4860 kB
Writeback:             0 kB
AnonPages:         69284 kB
Mapped:           102700 kB
Shmem:             17776 kB
KReclaimable:     141148 kB
Slab:             227492 kB
SReclaimable:     141148 kB
SUnreclaim:        86344 kB
KernelStack:        3732 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     338872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432500 MiB
End job on nodeC001 at 2025-07-04 02:08:29

Name	PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
MD5SUM	f2397fb1ec09cdbd6a88fec17aa9b337
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	2738
Best CPU time to get the best result obtained on this benchmark	0.22316
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	5476
Total number of constraints	10952
Number of constraints which are clauses	10952
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Number of terms in the objective function	5476
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	5476
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	5476
Number of bits of the biggest sum of numbers	13
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 4521408

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data