PB'24 competition competition: execution trace

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

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: 63931 MiB (56550 MiB free)
  memory of node 1: 64510 MiB (54180 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450225-1721407637/watcher-4450225-1721407637 -o /tmp/evaluation-result-4450225-1721407637/solver-4450225-1721407637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721406737-1023807 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4450225-1721407637.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
solver pid=1024497, runsolver pid=1024494
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 4.68 4.33 3.55 6/329 1024515
/proc/meminfo: memFree=113346484/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=18975048 memory=65336 CPUtime=0.13 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 7199 0 0 0 11 2 0 0 20 0 18 0 192922852 19430449152 16334 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4743762 16334 5705 1 0 549318 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 5739 0 0 0 7 1 0 0 20 0 18 0 192922852 19430449152 16334 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192922855 19430449152 16334 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192922855 19430449152 16334 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65336 KiB

[startup+0.21212 s]*
/proc/loadavg: 4.68 4.33 3.55 8/329 1024515
/proc/meminfo: memFree=113306820/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=18975048 memory=102876 CPUtime=0.34 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 7805 0 0 0 31 3 0 0 20 0 18 0 192922852 19430449152 25719 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4743762 25719 5856 1 0 549716 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 6049 0 0 0 16 2 0 0 20 0 18 0 192922852 19430449152 25719 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=18975048 memory=1285800 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192922855 19430449152 25719 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=18975048 memory=13571496182286042 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192922855 19430449152 25719 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 102876 KiB

[startup+0.311123 s]*
/proc/loadavg: 4.68 4.33 3.55 7/330 1024516
/proc/meminfo: memFree=113243708/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19041612 memory=164644 CPUtime=0.52 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 9412 0 0 0 48 4 0 0 20 0 19 0 192922852 19498610688 41161 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4760403 41161 5904 1 0 550988 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19041612 memory=-7524491859965600355 CPUtime=0.26 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 6091 0 0 0 23 3 0 0 20 0 19 0 192922852 19498610688 41161 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192922855 19498610688 41161 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192922855 19498610688 41161 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164644 KiB

[startup+0.703117 s]
/proc/loadavg: 4.68 4.33 3.55 6/330 1024516
/proc/meminfo: memFree=112773012/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=675528 CPUtime=1.25 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 15019 0 0 0 109 16 0 0 20 0 20 0 192922852 19566772224 168882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 168882 5904 1 0 553843 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=736 CPUtime=0.61 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 6385 0 0 0 48 13 0 0 20 0 20 0 192922852 19566772224 168882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 168882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=280165280441000 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 168882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 168882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 675528 KiB

[startup+1.50115 s]
/proc/loadavg: 4.68 4.33 3.55 6/331 1024517
/proc/meminfo: memFree=112691968/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=803840 CPUtime=2.83 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 21795 0 0 0 263 20 0 0 20 0 20 0 192922852 19566772224 200960 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 200960 5904 1 0 557239 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=4892 CPUtime=1.38 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 6543 0 0 0 123 15 0 0 20 0 20 0 192922852 19566772224 200960 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 200960 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 200960 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=280165280294160 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 200960 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 803840 KiB

[startup+3.10612 s]
/proc/loadavg: 4.87 4.37 3.57 6/331 1024518
/proc/meminfo: memFree=112120372/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=1326500 CPUtime=6.01 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 22754 0 0 0 571 30 0 0 20 0 20 0 192922852 19566772224 331625 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 331625 5904 1 0 557425 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=0 CPUtime=2.94 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 6941 0 0 0 269 25 0 0 20 0 20 0 192922852 19566772224 331625 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 331625 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 331625 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=7804 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 331625 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326500 KiB

[startup+6.30024 s]
/proc/loadavg: 4.87 4.37 3.57 5/332 1024521
/proc/meminfo: memFree=112078904/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=1399576 CPUtime=10.1 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 31691 0 0 0 977 33 0 0 20 0 20 0 192922852 19566772224 349894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 349894 5920 1 0 916744 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=4892 CPUtime=6.06 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 8311 0 0 0 579 27 0 0 20 0 20 0 192922852 19566772224 349894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 349894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 349894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=816128 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 349894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 10.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1399576 KiB

[startup+12.7003 s]
/proc/loadavg: 4.80 4.37 3.57 5/332 1024521
/proc/meminfo: memFree=110593652/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=2808700 CPUtime=16.63 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 33702 0 0 0 1602 61 0 0 20 0 20 0 192922852 19566772224 702175 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 702175 5920 1 0 916758 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=0 CPUtime=12.3 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 9289 0 0 0 1178 52 0 0 20 0 20 0 192922852 19566772224 702175 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 702175 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=2808700 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 702175 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 702175 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 16.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2808700 KiB

[startup+25.5041 s]
/proc/loadavg: 4.62 4.35 3.58 5/332 1024524
/proc/meminfo: memFree=110592644/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=2809788 CPUtime=29.74 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 40125 0 0 0 2912 62 0 0 20 0 20 0 192922852 19566772224 702447 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 702447 5920 1 0 916917 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=2808700 CPUtime=24.82 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) S 1024494 1024497 1019718 0 -1 1077936192 12177 0 0 0 2429 53 0 0 20 0 20 0 192922852 19566772224 702447 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=-7524491859965600355 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 702447 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=29536 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 702447 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 702447 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 29.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2809788 KiB

