PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12	? (TO)	3600.33	3213.34

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61112 MiB free)
  memory of node 1: 64473 MiB (59238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451545-1721425541/watcher-4451545-1721425541 -o /tmp/evaluation-result-4451545-1721425541/solver-4451545-1721425541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721422136-1031744 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4451545-1721425541.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=1034091, runsolver pid=1034088

[startup+0.101045 s]*
/proc/loadavg: 4.58 4.76 4.56 7/328 1034109
/proc/meminfo: memFree=123197460/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=18975048 memory=62644 CPUtime=0.14 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 7242 0 0 0 12 2 0 0 20 0 18 0 194720300 19430449152 15661 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4743762 15661 5543 1 0 549374 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 1078198336 5767 0 0 0 7 1 0 0 20 0 18 0 194720301 19430449152 15661 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194720303 19430449152 15661 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194720304 19430449152 15661 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62644 KiB

[startup+0.206302 s]*
/proc/loadavg: 4.58 4.76 4.56 7/328 1034109
/proc/meminfo: memFree=123156352/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=18975048 memory=105072 CPUtime=0.33 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 7806 0 0 0 30 3 0 0 20 0 18 0 194720300 19430449152 26268 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4743762 26268 5869 1 0 549715 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 6056 0 0 0 16 2 0 0 20 0 18 0 194720301 19430449152 26268 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=18975048 memory=1676398 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194720303 19430449152 26268 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194720304 19430449152 26268 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 105072 KiB

[startup+0.305756 s]*
/proc/loadavg: 4.58 4.76 4.56 7/329 1034110
/proc/meminfo: memFree=123098680/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19041612 memory=162216 CPUtime=0.51 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 9296 0 0 0 46 5 0 0 20 0 19 0 194720300 19498610688 40554 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4760403 40554 5885 1 0 550899 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19041612 memory=-7524210384988627815 CPUtime=0.26 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 6097 0 0 0 23 3 0 0 20 0 19 0 194720301 19498610688 40554 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194720303 19498610688 40554 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194720304 19498610688 40554 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162216 KiB

[startup+0.709314 s]
/proc/loadavg: 4.58 4.76 4.56 7/330 1034111
/proc/meminfo: memFree=123094028/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=203756 CPUtime=1.29 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 11480 0 0 0 123 6 0 0 20 0 20 0 194720300 19566772224 50939 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 50939 5885 1 0 552584 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=5468 CPUtime=0.61 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 6184 0 0 0 57 4 0 0 20 0 20 0 194720301 19566772224 50939 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 50939 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 50939 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=117636 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 50939 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203756 KiB

[startup+1.50031 s]
/proc/loadavg: 4.58 4.76 4.56 8/330 1034111
/proc/meminfo: memFree=123055768/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=407676 CPUtime=2.86 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 23151 0 0 0 275 11 0 0 20 0 20 0 194720300 19566772224 101919 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 101919 5885 1 0 556437 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=12420 CPUtime=1.36 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 6587 0 0 0 129 7 0 0 20 0 20 0 194720301 19566772224 101919 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 101919 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 101919 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=280447137522960 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 101919 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 407676 KiB

[startup+3.1063 s]
/proc/loadavg: 4.70 4.78 4.56 5/330 1034113
/proc/meminfo: memFree=121918368/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=1327576 CPUtime=5.8 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 29657 0 0 0 551 29 0 0 20 0 20 0 194720300 19566772224 331894 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 331894 5901 1 0 557135 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=0 CPUtime=2.9 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 8855 0 0 0 266 24 0 0 20 0 20 0 194720301 19566772224 331894 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 331894 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 331894 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 331894 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327576 KiB

[startup+6.3003 s]
/proc/loadavg: 4.70 4.78 4.56 5/330 1034113
/proc/meminfo: memFree=121485952/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=1855128 CPUtime=9.3 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 30667 0 0 0 891 39 0 0 20 0 20 0 194720300 19566772224 463782 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 463782 5901 1 0 1018776 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=12420 CPUtime=5.97 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 9109 0 0 0 563 34 0 0 20 0 20 0 194720301 19566772224 463782 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 463782 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=463852 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 463782 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 463782 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855128 KiB

[startup+12.7003 s]
/proc/loadavg: 4.59 4.76 4.56 7/330 1034113
/proc/meminfo: memFree=119484556/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=3171032 CPUtime=16.03 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 35212 0 0 0 1538 65 0 0 20 0 20 0 194720300 19566772224 792758 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 792758 5901 1 0 1019310 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=0 CPUtime=12.25 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 9751 0 0 0 1167 58 0 0 20 0 20 0 194720301 19566772224 792758 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=-7524210384988627815 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 792758 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 792758 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 792758 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3171032 KiB

[startup+25.5003 s]
/proc/loadavg: 4.57 4.75 4.56 5/330 1034116
/proc/meminfo: memFree=118857504/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=3158136 CPUtime=28.97 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 37418 0 0 0 2831 66 0 0 20 0 20 0 194720300 19566772224 789534 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 789534 5901 1 0 1019313 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=11664 CPUtime=24.61 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 11490 0 0 0 2403 58 0 0 20 0 20 0 194720301 19566772224 789534 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 789534 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=1855128 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 789534 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=280447137469744 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 789534 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 28.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3158136 KiB

[startup+51.1073 s]
/proc/loadavg: 4.46 4.70 4.55 5/330 1034119
/proc/meminfo: memFree=118096012/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=3203528 CPUtime=55.16 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 44766 0 0 0 5446 70 0 0 20 0 20 0 194720300 19566772224 800882 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 800882 5906 1 0 1019313 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=3180972 CPUtime=49.35 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) S 1034088 1034091 1031733 0 -1 1077936192 14610 0 0 0 4876 59 0 0 20 0 20 0 194720301 19566772224 800882 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 800882 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0

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

