PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j CP 2025-06-06	? (TO)	3600.34	3546.04

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510550-1751204627/watcher-4510550-1751204627 -o /tmp/evaluation-result-4510550-1751204627/solver-4510550-1751204627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751204626-27298 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4510550-1751204627.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 0.99 1.23 2.18 6/334 27425
/proc/meminfo: memFree=129759704/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=18930384 memory=55548 CPUtime=0.12 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 6529 0 0 0 10 2 0 0 20 0 18 0 36140163 19384713216 13887 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4732596 13887 5339 1 0 547588 0
[pid=27348/tid=27359] ppid=27339 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 5036 0 0 0 6 1 0 0 20 0 18 0 36140165 19384713216 13887 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=18930384 memory=2621 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36140167 19384713216 13887 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=18930384 memory=55186957796323 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36140167 19384713216 13887 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55548 KiB

[startup+0.205405 s]*
/proc/loadavg: 0.99 1.23 2.18 12/334 27425
/proc/meminfo: memFree=129729168/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=18930384 memory=64360 CPUtime=0.29 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 7129 0 0 0 27 2 0 0 20 0 18 0 36140163 19384713216 16090 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4732596 16090 5403 1 0 547981 0
[pid=27348/tid=27359] ppid=27339 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 5346 0 0 0 15 1 0 0 20 0 18 0 36140165 19384713216 16090 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=18930384 memory=2621 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36140167 19384713216 16090 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=18930384 memory=55186957796323 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36140167 19384713216 16090 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64360 KiB

[startup+0.305196 s]*
/proc/loadavg: 0.99 1.23 2.18 12/338 27429
/proc/meminfo: memFree=129676996/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=18996948 memory=78620 CPUtime=0.48 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 9083 0 0 0 45 3 0 0 20 0 19 0 36140163 19452874752 19655 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4749237 19655 5403 1 0 549211 0
[pid=27348/tid=27359] ppid=27339 vsize=18996948 memory=-6000919502788191597 CPUtime=0.23 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 5452 0 0 0 22 1 0 0 20 0 19 0 36140165 19452874752 19655 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36140167 19452874752 19655 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 36140167 19452874752 19655 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36140185 19452874752 19655 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78620 KiB

[startup+0.700226 s]
/proc/loadavg: 0.99 1.23 2.18 9/341 27432
/proc/meminfo: memFree=129381772/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=164544 CPUtime=1.25 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 12372 0 0 0 119 6 0 0 20 0 20 0 36140163 19521036288 41136 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 41136 5467 1 0 551196 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=17408 CPUtime=0.57 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 5496 0 0 0 55 2 0 0 20 0 20 0 36140165 19521036288 41136 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 41136 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 41136 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 41136 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164544 KiB

[startup+1.50025 s]
/proc/loadavg: 1.55 1.35 2.21 9/342 27433
/proc/meminfo: memFree=128892192/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=445640 CPUtime=2.82 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 17369 0 0 0 270 12 0 0 20 0 20 0 36140163 19521036288 111410 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 111410 5467 1 0 554224 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=10752 CPUtime=1.33 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 5686 0 0 0 126 7 0 0 20 0 20 0 36140165 19521036288 111410 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 111410 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 111410 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 111410 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 445640 KiB

[startup+3.10561 s]
/proc/loadavg: 1.55 1.35 2.21 6/342 27433
/proc/meminfo: memFree=125491628/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=1271364 CPUtime=5.15 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 22093 0 0 0 488 27 0 0 20 0 20 0 36140163 19521036288 317841 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 317841 5467 1 0 554232 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=10752 CPUtime=2.91 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 6331 0 0 0 269 22 0 0 20 0 20 0 36140165 19521036288 317841 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=-6000919468445230445 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 317841 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 317841 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 317841 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1271364 KiB

[startup+6.30024 s]
/proc/loadavg: 1.91 1.42 2.23 5/342 27433
/proc/meminfo: memFree=123760472/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=1729524 CPUtime=8.52 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 26209 0 0 0 815 37 0 0 20 0 20 0 36140163 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 432381 5467 1 0 660758 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=0 CPUtime=6.04 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 7781 0 0 0 574 30 0 0 20 0 20 0 36140165 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1729524 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 1.47 2.24 5/342 27433
/proc/meminfo: memFree=123756408/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=1729524 CPUtime=14.99 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 26819 0 0 0 1461 38 0 0 20 0 20 0 36140163 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 432381 5467 1 0 660758 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=10752 CPUtime=12.34 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 8313 0 0 0 1204 30 0 0 20 0 20 0 36140165 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=1729524 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=-6000919468445230445 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 432381 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1729524 KiB

