PB'25 competition competition: execution trace

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545358-1753238541/watcher-4545358-1753238541 -o /tmp/evaluation-result-4545358-1753238541/solver-4545358-1753238541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1753234865-168238 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4545358-1753238541 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4545358-1753238541.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100062 s]*
/proc/loadavg: 4.33 4.43 4.52 5/338 169522
/proc/meminfo: memFree=119666224/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=18930384 memory=57780 CPUtime=0.13 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 6570 0 0 0 11 2 0 0 20 0 18 0 239531567 19384713216 14445 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4732596 14445 5353 1 0 547604 0
[pid=169504/tid=169506] ppid=169501 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 5066 0 0 0 6 1 0 0 20 0 18 0 239531568 19384713216 14445 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239531570 19384713216 14445 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=18930384 memory=58485492697507 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239531570 19384713216 14445 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57780 KiB

[startup+0.205695 s]*
/proc/loadavg: 4.33 4.43 4.52 6/338 169522
/proc/meminfo: memFree=119653832/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=18930384 memory=68180 CPUtime=0.31 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 7080 0 0 0 29 2 0 0 20 0 18 0 239531567 19384713216 17045 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4732596 17045 5417 1 0 547946 0
[pid=169504/tid=169506] ppid=169501 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 5326 0 0 0 15 1 0 0 20 0 18 0 239531568 19384713216 17045 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=18930384 memory=2630 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239531570 19384713216 17045 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239531570 19384713216 17045 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68180 KiB

[startup+0.305682 s]*
/proc/loadavg: 4.33 4.43 4.52 6/338 169522
/proc/meminfo: memFree=119618040/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=18930384 memory=109236 CPUtime=0.5 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 8563 0 0 0 47 3 0 0 20 0 18 0 239531567 19384713216 27309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4732596 27309 5417 1 0 548944 0
[pid=169504/tid=169506] ppid=169501 vsize=18930384 memory=-9105545499240080060 CPUtime=0.25 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 5345 0 0 0 23 2 0 0 20 0 18 0 239531568 19384713216 27309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239531570 19384713216 27309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239531570 19384713216 27309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109236 KiB

[startup+0.700229 s]
/proc/loadavg: 4.33 4.43 4.52 6/339 169523
/proc/meminfo: memFree=119560192/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=18996948 memory=189236 CPUtime=1.27 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 10607 0 0 0 121 6 0 0 20 0 19 0 239531567 19452874752 47309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4749237 47309 5481 1 0 550515 0
[pid=169504/tid=169506] ppid=169501 vsize=18996948 memory=24704 CPUtime=0.6 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 5379 0 0 0 57 3 0 0 20 0 19 0 239531568 19452874752 47309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239531570 19452874752 47309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239531570 19452874752 47309 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 189236 KiB

[startup+1.50024 s]
/proc/loadavg: 4.33 4.43 4.52 6/339 169523
/proc/meminfo: memFree=119479412/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=333704 CPUtime=2.86 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 17056 0 0 0 275 11 0 0 20 0 20 0 239531567 19521036288 83426 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 83426 5481 1 0 993573 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=3200 CPUtime=1.24 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 5502 0 0 0 119 5 0 0 20 0 20 0 239531568 19521036288 83426 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 83426 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 83426 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 333704 KiB

[startup+3.10559 s]
/proc/loadavg: 4.33 4.43 4.52 6/340 169524
/proc/meminfo: memFree=119246584/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=433228 CPUtime=5.85 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 17387 0 0 0 571 14 0 0 20 0 20 0 239531567 19521036288 108307 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 108307 5481 1 0 993595 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=10752 CPUtime=2.78 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 5546 0 0 0 271 7 0 0 20 0 20 0 239531568 19521036288 108307 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 108307 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 108307 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 108307 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 433228 KiB

