PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j CP VeriPB 2025-06-06	SAT	324.574	314.034

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495143-1751158906/watcher-4495143-1751158906 -o /tmp/evaluation-result-4495143-1751158906/solver-4495143-1751158906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751158906-15561 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495143-1751158906 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4495143-1751158906.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15610, runsolver pid=15601

[startup+0.100065 s]*
/proc/loadavg: 0.99 1.40 2.30 8/261 15628
/proc/meminfo: memFree=130368696/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=483604 memory=11776 CPUtime=0.02 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 680 0 134 0 0 2 0 0 20 0 2 0 31569419 495210496 2944 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 120901 2944 2528 1 0 2498 0
[pid=15610/tid=15626] ppid=15601 vsize=483604 memory=4026532124 CPUtime=0 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 143 0 56 0 0 0 0 0 20 0 2 0 31569427 495210496 3008 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 483604 KiB
Current children cumulated memory: 11776 KiB

[startup+0.213209 s]*
/proc/loadavg: 0.99 1.40 2.30 14/318 15685
/proc/meminfo: memFree=130300420/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=18864664 memory=41828 CPUtime=0.08 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 5146 0 366 0 3 5 0 0 20 0 18 0 31569419 19317415936 10457 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4716166 10457 4611 1 0 546611 0
[pid=15610/tid=15626] ppid=15601 vsize=18930200 memory=3472328132922704156 CPUtime=0.06 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 4365 0 280 0 3 3 0 0 20 0 18 0 31569427 19384524800 10457 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=18930200 memory=2576 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31569440 19384524800 10489 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=18930200 memory=54096036103158 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (java) R 15601 15610 15550 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 18 0 31569441 19384524800 10489 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18864664 KiB
Current children cumulated memory: 41828 KiB

[startup+0.31506 s]*
/proc/loadavg: 0.99 1.40 2.30 11/326 15693
/proc/meminfo: memFree=130284192/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=18930384 memory=48728 CPUtime=0.22 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 5862 0 396 0 16 6 0 0 20 0 18 0 31569419 19384713216 12182 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4732596 12182 5187 1 0 547178 0
[pid=15610/tid=15626] ppid=15601 vsize=18930384 memory=-6000919494265169774 CPUtime=0.13 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 4690 0 301 0 9 4 0 0 20 0 18 0 31569427 19384713216 12182 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=18930384 memory=-4421386483379693158 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31569440 19384713216 12182 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31569441 19384713216 12182 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48728 KiB

[startup+0.70039 s]
/proc/loadavg: 0.99 1.40 2.30 14/326 15693
/proc/meminfo: memFree=130267748/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=18930384 memory=61248 CPUtime=0.65 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 6817 0 401 0 57 8 0 0 20 0 18 0 31569419 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4732596 15312 5315 1 0 547904 0
[pid=15610/tid=15626] ppid=15601 vsize=18930384 memory=17024 CPUtime=0.37 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) D 15601 15610 15550 0 -1 4194368 5156 0 304 0 32 5 0 0 20 0 18 0 31569427 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31569440 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=18930384 memory=5504 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31569441 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61248 KiB

[startup+1.50036 s]
/proc/loadavg: 0.99 1.40 2.30 2/326 15693
/proc/meminfo: memFree=130257036/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=18930384 memory=61248 CPUtime=0.65 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 6817 0 401 0 57 8 0 0 20 0 18 0 31569419 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4732596 15312 5315 1 0 547904 0
[pid=15610/tid=15626] ppid=15601 vsize=18930384 memory=5504 CPUtime=0.37 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) D 15601 15610 15550 0 -1 4194368 5156 0 304 0 32 5 0 0 20 0 18 0 31569427 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31569440 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31569441 19384713216 15312 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61248 KiB

[startup+3.11027 s]
/proc/loadavg: 0.99 1.40 2.30 11/330 15697
/proc/meminfo: memFree=130139508/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=18996948 memory=105724 CPUtime=1.97 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 8944 0 401 0 186 11 0 0 20 0 19 0 31569419 19452874752 26431 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4749237 26431 5347 1 0 549193 0
[pid=15610/tid=15626] ppid=15601 vsize=18996948 memory=0 CPUtime=0.93 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 5335 0 304 0 85 8 0 0 20 0 19 0 31569427 19452874752 26431 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31569440 19452874752 26431 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=18996948 memory=68292 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31569441 19452874752 26431 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=18996948 memory=3545798784196034021 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31569688 19452874752 26431 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105724 KiB
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 1.55 1.51 2.33 8/311 15711
/proc/meminfo: memFree=128924372/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=511120 CPUtime=8.29 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 23578 0 406 0 802 27 0 0 20 0 20 0 31569419 19521036288 127780 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 127780 5379 1 0 555755 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=180568 CPUtime=3.93 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 6754 0 304 0 375 18 0 0 20 0 20 0 31569427 19521036288 127780 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 127780 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=-6000919502855104366 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 127780 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 127780 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 511120 KiB