[startup+51.1057 s]
/proc/loadavg: 4.55 4.35 3.60 5/332 1024527
/proc/meminfo: memFree=109833428/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=3440072 CPUtime=55.93 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 45594 0 0 0 5518 75 0 0 20 0 20 0 192922852 19566772224 860018 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 860018 5936 1 0 1044341 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=3364160 CPUtime=49.48 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 15598 0 0 0 4885 63 0 0 20 0 20 0 192922852 19566772224 860018 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=29536 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 860018 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0

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

/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2568 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1499881 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=16256 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1499881 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3216.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5999524 KiB

[startup+2982.3 s]
/proc/loadavg: 1.29 1.86 3.15 2/253 1026370
/proc/meminfo: memFree=119958340/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=5999528 CPUtime=3289.68 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 590355 0 0 0 328522 446 0 0 20 0 20 0 192922852 19566772224 1499882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 1499882 5954 1 0 1512057 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=5999528 CPUtime=2893.84 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 274376 0 0 0 289262 122 0 0 20 0 20 0 192922852 19566772224 1499882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 62 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=736 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1499882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=5999460 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2622 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1499882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=5999528 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1499882 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3289.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5999528 KiB

[startup+3042.3 s]
/proc/loadavg: 1.39 1.78 3.04 2/253 1026382
/proc/meminfo: memFree=119957800/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=5999576 CPUtime=3363.57 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 609196 0 0 0 335898 459 0 0 20 0 20 0 192922852 19566772224 1499894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 1499894 5954 1 0 1512057 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=736 CPUtime=2952.21 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 283535 0 0 0 295098 123 0 0 20 0 20 0 192922852 19566772224 1499894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 62 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=5999576 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1499894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=5999572 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2622 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1499894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=5999576 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1499894 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3363.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5999576 KiB

[startup+3102.3 s]
/proc/loadavg: 1.41 1.71 2.93 2/253 1026392
/proc/meminfo: memFree=119955100/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=6001680 CPUtime=3437.38 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 610980 0 0 0 343266 472 0 0 20 0 20 0 192922852 19566772224 1500420 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 1500420 5954 1 0 1512103 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=5999576 CPUtime=3010.67 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 284852 0 0 0 300944 123 0 0 20 0 20 0 192922852 19566772224 1500420 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 66 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=144 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500420 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=5999584 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2676 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500420 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=6001680 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1500420 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3437.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6001680 KiB

[startup+3162.3 s]
/proc/loadavg: 1.27 1.62 2.82 3/253 1026404
/proc/meminfo: memFree=119954436/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=6001860 CPUtime=3509.97 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 628994 0 0 0 350513 484 0 0 20 0 20 0 192922852 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 1500465 5954 1 0 1512119 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=144 CPUtime=3069.44 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 293698 0 0 0 306820 124 0 0 20 0 20 0 192922852 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 66 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=5999584 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=6001860 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2676 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=7804 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3509.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6001860 KiB

[startup+3222.3 s]
/proc/loadavg: 1.30 1.57 2.73 2/257 1026422
/proc/meminfo: memFree=119953696/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=6001860 CPUtime=3580.07 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 630533 0 0 0 357514 493 0 0 20 0 20 0 192922852 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 1500465 5954 1 0 1512119 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=144 CPUtime=3127.84 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 294765 0 0 0 312660 124 0 0 20 0 20 0 192922852 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 66 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=5999584 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2730 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=6001860 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1500465 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3580.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6001860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3238.8 s]
/proc/loadavg: 1.29 1.55 2.70 2/257 1026425
/proc/meminfo: memFree=119953528/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19108176 memory=6001868 CPUtime=3600.04 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 631467 0 0 0 359510 494 0 0 20 0 20 0 192922852 19566772224 1500467 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4777044 1500467 5954 1 0 1512136 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19108176 memory=1285717 CPUtime=3143.94 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 4194368 295276 0 0 0 314270 124 0 0 20 0 20 0 192922852 19566772224 1500467 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 66 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500467 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19108176 memory=736 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2730 0 0 0 0 0 0 0 20 0 20 0 192922855 19566772224 1500467 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19108176 memory=29932 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) S 1024494 1024497 1019718 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192922903 19566772224 1500467 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6001868 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.66 s, system=4.97382 s

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