[startup+2862.3 s]
/proc/loadavg: 4.45 4.56 4.54 7/334 1036424
/proc/meminfo: memFree=111660244/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5029888 CPUtime=3169.19 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 532509 0 0 0 316435 484 0 0 20 0 20 0 194720300 19566772224 1257472 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1257472 5937 1 0 1379087 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=16156 CPUtime=2784.05 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 234903 0 0 0 278292 113 0 0 20 0 20 0 194720301 19566772224 1257472 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1257472 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=4994260 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 2922 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1257472 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=4994280 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1257472 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3169.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5029888 KiB

[startup+2922.3 s]
/proc/loadavg: 4.54 4.57 4.54 5/334 1036435
/proc/meminfo: memFree=110739656/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5452920 CPUtime=3239.84 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 546380 0 0 0 323481 503 0 0 20 0 20 0 194720300 19566772224 1363230 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1363230 5937 1 0 1379102 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=11664 CPUtime=2842.75 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 240136 0 0 0 284154 121 0 0 20 0 20 0 194720301 19566772224 1363230 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=5452904 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1363230 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 2977 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1363230 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1363230 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3239.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5452920 KiB

[startup+2982.3 s]
/proc/loadavg: 4.89 4.65 4.57 5/331 1036446
/proc/meminfo: memFree=110731608/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5453004 CPUtime=3313.6 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 564806 0 0 0 330842 518 0 0 20 0 20 0 194720300 19566772224 1363251 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1363251 5937 1 0 1379137 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=5452920 CPUtime=2901.17 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 243917 0 0 0 289995 122 0 0 20 0 20 0 194720301 19566772224 1363251 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=5453004 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1363251 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 3031 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1363251 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=5453004 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1363251 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3313.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5453004 KiB

[startup+3042.3 s]
/proc/loadavg: 4.72 4.66 4.58 5/331 1036456
/proc/meminfo: memFree=110730768/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5453108 CPUtime=3387.58 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 583032 0 0 0 338228 530 0 0 20 0 20 0 194720300 19566772224 1363277 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1363277 5937 1 0 1379138 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=11664 CPUtime=2959.75 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 247632 0 0 0 295853 122 0 0 20 0 20 0 194720301 19566772224 1363277 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1363277 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=5453104 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 3086 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1363277 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=5453108 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1363277 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3387.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5453108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.67 4.66 4.59 5/330 1036467
/proc/meminfo: memFree=110729924/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5453116 CPUtime=3461.29 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 601511 0 0 0 345585 544 0 0 20 0 20 0 194720300 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1363279 5937 1 0 1379138 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=5452920 CPUtime=3018.42 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 256075 0 0 0 301719 123 0 0 20 0 20 0 194720301 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=5453112 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=5453116 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 3140 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=5453116 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3461.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5453116 KiB

[startup+3162.3 s]
/proc/loadavg: 4.77 4.70 4.60 6/330 1036477
/proc/meminfo: memFree=110728244/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5453116 CPUtime=3535.18 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 620031 0 0 0 352961 557 0 0 20 0 20 0 194720300 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1363279 5937 1 0 1379145 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=12420 CPUtime=3076.94 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 265112 0 0 0 307570 124 0 0 20 0 20 0 194720301 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=5453116 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 3219 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=48052 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1363279 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3535.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5453116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3213.2 s]
/proc/loadavg: 4.86 4.73 4.62 5/331 1036489
/proc/meminfo: memFree=110726580/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19108176 memory=5453124 CPUtime=3600.13 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 638055 0 0 0 359443 570 0 0 20 0 20 0 194720300 19566772224 1363281 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4777044 1363281 5937 1 0 1379145 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19108176 memory=-7524210384988627815 CPUtime=3126.45 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) R 1034088 1034091 1031733 0 -1 4194368 273993 0 0 0 312520 125 0 0 20 0 20 0 194720301 19566772224 1363281 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19108176 memory=39476 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194720303 19566772224 1363281 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19108176 memory=26000 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 3274 0 0 0 0 0 0 0 20 0 20 0 194720304 19566772224 1363281 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034111] ppid=1034088 vsize=19108176 memory=5536 CPUtime=0 cores=4,6
/proc/1034091/task/1034111/stat : 1034111 (Timer-0) S 1034088 1034091 1031733 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194720333 19566772224 1363281 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5453124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.6 s, system=5.72356 s

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

