PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	? (TO)	3600.13	3587.99

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: 63968 MiB (56744 MiB free)
  memory of node 1: 64473 MiB (57651 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452691-1721449798/watcher-4452691-1721449798 -o /tmp/evaluation-result-4452691-1721449798/solver-4452691-1721449798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721442671-1060302 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452691-1721449798.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1065285, runsolver pid=1065282

[startup+0.101452 s]*
/proc/loadavg: 4.31 4.29 4.24 5/333 1065303
/proc/meminfo: memFree=117099328/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=18975048 memory=62668 CPUtime=0.14 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 7250 0 0 0 12 2 0 0 20 0 18 0 197142249 19430449152 15667 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4743762 15667 5550 1 0 549375 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 1078198336 5764 0 0 0 7 1 0 0 20 0 18 0 197142249 19430449152 15667 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197142252 19430449152 15667 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197142252 19430449152 15667 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62668 KiB

[startup+0.206168 s]*
/proc/loadavg: 4.31 4.29 4.24 7/333 1065303
/proc/meminfo: memFree=117046140/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=18975048 memory=117276 CPUtime=0.33 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 7806 0 0 0 30 3 0 0 20 0 18 0 197142249 19430449152 29319 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4743762 29319 5864 1 0 549702 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 6045 0 0 0 16 2 0 0 20 0 18 0 197142249 19430449152 29319 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=18975048 memory=1905144 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197142252 19430449152 29319 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197142252 19430449152 29319 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 117276 KiB

[startup+0.315168 s]*
/proc/loadavg: 4.31 4.29 4.24 7/334 1065304
/proc/meminfo: memFree=116998400/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19041612 memory=164720 CPUtime=0.53 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 9466 0 0 0 49 4 0 0 20 0 19 0 197142249 19498610688 41180 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4760403 41180 5880 1 0 551037 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19041612 memory=-7451308366020961125 CPUtime=0.26 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 6073 0 0 0 23 3 0 0 20 0 19 0 197142249 19498610688 41180 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197142252 19498610688 41180 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197142252 19498610688 41180 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164720 KiB

[startup+0.706165 s]
/proc/loadavg: 4.31 4.29 4.24 6/335 1065305
/proc/meminfo: memFree=116878104/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=301912 CPUtime=1.28 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 12807 0 0 0 121 7 0 0 20 0 20 0 197142249 19566772224 75478 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 75478 5896 1 0 552763 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=5628 CPUtime=0.62 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 6194 0 0 0 57 5 0 0 20 0 20 0 197142249 19566772224 75478 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 75478 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=281010986345128 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 75478 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 75478 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 301912 KiB

[startup+1.50117 s]
/proc/loadavg: 4.31 4.29 4.24 6/335 1065305
/proc/meminfo: memFree=116816092/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=545944 CPUtime=2.85 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 14782 0 0 0 274 11 0 0 20 0 20 0 197142249 19566772224 136486 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 136486 5896 1 0 553912 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=13124 CPUtime=1.38 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 6357 0 0 0 130 8 0 0 20 0 20 0 197142249 19566772224 136486 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 136486 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 136486 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=281010986198288 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 136486 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 545944 KiB

[startup+3.10986 s]
/proc/loadavg: 4.52 4.34 4.26 5/335 1065305
/proc/meminfo: memFree=115301716/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=1955824 CPUtime=5.55 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 16846 0 0 0 516 39 0 0 20 0 20 0 197142249 19566772224 488956 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 488956 5896 1 0 1080782 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=0 CPUtime=2.95 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 7076 0 0 0 260 35 0 0 20 0 20 0 197142249 19566772224 488956 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 488956 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 488956 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 488956 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1955824 KiB

[startup+6.30029 s]
/proc/loadavg: 4.52 4.34 4.26 5/335 1065305
/proc/meminfo: memFree=114693472/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=2465100 CPUtime=9.2 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 21022 0 0 0 871 49 0 0 20 0 20 0 197142249 19566772224 616275 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 616275 5896 1 0 1082470 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=13124 CPUtime=6.1 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 7782 0 0 0 566 44 0 0 20 0 20 0 197142249 19566772224 616275 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 616275 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=7100839861465945203 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 616275 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=550040 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 616275 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 9.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2465100 KiB

[startup+12.7003 s]
/proc/loadavg: 4.44 4.33 4.25 5/335 1065306
/proc/meminfo: memFree=114526440/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=2631856 CPUtime=15.86 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 32250 0 0 0 1532 54 0 0 20 0 20 0 197142249 19566772224 657964 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 657964 5912 1 0 1083188 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=0 CPUtime=12.43 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 9787 0 0 0 1196 47 0 0 20 0 20 0 197142249 19566772224 657964 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 657964 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=2631856 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 657964 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 657964 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2631856 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 4.32 4.25 5/338 1065367
/proc/meminfo: memFree=114528660/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=2628568 CPUtime=29.23 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 36180 0 0 0 2868 55 0 0 20 0 20 0 197142249 19566772224 657142 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 657142 5912 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=2631856 CPUtime=25.07 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 11305 0 0 0 2460 47 0 0 20 0 20 0 197142249 19566772224 657142 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=-7451308366020961125 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 657142 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=50644 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 657142 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 657142 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 29.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2628568 KiB

[startup+51.1063 s]
/proc/loadavg: 4.31 4.31 4.25 5/336 1065373
/proc/meminfo: memFree=114524716/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=2632896 CPUtime=54.85 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 42157 0 0 0 5428 57 0 0 20 0 20 0 197142249 19566772224 658224 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 658224 5912 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=2632704 CPUtime=50.54 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 13933 0 0 0 5006 48 0 0 20 0 20 0 197142249 19566772224 658224 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=50644 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 658224 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0

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

/proc/meminfo: memFree=110132424/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=3943192 CPUtime=3293.44 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 258384 0 0 0 329069 275 0 0 20 0 20 0 197142249 19566772224 985798 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 985798 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=50644 CPUtime=3252.26 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 138961 0 0 0 325145 81 0 0 20 0 20 0 197142249 19566772224 985798 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 985798 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=3930732 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4048 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 985798 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=3943192 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 985798 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3293.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3943192 KiB

[startup+3342.33 s]
/proc/loadavg: 4.20 4.26 4.22 5/333 1067130
/proc/meminfo: memFree=110113396/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=3957528 CPUtime=3353.65 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 261827 0 0 0 335087 278 0 0 20 0 20 0 197142249 19566772224 989382 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 989382 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=3947288 CPUtime=3311.77 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) S 1065282 1065285 1060291 0 -1 1077936192 141368 0 0 0 331095 82 0 0 20 0 20 0 197142249 19566772224 989382 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=3934828 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 989382 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=-9187040399165061312 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4090 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 989382 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 989382 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3353.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3957528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.47 4.31 4.24 5/333 1067140
/proc/meminfo: memFree=110086456/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=3982104 CPUtime=3413.83 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 264985 0 0 0 341101 282 0 0 20 0 20 0 197142249 19566772224 995526 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 995526 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=14364 CPUtime=3371.24 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 143453 0 0 0 337041 83 0 0 20 0 20 0 197142249 19566772224 995526 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=3975960 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 995526 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=3975960 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4179 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 995526 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 995526 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3413.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3982104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.32 4.25 5/333 1067152
/proc/meminfo: memFree=110061580/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=4002584 CPUtime=3473.96 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 267949 0 0 0 347110 286 0 0 20 0 20 0 197142249 19566772224 1000646 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 1000646 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=3959576 CPUtime=3430.81 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 145497 0 0 0 342998 83 0 0 20 0 20 0 197142249 19566772224 1000646 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=3996440 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1000646 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=3975960 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4268 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1000646 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=4000536 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 1000646 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3473.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4002584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.28 4.24 5/334 1067331
/proc/meminfo: memFree=110044448/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=4016920 CPUtime=3534.05 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 271315 0 0 0 353115 290 0 0 20 0 20 0 197142249 19566772224 1004230 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 1004230 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=13124 CPUtime=3490.3 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 147891 0 0 0 348946 84 0 0 20 0 20 0 197142249 19566772224 1004230 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=4014872 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1004230 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4357 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1004230 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 1004230 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3534.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4016920 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.26 4.23 5/334 1067341
/proc/meminfo: memFree=110019532/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=4025112 CPUtime=3594.36 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 274475 0 0 0 359143 293 0 0 20 0 20 0 197142249 19566772224 1006278 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 1006278 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=13124 CPUtime=3549.64 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 149938 0 0 0 354879 85 0 0 20 0 20 0 197142249 19566772224 1006278 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1006278 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=4018968 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4446 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1006278 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 1006278 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3594.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4025112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3587.9 s]
/proc/loadavg: 4.15 4.25 4.23 5/334 1067341
/proc/meminfo: memFree=110009356/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=4031256 CPUtime=3600 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 274555 0 0 0 359706 294 0 0 20 0 20 0 197142249 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 1007814 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=3967768 CPUtime=3555.17 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 150002 0 0 0 355432 85 0 0 20 0 20 0 197142249 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=4575351353148062 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4446 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=4031256 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4031256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.17 s, system=2.95813 s

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