[startup+12.7004 s]
/proc/loadavg: 1.90 1.59 2.35 8/334 15769
/proc/meminfo: memFree=126466484/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=851832 CPUtime=17.02 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 33423 0 406 0 1664 38 0 0 20 0 20 0 31569419 19521036288 212958 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 212958 5379 1 0 555755 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=14464 CPUtime=10.15 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 8265 0 304 0 989 26 0 0 20 0 20 0 31569427 19521036288 212958 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=180568 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 212958 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=401532 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 212958 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 212958 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 17.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 851832 KiB

[startup+25.5004 s]
/proc/loadavg: 3.09 1.87 2.43 8/333 16035
/proc/meminfo: memFree=123739480/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=1774364 CPUtime=31.02 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 41051 0 406 0 3040 62 0 0 20 0 20 0 31569419 19521036288 443591 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 443591 5379 1 0 663201 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=180568 CPUtime=22.39 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) S 15601 15610 15550 0 -1 4194368 11655 0 304 0 2192 47 0 0 20 0 20 0 31569427 19521036288 443591 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=-6000919502855104366 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 443591 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=1774364 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 443591 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=1347820 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 443591 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 31.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1774364 KiB

[startup+51.1136 s]
/proc/loadavg: 4.32 2.27 2.54 6/336 16238
/proc/meminfo: memFree=120842360/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3248836 CPUtime=58.59 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 46953 0 406 0 5759 100 0 0 20 0 20 0 31569419 19521036288 812209 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 812209 5379 1 0 1028780 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=3248708 CPUtime=47.07 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 13347 0 304 0 4625 82 0 0 20 0 20 0 31569427 19521036288 812209 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=3248708 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 812209 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=180568 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 812209 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 812209 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 58.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3248836 KiB

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

/proc/meminfo: memFree=120968344/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3386604 CPUtime=231.91 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 65192 0 406 0 23056 135 0 0 20 0 20 0 31569419 19521036288 846651 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 846651 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=3368172 CPUtime=214.53 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 18749 0 304 0 21353 100 0 0 20 0 20 0 31569427 19521036288 846651 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=3368172 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 846651 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=3378412 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 166 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 846651 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=3382508 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 846651 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 231.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3386604 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 3.41 2.97 5/334 16776
/proc/meminfo: memFree=120747420/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3448080 CPUtime=292.54 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 67601 0 406 0 29108 146 0 0 20 0 20 0 31569419 19521036288 862020 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 862020 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=3435772 CPUtime=273.27 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 19965 0 304 0 27221 106 0 0 20 0 20 0 31569427 19521036288 862020 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=-6000919502855104366 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 862020 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 166 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 862020 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 862020 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 292.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3448080 KiB

[startup+314.034 s]
# the end of solver process 15610 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=323.016 s, system=1.5571 s

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

[startup+294.4 s]
/proc/loadavg: 4.19 3.43 2.98 5/334 16776
/proc/meminfo: memFree=120713848/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3454224 CPUtime=304.66 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 68734 0 406 0 30318 148 0 0 20 0 20 0 31569419 19521036288 863556 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 863556 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=3441916 CPUtime=285.19 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 20457 0 304 0 28412 107 0 0 20 0 20 0 31569427 19521036288 863556 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=3448080 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 863556 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 166 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 863556 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=3454224 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 863556 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 304.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3454224 KiB

[startup+307.2 s]
/proc/loadavg: 4.14 3.46 3.00 5/331 16776
/proc/meminfo: memFree=120668728/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3472688 CPUtime=317.66 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 71105 0 406 0 31615 151 0 0 20 0 20 0 31569419 19521036288 868172 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 868172 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=3249092 CPUtime=297.73 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 20702 0 304 0 29664 109 0 0 20 0 20 0 31569427 19521036288 868172 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=164 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 868172 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=3394796 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 166 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 868172 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=3378412 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 868172 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 317.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3472688 KiB

[startup+310.4 s]
/proc/loadavg: 4.13 3.47 3.00 5/331 16776
/proc/meminfo: memFree=120652472/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3480880 CPUtime=320.94 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 71140 0 406 0 31942 152 0 0 20 0 20 0 31569419 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 870220 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=17024 CPUtime=300.83 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 20704 0 304 0 29974 109 0 0 20 0 20 0 31569427 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=-6000919502855104366 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=3480880 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 166 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 320.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3480880 KiB