[startup+6.30021 s]
/proc/loadavg: 4.31 4.43 4.52 5/340 169524
/proc/meminfo: memFree=119202416/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=454936 CPUtime=9.75 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 23516 0 0 0 959 16 0 0 20 0 20 0 239531567 19521036288 113734 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 113734 5513 1 0 993709 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=0 CPUtime=5.94 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 6327 0 0 0 586 8 0 0 20 0 20 0 239531568 19521036288 113734 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=7245577201579234449 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 113734 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=-9105545499240080060 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 113734 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 113734 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 9.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 454936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.42 4.52 5/340 169524
/proc/meminfo: memFree=119034952/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=582356 CPUtime=17.18 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 30716 0 0 0 1696 22 0 0 20 0 20 0 239531567 19521036288 145589 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 145589 5513 1 0 994116 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=0 CPUtime=12.17 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 7466 0 0 0 1206 11 0 0 20 0 20 0 239531568 19521036288 145589 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=498288 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 145589 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 145589 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 145589 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 17.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 582356 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.40 4.51 5/340 169524
/proc/meminfo: memFree=118681548/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=843552 CPUtime=30.37 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 38278 0 0 0 3006 31 0 0 20 0 20 0 239531567 19521036288 210888 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 210888 5513 1 0 994116 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=-9105545499240080060 CPUtime=24.73 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 8966 0 0 0 2458 15 0 0 20 0 20 0 239531568 19521036288 210888 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=3100 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 210888 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=708332 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 210888 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=708332 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 210888 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 30.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 843552 KiB

[startup+51.1057 s]
/proc/loadavg: 4.26 4.40 4.51 5/340 169526
/proc/meminfo: memFree=118015060/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=1403696 CPUtime=56.01 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 42722 0 0 0 5557 44 0 0 20 0 20 0 239531567 19521036288 350924 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 350924 5513 1 0 1119441 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=1372976 CPUtime=50.21 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 10597 0 0 0 4995 26 0 0 20 0 20 0 239531568 19521036288 350924 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=-9105545499240080060 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 350924 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=1047344 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 350924 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=843552 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 350924 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0

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

/proc/meminfo: memFree=88487356/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3245.67 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 315454 0 0 0 322732 1835 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086593 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=5632 CPUtime=3086.49 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 175583 0 0 0 306990 1659 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=24704 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 2892 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3245.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

[startup+3222.3 s]
/proc/loadavg: 3.86 4.14 4.19 4/316 169736
/proc/meminfo: memFree=88033436/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3307.12 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 320049 0 0 0 328845 1867 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086593 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=5632 CPUtime=3144.68 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 178775 0 0 0 312778 1690 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282140 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=16282140 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3007 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3307.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

[startup+3282.3 s]
/proc/loadavg: 3.37 3.94 4.12 4/316 169738
/proc/meminfo: memFree=87573680/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3368.62 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 326397 0 0 0 334959 1903 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086597 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3202.85 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 183621 0 0 0 318560 1725 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3008 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3368.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

[startup+3342.3 s]
/proc/loadavg: 3.28 3.81 4.06 4/316 169740
/proc/meminfo: memFree=87081128/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3430.48 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 331275 0 0 0 341109 1939 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086597 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=5276 CPUtime=3260.64 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 186647 0 0 0 324305 1759 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3089 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3430.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.68 4.00 3/290 169775
/proc/meminfo: memFree=89627984/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3495.68 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 341364 0 0 0 347594 1974 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086597 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=5276 CPUtime=3318.47 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 193001 0 0 0 330056 1791 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3234 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=-9105545499240080060 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3495.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

[startup+3462.3 s]
/proc/loadavg: 2.49 3.40 3.88 4/290 169777
/proc/meminfo: memFree=89176888/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3557.3 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 346294 0 0 0 353722 2008 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086605 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=5276 CPUtime=3376.52 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 196724 0 0 0 335829 1823 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3275 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3557.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3503.9 s]
/proc/loadavg: 2.30 3.24 3.80 4/290 169779
/proc/meminfo: memFree=88861776/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3600.05 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 350014 0 0 0 357973 2032 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086605 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3416.77 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 199259 0 0 0 339832 1845 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3275 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.84 s, system=20.3655 s

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