[startup+3587.9 s]
/proc/loadavg: 4.15 4.25 4.23 5/334 1067341
/proc/meminfo: memFree=110009356/131524600 swapFree=131071216/131071996
[pid=1065285] ppid=1065282 vsize=19108176 memory=4031256 CPUtime=3600 cores=4,6
/proc/1065285/stat : 1065285 (java) S 1065282 1065285 1060291 0 -1 1077936128 274555 0 0 0 359706 294 0 0 20 0 20 0 197142249 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
/proc/1065285/statm: 4777044 1007814 5925 1 0 1084025 0
[pid=1065285/tid=1065287] ppid=1065282 vsize=19108176 memory=3967768 CPUtime=3555.17 cores=4,6
/proc/1065285/task/1065287/stat : 1065287 (java) R 1065282 1065285 1060291 0 -1 4194368 150002 0 0 0 355432 85 0 0 20 0 20 0 197142249 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065296] ppid=1065282 vsize=19108176 memory=4575351353148062 CPUtime=0 cores=4,6
/proc/1065285/task/1065296/stat : 1065296 (Finalizer) S 1065282 1065285 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065303] ppid=1065282 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1065285/task/1065303/stat : 1065303 (Common-Cleaner) S 1065282 1065285 1060291 0 -1 1077936192 4446 0 0 0 0 0 0 0 20 0 20 0 197142252 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
[pid=1065285/tid=1065305] ppid=1065282 vsize=19108176 memory=4031256 CPUtime=0 cores=4,6
/proc/1065285/task/1065305/stat : 1065305 (Timer-0) S 1065282 1065285 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197142295 19566772224 1007814 134679101440 94498670272512 94498670276208 140724164786384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94498670284024 94498670284816 94498695069696 140724164793331 140724164793439 140724164793439 140724164800456 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4031256 KiB