[startup+312 s]*
/proc/loadavg: 4.13 3.47 3.00 5/331 16776
/proc/meminfo: memFree=120644288/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3480880 CPUtime=322.55 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 71160 0 406 0 32103 152 0 0 20 0 20 0 31569419 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 870220 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=-6000919485608060526 CPUtime=302.44 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 20724 0 304 0 30135 109 0 0 20 0 20 0 31569427 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=6816 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=3480880 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 166 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=2419760 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 322.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3480880 KiB

[startup+312.8 s]
/proc/loadavg: 4.13 3.47 3.00 5/331 16776
/proc/meminfo: memFree=120644288/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3480880 CPUtime=323.34 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 71219 0 406 0 32182 152 0 0 20 0 20 0 31569419 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 870220 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=17024 CPUtime=303.22 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 20724 0 304 0 30213 109 0 0 20 0 20 0 31569427 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 225 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 323.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3480880 KiB

[startup+313.6 s]
/proc/loadavg: 4.13 3.47 3.00 5/331 16776
/proc/meminfo: memFree=120644288/131382120 swapFree=33010684/33010684
[pid=15610] ppid=15601 vsize=19063512 memory=3480880 CPUtime=324.14 cores=4,6
/proc/15610/stat : 15610 (java) S 15601 15610 15550 0 -1 4194304 71219 0 406 0 32261 153 0 0 20 0 20 0 31569419 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
/proc/15610/statm: 4765878 870220 5379 1 0 1028812 0
[pid=15610/tid=15626] ppid=15601 vsize=19063512 memory=11264 CPUtime=304.02 cores=4,6
/proc/15610/task/15626/stat : 15626 (java) R 15601 15610 15550 0 -1 4194368 20724 0 304 0 30293 109 0 0 20 0 20 0 31569427 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15662] ppid=15601 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/15610/task/15662/stat : 15662 (Finalizer) S 15601 15610 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31569440 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15690] ppid=15601 vsize=19063512 memory=3480880 CPUtime=0 cores=4,6
/proc/15610/task/15690/stat : 15690 (Common-Cleaner) S 15601 15610 15550 0 -1 4194368 225 0 0 0 0 0 0 0 20 0 20 0 31569441 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
[pid=15610/tid=15697] ppid=15601 vsize=19063512 memory=4896 CPUtime=0 cores=4,6
/proc/15610/task/15697/stat : 15697 (Timer-0) S 15601 15610 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31569688 19521036288 870220 18446744073709551615 94287502327808 94287502331504 140721454569904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94287502339320 94287502340112 94287529910272 140721454577965 140721454578150 140721454578150 140721454583752 0
Current children cumulated CPU time: 324.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3480880 KiB

[startup+314.001 s]*
/proc/loadavg: 4.13 3.47 3.00 5/313 16778
/proc/meminfo: memFree=121692460/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 314.034
CPU time (s): 324.574
CPU user time (s): 323.016
CPU system time (s): 1.5571
CPU usage (%): 103.356
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3480880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 323.016
system time used= 1.5571
maximum resident set size= 3481776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74004
page faults= 406
swaps= 0
block input operations= 20168
block output operations= 170488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14523
involuntary context switches= 4353


# summary of solver processes directly reported to runsolver:
#   pid: 15610
#   total CPU time (s): 324.574
#   total CPU user time (s): 323.016
#   total CPU system time (s): 1.5571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56327 second user time and 3.15185 second system time

The end

Begin job on nodeC002 at 2025-06-29 03:01:46
IDJOB=4495143
IDBENCH=147991
IDSOLVER=3362
FILE ID=nodeC002/4495143-1751158906
RUNJOBID= nodeC002-1751158906-15561
SLURM_JOB_ID= 9587497
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4495143-1751158906/watcher-4495143-1751158906 -o /tmp/evaluation-result-4495143-1751158906/solver-4495143-1751158906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751158906-15561 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495143-1751158906 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4495143-1751158906.opb

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

MD5SUM BENCH= e60a4324ee6e4da38e5288b70d7610ce
RANDOM SEED=245849424

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130378224 kB
MemAvailable:   129976432 kB
Buffers:            3280 kB
Cached:           362984 kB
SwapCached:            0 kB
Active:           265148 kB
Inactive:         164972 kB
Active(anon):      81820 kB
Inactive(anon):        0 kB
Active(file):     183328 kB
Inactive(file):   164972 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3356 kB
Writeback:             0 kB
AnonPages:         67052 kB
Mapped:           102152 kB
Shmem:             17960 kB
KReclaimable:      83992 kB
Slab:             164716 kB
SReclaimable:      83992 kB
SUnreclaim:        80724 kB
KernelStack:        3920 kB
PageTables:         2900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC002 at 2025-06-29 03:07:00

Name	PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547461.opb
MD5SUM	e60a4324ee6e4da38e5288b70d7610ce
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	0.070865
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	231
Total number of constraints	2707
Number of constraints which are clauses	2684
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	2
Maximum length of a constraint	110
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	25
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	695
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4495143

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data