PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution 2025-06-06	? (TO)	3600.2	3533.34

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545357-1753238306/watcher-4545357-1753238306 -o /tmp/evaluation-result-4545357-1753238306/solver-4545357-1753238306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753234778-167711 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4545357-1753238306.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=168421, runsolver pid=168418

[startup+0.10006 s]*
/proc/loadavg: 4.25 4.32 4.30 5/338 168439
/proc/meminfo: memFree=126156812/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=18930384 memory=57880 CPUtime=0.13 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 6585 0 0 0 11 2 0 0 20 0 18 0 239508434 19384713216 14470 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4732596 14470 5364 1 0 547623 0
[pid=168421/tid=168423] ppid=168418 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 5090 0 0 0 6 1 0 0 20 0 18 0 239508435 19384713216 14470 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239508437 19384713216 14470 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=18930384 memory=60684515959228 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239508438 19384713216 14470 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB

[startup+0.205747 s]*
/proc/loadavg: 4.25 4.32 4.30 6/338 168439
/proc/meminfo: memFree=126140252/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=18930384 memory=74312 CPUtime=0.33 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 7036 0 0 0 30 3 0 0 20 0 18 0 239508434 19384713216 18578 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4732596 18578 5428 1 0 547924 0
[pid=168421/tid=168423] ppid=168418 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 5296 0 0 0 16 2 0 0 20 0 18 0 239508435 19384713216 18578 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=18930384 memory=16168 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239508437 19384713216 18578 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239508438 19384713216 18578 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 74312 KiB

[startup+0.305748 s]*
/proc/loadavg: 4.25 4.32 4.30 6/338 168439
/proc/meminfo: memFree=126109564/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=18930384 memory=109012 CPUtime=0.51 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 8501 0 0 0 48 3 0 0 20 0 18 0 239508434 19384713216 27253 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4732596 27253 5428 1 0 548902 0
[pid=168421/tid=168423] ppid=168418 vsize=18930384 memory=-8600861969804468924 CPUtime=0.26 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 5313 0 0 0 24 2 0 0 20 0 18 0 239508435 19384713216 27253 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239508437 19384713216 27253 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239508438 19384713216 27253 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109012 KiB

[startup+0.712395 s]
/proc/loadavg: 4.25 4.32 4.30 6/339 168440
/proc/meminfo: memFree=126046864/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=18996948 memory=203484 CPUtime=1.3 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 10588 0 0 0 124 6 0 0 20 0 19 0 239508434 19452874752 50871 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4749237 50871 5460 1 0 550470 0
[pid=168421/tid=168423] ppid=168418 vsize=18996948 memory=27264 CPUtime=0.59 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) S 168418 168421 167700 0 -1 4194368 5345 0 0 0 56 3 0 0 20 0 19 0 239508435 19452874752 50871 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=18996948 memory=10496 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239508437 19452874752 50871 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239508438 19452874752 50871 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 203484 KiB

[startup+1.50022 s]
/proc/loadavg: 4.25 4.32 4.30 6/339 168440
/proc/meminfo: memFree=125964448/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=324128 CPUtime=2.85 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 17525 0 0 0 276 9 0 0 20 0 20 0 239508434 19521036288 81032 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 81032 5460 1 0 1081333 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=3200 CPUtime=1.27 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 5431 0 0 0 122 5 0 0 20 0 20 0 239508435 19521036288 81032 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 81032 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 81032 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 324128 KiB

[startup+3.10563 s]
/proc/loadavg: 4.25 4.32 4.30 6/340 168441
/proc/meminfo: memFree=125862236/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=334768 CPUtime=5.47 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 18155 0 0 0 537 10 0 0 20 0 20 0 239508434 19521036288 83692 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 83692 5460 1 0 1081800 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=10496 CPUtime=2.86 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 5450 0 0 0 281 5 0 0 20 0 20 0 239508435 19521036288 83692 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 83692 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 83692 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=3232 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 83692 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 334768 KiB

[startup+6.30022 s]
/proc/loadavg: 4.23 4.32 4.30 6/340 168441
/proc/meminfo: memFree=125846104/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=340212 CPUtime=8.78 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 22861 0 0 0 867 11 0 0 20 0 20 0 239508434 19521036288 85053 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 85053 5492 1 0 1082048 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=0 CPUtime=6.04 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 5986 0 0 0 599 5 0 0 20 0 20 0 239508435 19521036288 85053 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=-8412658762062785436 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 85053 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=-8600861969804468924 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 85053 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 85053 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 340212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.31 4.30 5/340 168441
/proc/meminfo: memFree=125776724/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=398196 CPUtime=15.61 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 32048 0 0 0 1548 13 0 0 20 0 20 0 239508434 19521036288 99549 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 99549 5492 1 0 1082074 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=0 CPUtime=12.43 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 7708 0 0 0 1237 6 0 0 20 0 20 0 239508435 19521036288 99549 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=398196 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 99549 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 99549 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 99549 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 15.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 398196 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.33 4.31 5/340 168441
/proc/meminfo: memFree=125654348/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=515208 CPUtime=28.58 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 37551 0 0 0 2841 17 0 0 20 0 20 0 239508434 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 128802 5492 1 0 1082082 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=-8600861969804468924 CPUtime=25.11 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 8770 0 0 0 2505 6 0 0 20 0 20 0 239508435 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=3102 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=515208 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=515208 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 28.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 515208 KiB

[startup+51.1057 s]
/proc/loadavg: 4.21 4.30 4.30 5/341 168443
/proc/meminfo: memFree=125536620/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=515208 CPUtime=54.14 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 38409 0 0 0 5396 18 0 0 20 0 20 0 239508434 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 128802 5492 1 0 1082082 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=515208 CPUtime=50.66 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 9492 0 0 0 5059 7 0 0 20 0 20 0 239508435 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=-8600861969804468924 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=515208 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=515208 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 128802 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0

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