Child status: 143

Real time (s): 3587.99
CPU time (s): 3600.13
CPU user time (s): 3597.17
CPU system time (s): 2.95813
CPU usage (%): 100.338
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4031256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.17
system time used= 2.95813
maximum resident set size= 4032096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134047
involuntary context switches= 4419


# summary of solver processes directly reported to runsolver:
#   pid: 1065285
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3597.17
#   total CPU system time (s): 2.95813

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.4079 second user time and 19.2053 second system time

The end

Begin job on nodeC018 at 2024-07-20 06:30:11
IDJOB=4452691
IDBENCH=165294
IDSOLVER=3052
FILE ID=nodeC018/4452691-1721449798
RUNJOBID= nodeC018-1721442671-1060302
SLURM_JOB_ID= 7545651
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452691-1721449798/watcher-4452691-1721449798 -o /tmp/evaluation-result-4452691-1721449798/solver-4452691-1721449798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721442671-1060302 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452691-1721449798.opb

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

MD5SUM BENCH= 5d1633616664d1d404e86526e434c88a
RANDOM SEED=622852423

nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3649.297
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3682.710
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3605.870
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.966
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3642.459
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3682.837
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3625.190
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3599.758
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117141772 kB
MemAvailable:   121370052 kB
Buffers:          559148 kB
Cached:          4469600 kB
SwapCached:          148 kB
Active:          1128556 kB
Inactive:       12579168 kB
Active(anon):       1576 kB
Inactive(anon):  8723540 kB
Active(file):    1126980 kB
Inactive(file):  3855628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              1236 kB
Writeback:             0 kB
AnonPages:       8679144 kB
Mapped:           129928 kB
Shmem:             45784 kB
KReclaimable:     170988 kB
Slab:             275620 kB
SReclaimable:     170988 kB
SUnreclaim:       104632 kB
KernelStack:        5052 kB
PageTables:        27200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9525156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8529920 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC018 at 2024-07-20 07:29:59

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
MD5SUM	5d1633616664d1d404e86526e434c88a
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.56515
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	18705
Total number of constraints	3742
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87
Number of constraints which are nor clauses,nor cardinality constraints	3655
Minimum length of a constraint	5
Maximum length of a constraint	15
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	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	20
Number of bits of the biggest sum of numbers	5
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 4452691

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data