[startup+3503.9 s]
/proc/loadavg: 2.30 3.24 3.80 4/290 169779
/proc/meminfo: memFree=88861776/131249996 swapFree=33006296/33010684
[pid=169504] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3600.05 cores=0,2
/proc/169504/stat : 169504 (java) S 169501 169504 168228 0 -1 4194304 350014 0 0 0 357973 2032 0 0 20 0 20 0 239531567 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
/proc/169504/statm: 4765878 4070663 5545 1 0 4086605 0
[pid=169504/tid=169506] ppid=169501 vsize=19063512 memory=16282652 CPUtime=3416.77 cores=0,2
/proc/169504/task/169506/stat : 169506 (java) R 169501 169504 168228 0 -1 4194368 199259 0 0 0 339832 1845 0 0 20 0 20 0 239531568 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169515] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169515/stat : 169515 (Finalizer) S 169501 169504 168228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169522] ppid=169501 vsize=19063512 memory=16282652 CPUtime=0 cores=0,2
/proc/169504/task/169522/stat : 169522 (Common-Cleaner) S 169501 169504 168228 0 -1 4194368 3275 0 0 0 0 0 0 0 20 0 20 0 239531570 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
[pid=169504/tid=169524] ppid=169501 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/169504/task/169524/stat : 169524 (Timer-0) S 169501 169504 168228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239531686 19521036288 4070663 18446744073709551615 93835705024512 93835705028208 140724498241632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93835705036024 93835705036816 93835709018112 140724498245972 140724498246116 140724498246116 140724498251720 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16282652 KiB

Child status: 143

Real time (s): 3504
CPU time (s): 3600.21
CPU user time (s): 3579.84
CPU system time (s): 20.3655
CPU usage (%): 102.746
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16282652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.84
system time used= 20.3655
maximum resident set size= 16283804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38974112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125080
involuntary context switches= 12922


# summary of solver processes directly reported to runsolver:
#   pid: 169504
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3579.84
#   total CPU system time (s): 20.3655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15342 second user time and 16.8655 second system time

The end

Begin job on nodeC015 at 2025-07-23 04:42:21
IDJOB=4545358
IDBENCH=180847
IDSOLVER=3364
FILE ID=nodeC015/4545358-1753238541
RUNJOBID= nodeC015-1753234865-168238
SLURM_JOB_ID= 9687864
Free space on /tmp= 430356 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545358-1753238541/watcher-4545358-1753238541 -o /tmp/evaluation-result-4545358-1753238541/solver-4545358-1753238541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1753234865-168238 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4545358-1753238541 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4545358-1753238541.opb

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

MD5SUM BENCH= ecd2a3a27adff12226215cdbd4072e2c
RANDOM SEED=481915494

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.048
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		: 3600.071
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		: 3562.343
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		: 3592.105
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		: 3599.777
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		: 3599.708
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		: 3566.682
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		: 3609.156
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:        119695584 kB
MemAvailable:   121834112 kB
Buffers:            1508 kB
Cached:          2905448 kB
SwapCached:         3888 kB
Active:          8786324 kB
Inactive:        2060684 kB
Active(anon):    7914200 kB
Inactive(anon):    48308 kB
Active(file):     872124 kB
Inactive(file):  2012376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39200 kB
Writeback:             0 kB
AnonPages:       7939200 kB
Mapped:           126408 kB
Shmem:             22352 kB
KReclaimable:     186532 kB
Slab:             282964 kB
SReclaimable:     186532 kB
SUnreclaim:        96432 kB
KernelStack:        5176 kB
PageTables:        19332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16192492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7659520 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= 413004 MiB
End job on nodeC015 at 2025-07-23 05:40:45

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 4545358

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data