/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3525648 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=14100512 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3525648 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=14102592 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3525648 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3222.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14102592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/340 168612
/proc/meminfo: memFree=105459776/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3284.25 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 280934 0 0 0 328020 405 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=14100512 CPUtime=3166.45 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 148361 0 0 0 316557 88 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=14100512 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 1783 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3284.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/339 168614
/proc/meminfo: memFree=105470244/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3345.24 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 286339 0 0 0 334118 406 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3225.16 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 152200 0 0 0 322427 89 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 1783 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=-8600861969804468924 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3345.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/339 168616
/proc/meminfo: memFree=105481252/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3406.24 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 292360 0 0 0 340216 408 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=27264 CPUtime=3283.86 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 156025 0 0 0 328297 89 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 1843 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=-8600861969804468924 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3406.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/339 168618
/proc/meminfo: memFree=105483920/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3467.12 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 296665 0 0 0 346302 410 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3342.7 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 158250 0 0 0 334181 89 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=-8600861969804468924 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3467.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.02 4.10 4.13 4/314 168654
/proc/meminfo: memFree=113078644/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3528.15 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 301808 0 0 0 352403 412 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3401.41 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 161346 0 0 0 340051 90 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=16584 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=21576 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 2008 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3528.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB

[startup+3522.3 s]
/proc/loadavg: 3.47 3.93 4.07 4/315 168659
/proc/meminfo: memFree=113079300/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3589.13 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 305186 0 0 0 358499 414 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=4740 CPUtime=3460.12 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 163396 0 0 0 345922 90 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=27264 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3533.2 s]
/proc/loadavg: 3.40 3.90 4.06 4/315 168659
/proc/meminfo: memFree=113079364/131250000 swapFree=33010416/33010684
[pid=168421] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3600 cores=4,6
/proc/168421/stat : 168421 (java) S 168418 168421 167700 0 -1 4194304 306040 0 0 0 359586 414 0 0 20 0 20 0 239508434 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
/proc/168421/statm: 4765878 3526679 5492 1 0 4093132 0
[pid=168421/tid=168423] ppid=168418 vsize=19063512 memory=14106716 CPUtime=3470.99 cores=4,6
/proc/168421/task/168423/stat : 168423 (java) R 168418 168421 167700 0 -1 4194368 164243 0 0 0 347009 90 0 0 20 0 20 0 239508435 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168432] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168432/stat : 168432 (Finalizer) S 168418 168421 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239508437 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168439] ppid=168418 vsize=19063512 memory=14106716 CPUtime=0 cores=4,6
/proc/168421/task/168439/stat : 168439 (Common-Cleaner) S 168418 168421 167700 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 20 0 239508438 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
[pid=168421/tid=168441] ppid=168418 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/168421/task/168441/stat : 168441 (Timer-0) S 168418 168421 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239508546 19521036288 3526679 18446744073709551615 93920402767872 93920402771568 140731877010464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93920402779384 93920402780176 93920402989056 140731877013887 140731877013988 140731877013988 140731877019592 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14106716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.01 s, system=4.18972 s

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

[startup+3533.3 s]*
/proc/loadavg: 3.40 3.90 4.06 4/297 168662
/proc/meminfo: memFree=113828888/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3533.34
CPU time (s): 3600.2
CPU user time (s): 3596.01
CPU system time (s): 4.18972
CPU usage (%): 101.892
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 14106716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.01
system time used= 4.18972
maximum resident set size= 14107740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119061
involuntary context switches= 7731


# summary of solver processes directly reported to runsolver:
#   pid: 168421
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.01
#   total CPU system time (s): 4.18972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97863 second user time and 17.7793 second system time

The end

Begin job on nodeC018 at 2025-07-23 04:38:26
IDJOB=4545357
IDBENCH=180847
IDSOLVER=3363
FILE ID=nodeC018/4545357-1753238306
RUNJOBID= nodeC018-1753234778-167711
SLURM_JOB_ID= 9687862
Free space on /tmp= 432992 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545357-1753238306/watcher-4545357-1753238306 -o /tmp/evaluation-result-4545357-1753238306/solver-4545357-1753238306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753234778-167711 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4545357-1753238306.opb

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

MD5SUM BENCH= ecd2a3a27adff12226215cdbd4072e2c
RANDOM SEED=363735930

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126186676 kB
MemAvailable:   126824424 kB
Buffers:            2128 kB
Cached:          1388108 kB
SwapCached:           28 kB
Active:          4027992 kB
Inactive:         309880 kB
Active(anon):    2973592 kB
Inactive(anon):      284 kB
Active(file):    1054400 kB
Inactive(file):   309596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7892 kB
Writeback:             0 kB
AnonPages:       2950176 kB
Mapped:           128648 kB
Shmem:             26240 kB
KReclaimable:     225580 kB
Slab:             322004 kB
SReclaimable:     225580 kB
SUnreclaim:        96424 kB
KernelStack:        5232 kB
PageTables:         9552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13753140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2707456 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC018 at 2025-07-23 05:37:19

Name	PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-1.opb
MD5SUM	ecd2a3a27adff12226215cdbd4072e2c
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	212.659
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	100222
Total number of constraints	145826
Number of constraints which are clauses	32332
Number of constraints which are cardinality constraints (but not clauses)	106
Number of constraints which are nor clauses,nor cardinality constraints	113388
Minimum length of a constraint	1
Maximum length of a constraint	2712
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	128
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	2977
Number of bits of the biggest sum of numbers	12
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4545357

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data