[startup+25.5002 s]
/proc/loadavg: 2.52 1.58 2.27 5/342 27433
/proc/meminfo: memFree=123704556/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=1739748 CPUtime=29.59 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 37086 0 0 0 2918 41 0 0 20 0 20 0 36140163 19521036288 434937 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 434937 5467 1 0 660896 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=1729524 CPUtime=24.87 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 10084 0 0 0 2456 31 0 0 20 0 20 0 36140165 19521036288 434937 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 434937 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=-6000919468445230445 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 434937 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=1729524 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 434937 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 29.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1739748 KiB

[startup+51.1058 s]
/proc/loadavg: 3.16 1.83 2.33 5/342 27433
/proc/meminfo: memFree=123561164/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=1771020 CPUtime=55.9 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 40995 0 0 0 5545 45 0 0 20 0 20 0 36140163 19521036288 442755 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 442755 5467 1 0 660896 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=1771020 CPUtime=50.05 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 11859 0 0 0 4974 31 0 0 20 0 20 0 36140165 19521036288 442755 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=1762648 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=119223332/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3270.01 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 116539 0 0 0 326778 223 0 0 20 0 20 0 36140163 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 639164 5467 1 0 666811 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=14848 CPUtime=3180.42 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 46462 0 0 0 317970 72 0 0 20 0 20 0 36140165 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=2556656 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3270.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2556656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/339 27603
/proc/meminfo: memFree=119209960/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3330.72 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 118576 0 0 0 332846 226 0 0 20 0 20 0 36140163 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 639164 5467 1 0 666811 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3239.74 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 47718 0 0 0 323901 73 0 0 20 0 20 0 36140165 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=2556656 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3330.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2556656 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/340 27606
/proc/meminfo: memFree=119193324/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3391.51 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 119501 0 0 0 338922 229 0 0 20 0 20 0 36140163 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 639164 5467 1 0 666811 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3299.03 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 48509 0 0 0 329829 74 0 0 20 0 20 0 36140165 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1562 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 639164 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3391.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2556656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.28 4.15 6/341 27609
/proc/meminfo: memFree=119156040/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2558192 CPUtime=3453.48 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 121395 0 0 0 345116 232 0 0 20 0 20 0 36140163 19521036288 639548 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 639548 5467 1 0 666835 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3357.95 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 49446 0 0 0 335721 74 0 0 20 0 20 0 36140165 19521036288 639548 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=2558192 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639548 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=2558192 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 639548 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=-6000919468445230445 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 639548 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.26 4.15 5/342 27614
/proc/meminfo: memFree=119150128/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2561520 CPUtime=3515.02 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 121483 0 0 0 351268 234 0 0 20 0 20 0 36140163 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 640380 5467 1 0 666835 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=2556656 CPUtime=3417.05 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 49465 0 0 0 341630 75 0 0 20 0 20 0 36140165 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=2559472 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1636 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=2561520 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3515.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2561520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.24 4.15 5/342 27616
/proc/meminfo: memFree=119133504/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2561520 CPUtime=3576.05 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 121667 0 0 0 357368 237 0 0 20 0 20 0 36140163 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 640380 5467 1 0 666835 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=14848 CPUtime=3476.4 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 49511 0 0 0 347565 75 0 0 20 0 20 0 36140165 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=2561520 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1636 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=2561520 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3576.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2561520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3545.9 s]
/proc/loadavg: 4.16 4.22 4.15 6/342 27683
/proc/meminfo: memFree=121455716/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19063512 memory=2561520 CPUtime=3600.08 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 121699 0 0 0 359771 237 0 0 20 0 20 0 36140163 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4765878 640380 5467 1 0 666835 0
[pid=27348/tid=27359] ppid=27339 vsize=19063512 memory=2561520 CPUtime=3499.71 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 49519 0 0 0 349896 75 0 0 20 0 20 0 36140165 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19063512 memory=2561520 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19063512 memory=2561520 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1640 0 0 0 0 0 0 0 20 0 20 0 36140167 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27426] ppid=27339 vsize=19063512 memory=2561520 CPUtime=0 cores=0,2
/proc/27348/task/27426/stat : 27426 (Timer-0) S 27339 27348 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140185 19521036288 640380 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2561520 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.95 s, system=2.38883 s

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