[startup+3239 s]*
/proc/loadavg: 1.29 1.55 2.70 6/260 1026428
/proc/meminfo: memFree=119952852/131524600 swapFree=130799640/131071996
[pid=1024497] ppid=1024494 vsize=19307868 memory=6002552 CPUtime=3600.44 cores=4,6
/proc/1024497/stat : 1024497 (java) S 1024494 1024497 1019718 0 -1 1077936128 633507 0 0 0 359549 495 0 0 20 0 23 0 192922852 19771256832 1500638 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
/proc/1024497/statm: 4826967 1500638 5953 1 0 1513043 0
[pid=1024497/tid=1024499] ppid=1024494 vsize=19307868 memory=25964 CPUtime=3143.96 cores=4,6
/proc/1024497/task/1024499/stat : 1024499 (java) R 1024494 1024497 1019718 0 -1 1077936192 295319 0 0 0 314272 124 0 0 20 0 23 0 192922852 19771256832 1500638 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 66 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024508] ppid=1024494 vsize=19307868 memory=-6933350163988323269 CPUtime=0 cores=4,6
/proc/1024497/task/1024508/stat : 1024508 (Finalizer) S 1024494 1024497 1019718 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 23 0 192922855 19771256832 1500638 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024515] ppid=1024494 vsize=19307868 memory=2260 CPUtime=0 cores=4,6
/proc/1024497/task/1024515/stat : 1024515 (Common-Cleaner) S 1024494 1024497 1019718 0 -1 1077936192 2730 0 0 0 0 0 0 0 20 0 23 0 192922855 19771256832 1500638 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1024517] ppid=1024494 vsize=19307868 memory=200 CPUtime=0 cores=4,6
/proc/1024497/task/1024517/stat : 1024517 (Timer-0) R 1024494 1024497 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 23 0 192922903 19771256832 1500638 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
[pid=1024497/tid=1026427] ppid=1024494 vsize=19307868 memory=128 CPUtime=0 cores=4,6
/proc/1024497/task/1026427/stat : 1026427 (Thread-0) R 1024494 1024497 1019718 0 -1 4194368 353 0 0 0 0 0 0 0 20 0 23 0 193246748 19771256832 1500638 134679101440 93966608338944 93966608342640 140722288975456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93966608350456 93966608351248 93966629662720 140722288976878 140722288976991 140722288976991 140722288984008 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6002552 KiB

[startup+3239.11 s]*
/proc/loadavg: 1.29 1.55 2.70 2/239 1026428
/proc/meminfo: memFree=125772784/131524600 swapFree=130799640/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3239.11
CPU time (s): 3600.64
CPU user time (s): 3595.66
CPU system time (s): 4.97382
CPU usage (%): 111.161
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6002552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.66
system time used= 4.97382
maximum resident set size= 6003444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133647
involuntary context switches= 25135


# summary of solver processes directly reported to runsolver:
#   pid: 1024497
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3595.66
#   total CPU system time (s): 4.97382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76682 second user time and 15.9479 second system time

The end

Begin job on nodeC014 at 2024-07-19 18:47:30
IDJOB=4450225
IDBENCH=160415
IDSOLVER=3046
FILE ID=nodeC014/4450225-1721407637
RUNJOBID= nodeC014-1721406737-1023807
SLURM_JOB_ID= 7545426
Free space on /tmp= 890032 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450225-1721407637/watcher-4450225-1721407637 -o /tmp/evaluation-result-4450225-1721407637/solver-4450225-1721407637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721406737-1023807 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4450225-1721407637.opb

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

MD5SUM BENCH= 4aca60576f41ce0be442f97c9c36c82a
RANDOM SEED=2475

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.656
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.96
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		: 3653.336
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.32
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		: 3611.214
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.690
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.32
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		: 3611.222
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.677
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.32
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.944
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113388368 kB
MemAvailable:   117501024 kB
Buffers:          484784 kB
Cached:          4423568 kB
SwapCached:        12868 kB
Active:          1488324 kB
Inactive:       15997532 kB
Active(anon):       9176 kB
Inactive(anon): 12597808 kB
Active(file):    1479148 kB
Inactive(file):  3399724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:              1692 kB
Writeback:            28 kB
AnonPages:      12568808 kB
Mapped:            70644 kB
Shmem:             29480 kB
KReclaimable:     146864 kB
Slab:             249536 kB
SReclaimable:     146864 kB
SUnreclaim:       102672 kB
KernelStack:        4992 kB
PageTables:        34764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13317180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35264 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12128256 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC014 at 2024-07-19 19:41:29

Name	PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
MD5SUM	4aca60576f41ce0be442f97c9c36c82a
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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	5421
Total number of constraints	12679
Number of constraints which are clauses	6001
Number of constraints which are cardinality constraints (but not clauses)	6678
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 4450225

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data