[startup+3213.31 s]
/proc/loadavg: 4.86 4.73 4.62 5/331 1036489
/proc/meminfo: memFree=110726580/131524600 swapFree=131071996/131071996
[pid=1034091] ppid=1034088 vsize=19307868 memory=5453788 CPUtime=3600.29 cores=4,6
/proc/1034091/stat : 1034091 (java) S 1034088 1034091 1031733 0 -1 1077936128 640100 0 0 0 359459 570 0 0 20 0 21 0 194720300 19771256832 1363447 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
/proc/1034091/statm: 4826967 1363447 5936 1 0 1380064 0
[pid=1034091/tid=1034093] ppid=1034088 vsize=19307868 memory=11664 CPUtime=3126.48 cores=4,6
/proc/1034091/task/1034093/stat : 1034093 (java) S 1034088 1034091 1031733 0 -1 1077936192 274045 0 0 0 312523 125 0 0 20 0 21 0 194720301 19771256832 1363447 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034102] ppid=1034088 vsize=19307868 memory=48052 CPUtime=0 cores=4,6
/proc/1034091/task/1034102/stat : 1034102 (Finalizer) S 1034088 1034091 1031733 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 194720303 19771256832 1363447 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
[pid=1034091/tid=1034109] ppid=1034088 vsize=19307868 memory=5468 CPUtime=0 cores=4,6
/proc/1034091/task/1034109/stat : 1034109 (Common-Cleaner) S 1034088 1034091 1031733 0 -1 1077936192 3274 0 0 0 0 0 0 0 20 0 21 0 194720304 19771256832 1363447 134679101440 94613340647424 94613340651120 140727560521088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94613340658936 94613340659728 94613371785216 140727560528878 140727560528991 140727560528991 140727560536008 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5453788 KiB

Child status: 143

Real time (s): 3213.34
CPU time (s): 3600.33
CPU user time (s): 3594.6
CPU system time (s): 5.72356
CPU usage (%): 112.043
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5453788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.6
system time used= 5.72356
maximum resident set size= 5454672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135175
involuntary context switches= 31589


# summary of solver processes directly reported to runsolver:
#   pid: 1034091
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3594.6
#   total CPU system time (s): 5.72356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4142 second user time and 18.0431 second system time

The end

Begin job on nodeC026 at 2024-07-19 23:45:54
IDJOB=4451545
IDBENCH=162581
IDSOLVER=3046
FILE ID=nodeC026/4451545-1721425541
RUNJOBID= nodeC026-1721422136-1031744
SLURM_JOB_ID= 7545504
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451545-1721425541/watcher-4451545-1721425541 -o /tmp/evaluation-result-4451545-1721425541/solver-4451545-1721425541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721422136-1031744 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4451545-1721425541.opb

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

MD5SUM BENCH= f51b92e6ea4641775f90070f7fcfd036
RANDOM SEED=844415140

nodeC026.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		: 3669.741
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.328
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.45
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		: 3620.023
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.74
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		: 3680.729
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.45
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		: 3636.037
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.74
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		: 3680.802
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.45
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		: 3623.941
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.74
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		: 3600.031
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123239840 kB
MemAvailable:   123783252 kB
Buffers:          575952 kB
Cached:           814188 kB
SwapCached:            0 kB
Active:          1090656 kB
Inactive:        6572956 kB
Active(anon):       1548 kB
Inactive(anon):  6317828 kB
Active(file):    1089108 kB
Inactive(file):   255128 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1344 kB
Writeback:             0 kB
AnonPages:       6270140 kB
Mapped:           127584 kB
Shmem:             45912 kB
KReclaimable:      78000 kB
Slab:             188884 kB
SReclaimable:      78000 kB
SUnreclaim:       110884 kB
KernelStack:        5008 kB
PageTables:        22500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9837332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5994496 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC026 at 2024-07-20 00:39:27

Name	PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb
MD5SUM	f51b92e6ea4641775f90070f7fcfd036
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	122.746
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	3282
Total number of constraints	6986
Number of constraints which are clauses	5892
Number of constraints which are cardinality constraints (but not clauses)	1094
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4
Number of bits of the biggest sum of numbers	3
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4451545

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data