[startup+3546 s]*
/proc/loadavg: 4.16 4.22 4.15 12/343 27686
/proc/meminfo: memFree=120933268/131249996 swapFree=33010684/33010684
[pid=27348] ppid=27339 vsize=19263204 memory=2562544 CPUtime=3600.28 cores=0,2
/proc/27348/stat : 27348 (java) S 27339 27348 27288 0 -1 4194304 123822 0 0 0 359791 237 0 0 20 0 21 0 36140163 19725520896 640636 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
/proc/27348/statm: 4815801 640636 5499 1 0 667787 0
[pid=27348/tid=27359] ppid=27339 vsize=19263204 memory=-6000919507049407853 CPUtime=3499.76 cores=0,2
/proc/27348/task/27359/stat : 27359 (java) R 27339 27348 27288 0 -1 4194368 49527 0 0 0 349901 75 0 0 20 0 21 0 36140165 19725520896 640636 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27387] ppid=27339 vsize=19263204 memory=1792 CPUtime=0 cores=0,2
/proc/27348/task/27387/stat : 27387 (Finalizer) S 27339 27348 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 36140167 19725520896 640636 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27403] ppid=27339 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/27348/task/27403/stat : 27403 (Common-Cleaner) S 27339 27348 27288 0 -1 4194368 1643 0 0 0 0 0 0 0 20 0 21 0 36140167 19725520896 640636 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
[pid=27348/tid=27685] ppid=27339 vsize=19263204 memory=2944 CPUtime=0.02 cores=0,2
/proc/27348/task/27685/stat : 27685 (Thread-0) R 27339 27348 27288 0 -1 4194368 463 0 0 0 2 0 0 0 20 0 21 0 36494754 19725520896 640636 18446744073709551615 93919519195136 93919519198832 140726307876160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919519206648 93919519207440 93919541125120 140726307879294 140726307879398 140726307879398 140726307885000 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2562544 KiB

Child status: 143

Real time (s): 3546.04
CPU time (s): 3600.34
CPU user time (s): 3597.95
CPU system time (s): 2.38883
CPU usage (%): 101.531
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2562544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.95
system time used= 2.38883
maximum resident set size= 2562544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144479
involuntary context switches= 11908


# summary of solver processes directly reported to runsolver:
#   pid: 27348
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3597.95
#   total CPU system time (s): 2.38883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19842 second user time and 17.3739 second system time

The end

Begin job on nodeC015 at 2025-06-29 15:43:47
IDJOB=4510550
IDBENCH=160372
IDSOLVER=3361
FILE ID=nodeC015/4510550-1751204627
RUNJOBID= nodeC015-1751204626-27298
SLURM_JOB_ID= 9587617
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510550-1751204627/watcher-4510550-1751204627 -o /tmp/evaluation-result-4510550-1751204627/solver-4510550-1751204627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751204626-27298 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4510550-1751204627.opb

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

MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=1273840755

nodeC015 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.643
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.14
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		: 2274.420
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.14
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		: 3600.062
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.14
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		: 1324.128
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.14
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.077
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.14
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		: 1908.411
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.14
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		: 3600.380
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.14
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		: 1209.405
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.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129835776 kB
MemAvailable:   129731408 kB
Buffers:            3280 kB
Cached:           704756 kB
SwapCached:            0 kB
Active:           334804 kB
Inactive:         448388 kB
Active(anon):      93232 kB
Inactive(anon):        0 kB
Active(file):     241572 kB
Inactive(file):   448388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2404 kB
Writeback:            12 kB
AnonPages:         78616 kB
Mapped:           102216 kB
Shmem:             18076 kB
KReclaimable:      89824 kB
Slab:             175556 kB
SReclaimable:      89824 kB
SUnreclaim:        85732 kB
KernelStack:        4120 kB
PageTables:         2580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC015 at 2025-06-29 16:42:53

Name	PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
MD5SUM	becd4f2905a31b4ccafbaa36ee1998fb
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.75057
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	501
Total number of constraints	698
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	696
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	4
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	6
Number of bits of the biggest sum of numbers	3
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 4510550

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data