PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12	? (TO)		3600.36	3520.78

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: 64059 MiB (56131 MiB free)
  memory of node 1: 64510 MiB (47315 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427695-1721001324/watcher-4427695-1721001324 -o /tmp/evaluation-result-4427695-1721001324/solver-4427695-1721001324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720994548-765398 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427695-1721001324.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=769804, runsolver pid=769801

[startup+0.100801 s]*
/proc/loadavg: 4.89 4.51 4.31 5/320 769822
/proc/meminfo: memFree=105894328/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=18975048 memory=56284 CPUtime=0.12 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 6594 0 0 0 10 2 0 0 20 0 18 0 152288537 19430449152 14071 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4743762 14071 5567 1 0 550925 0
[pid=769804/tid=769806] ppid=769801 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 5502 0 0 0 6 1 0 0 20 0 18 0 152288538 19430449152 14071 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152288540 19430449152 14071 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=18975048 memory=15255952358280619 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 152288541 19430449152 14071 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56284 KiB

[startup+0.218143 s]*
/proc/loadavg: 4.89 4.51 4.31 7/320 769822
/proc/meminfo: memFree=105876296/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=18975048 memory=77172 CPUtime=0.33 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 7513 0 0 0 30 3 0 0 20 0 18 0 152288537 19430449152 19293 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4743762 19293 5800 1 0 551710 0
[pid=769804/tid=769806] ppid=769801 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 6065 0 0 0 17 2 0 0 20 0 18 0 152288538 19430449152 19293 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152288540 19430449152 19293 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 152288541 19430449152 19293 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77172 KiB

[startup+0.314805 s]*
/proc/loadavg: 4.89 4.51 4.31 7/320 769822
/proc/meminfo: memFree=105861400/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=18975048 memory=93880 CPUtime=0.5 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 7595 0 0 0 47 3 0 0 20 0 18 0 152288537 19430449152 23470 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4743762 23470 5816 1 0 551762 0
[pid=769804/tid=769806] ppid=769801 vsize=18975048 memory=-9105542200704803516 CPUtime=0.29 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 6081 0 0 0 27 2 0 0 20 0 18 0 152288538 19430449152 23470 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152288540 19430449152 23470 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 152288541 19430449152 23470 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 93880 KiB

[startup+0.700796 s]
/proc/loadavg: 4.89 4.51 4.31 7/320 769822
/proc/meminfo: memFree=105796608/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19041612 memory=184460 CPUtime=1.17 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 11869 0 0 0 110 7 0 0 20 0 19 0 152288537 19498610688 46115 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4760403 46115 5832 1 0 554783 0
[pid=769804/tid=769806] ppid=769801 vsize=19041612 memory=5616 CPUtime=0.58 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 6114 0 0 0 55 3 0 0 20 0 19 0 152288538 19498610688 46115 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 152288540 19498610688 46115 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 152288541 19498610688 46115 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 184460 KiB

[startup+1.50079 s]
/proc/loadavg: 4.89 4.51 4.31 6/321 769823
/proc/meminfo: memFree=105747096/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19041612 memory=227732 CPUtime=2.75 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 13515 0 0 0 267 8 0 0 20 0 19 0 152288537 19498610688 56933 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4760403 56933 5848 1 0 555620 0
[pid=769804/tid=769806] ppid=769801 vsize=19041612 memory=11884 CPUtime=1.27 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 6126 0 0 0 124 3 0 0 20 0 19 0 152288538 19498610688 56933 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 152288540 19498610688 56933 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 152288541 19498610688 56933 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 227732 KiB

[startup+3.10579 s]
/proc/loadavg: 4.89 4.51 4.31 5/321 769825
/proc/meminfo: memFree=102740232/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19041612 memory=3550572 CPUtime=5.16 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 16940 0 0 0 443 73 0 0 20 0 19 0 152288537 19498610688 887643 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4760403 887643 5863 1 0 1658639 0
[pid=769804/tid=769806] ppid=769801 vsize=19041612 memory=0 CPUtime=2.7 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 7814 0 0 0 205 65 0 0 20 0 19 0 152288538 19498610688 887643 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 152288540 19498610688 887643 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19041612 memory=429260 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 152288541 19498610688 887643 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3550572 KiB

[startup+6.30079 s]
/proc/loadavg: 4.90 4.52 4.31 5/322 769826
/proc/meminfo: memFree=102036792/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=3907064 CPUtime=10.58 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 19205 0 0 0 977 81 0 0 20 0 20 0 152288537 19566772224 976766 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 976766 5917 1 0 1659655 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=1324392 CPUtime=5.76 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 8170 0 0 0 504 72 0 0 20 0 20 0 152288538 19566772224 976766 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 976766 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=3906996 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 976766 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 976766 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 10.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3907064 KiB

[startup+12.7008 s]
/proc/loadavg: 4.82 4.51 4.31 5/322 769828
/proc/meminfo: memFree=101794860/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=4148408 CPUtime=18.97 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 19771 0 0 0 1810 87 0 0 20 0 20 0 152288537 19566772224 1037102 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1037102 5917 1 0 1659657 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=4148148 CPUtime=12.03 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 8596 0 0 0 1127 76 0 0 20 0 20 0 152288538 19566772224 1037102 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=3972020 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1037102 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=3907332 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1037102 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1037102 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 18.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4148408 KiB

[startup+25.5008 s]
/proc/loadavg: 4.72 4.50 4.31 5/322 769829
/proc/meminfo: memFree=101721532/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=4218420 CPUtime=32.62 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 27558 0 0 0 3170 92 0 0 20 0 20 0 152288537 19566772224 1054605 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1054605 5917 1 0 1659759 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=4148148 CPUtime=24.45 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 9479 0 0 0 2369 76 0 0 20 0 20 0 152288538 19566772224 1054605 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1054605 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1054605 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1054605 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 32.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4218420 KiB

[startup+51.1058 s]
/proc/loadavg: 4.47 4.46 4.30 5/322 769834
/proc/meminfo: memFree=101724404/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=4218544 CPUtime=58.03 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 31331 0 0 0 5708 95 0 0 20 0 20 0 152288537 19566772224 1054636 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1054636 5917 1 0 1659759 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=11596 CPUtime=49.65 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 10870 0 0 0 4888 77 0 0 20 0 20 0 152288538 19566772224 1054636 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=38920 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1054636 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1054636 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1054636 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 58.03 s
Current children cumulated vsize: 19108176 KiB

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

[startup+3162.3 s]
/proc/loadavg: 1.16 1.14 1.28 2/240 771291
/proc/meminfo: memFree=122564348/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653704 CPUtime=3236.49 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 388370 0 0 0 323279 370 0 0 20 0 20 0 152288537 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663426 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=6653704 CPUtime=3125.96 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 106543 0 0 0 312502 94 0 0 20 0 20 0 152288538 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=6653704 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2059 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=38920 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3236.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653704 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.13 1.27 2/240 771302
/proc/meminfo: memFree=122564064/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653704 CPUtime=3296.75 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 389011 0 0 0 329303 372 0 0 20 0 20 0 152288537 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663426 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=6653704 CPUtime=3185.43 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 106738 0 0 0 318449 94 0 0 20 0 20 0 152288538 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=6653704 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=6653704 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2060 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=6653704 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663426 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3296.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653704 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.12 1.25 2/242 771316
/proc/meminfo: memFree=122563668/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653712 CPUtime=3357.08 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 390862 0 0 0 335333 375 0 0 20 0 20 0 152288537 19566772224 1663428 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663428 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=6653704 CPUtime=3244.79 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 108143 0 0 0 324385 94 0 0 20 0 20 0 152288538 19566772224 1663428 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=6653704 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663428 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=2273 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2060 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663428 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=6653712 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663428 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3357.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653712 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.14 1.25 2/242 771326
/proc/meminfo: memFree=122563416/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653740 CPUtime=3421.06 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 407212 0 0 0 341722 384 0 0 20 0 20 0 152288537 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663435 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=6653712 CPUtime=3304.18 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 109952 0 0 0 330323 95 0 0 20 0 20 0 152288538 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=6653740 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2060 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=38920 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3421.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653740 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.13 1.24 2/243 771337
/proc/meminfo: memFree=122562996/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653740 CPUtime=3481.43 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 410651 0 0 0 347756 387 0 0 20 0 20 0 152288537 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663435 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=11596 CPUtime=3363.41 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 110676 0 0 0 336246 95 0 0 20 0 20 0 152288538 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=6653740 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=38920 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2151 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=6653740 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3481.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653740 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.13 1.24 2/243 771348
/proc/meminfo: memFree=122562668/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653740 CPUtime=3541.51 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 410901 0 0 0 353760 391 0 0 20 0 20 0 152288537 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663435 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=6653740 CPUtime=3423.07 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 110868 0 0 0 342212 95 0 0 20 0 20 0 152288538 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=6653740 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=38920 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2151 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3541.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3520.6 s]
/proc/loadavg: 1.12 1.12 1.22 2/243 771358
/proc/meminfo: memFree=122562360/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19108176 memory=6653740 CPUtime=3600.03 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 411502 0 0 0 359608 395 0 0 20 0 20 0 152288537 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4777044 1663435 5946 1 0 1674931 0
[pid=769804/tid=769806] ppid=769801 vsize=19108176 memory=2116 CPUtime=3480.87 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 111252 0 0 0 347992 95 0 0 20 0 20 0 152288538 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19108176 memory=3312 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152288540 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19108176 memory=1636 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2151 0 0 0 0 0 0 0 20 0 20 0 152288541 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769826] ppid=769801 vsize=19108176 memory=18864 CPUtime=0 cores=0,2
/proc/769804/task/769826/stat : 769826 (Timer-0) S 769801 769804 765388 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152288919 19566772224 1663435 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6653740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.37 s, system=3.98848 s

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

[startup+3520.71 s]
/proc/loadavg: 1.12 1.12 1.22 2/243 771358
/proc/meminfo: memFree=122562360/131655788 swapFree=131071996/131071996
[pid=769804] ppid=769801 vsize=19307868 memory=6654388 CPUtime=3600.23 cores=0,2
/proc/769804/stat : 769804 (java) S 769801 769804 765388 0 -1 1077936128 414450 0 0 0 359628 395 0 0 20 0 21 0 152288537 19771256832 1663597 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
/proc/769804/statm: 4826967 1663597 5945 1 0 1675834 0
[pid=769804/tid=769806] ppid=769801 vsize=19307868 memory=6653740 CPUtime=3480.98 cores=0,2
/proc/769804/task/769806/stat : 769806 (java) R 769801 769804 765388 0 -1 4194368 111252 0 0 0 348003 95 0 0 20 0 21 0 152288538 19771256832 1663597 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769815] ppid=769801 vsize=19307868 memory=6653740 CPUtime=0 cores=0,2
/proc/769804/task/769815/stat : 769815 (Finalizer) S 769801 769804 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152288540 19771256832 1663597 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
[pid=769804/tid=769822] ppid=769801 vsize=19307868 memory=6653740 CPUtime=0 cores=0,2
/proc/769804/task/769822/stat : 769822 (Common-Cleaner) S 769801 769804 765388 0 -1 1077936192 2151 0 0 0 0 0 0 0 20 0 21 0 152288541 19771256832 1663597 134679101440 93957303549952 93957303553648 140732750543088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93957303561464 93957303562256 93957316669440 140732750550000 140732750550113 140732750550113 140732750557128 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6654388 KiB

Child status: 143

Real time (s): 3520.78
CPU time (s): 3600.36
CPU user time (s): 3596.37
CPU system time (s): 3.98848
CPU usage (%): 102.26
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6654388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.37
system time used= 3.98848
maximum resident set size= 6655236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114557
involuntary context switches= 29285


# summary of solver processes directly reported to runsolver:
#   pid: 769804
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3596.37
#   total CPU system time (s): 3.98848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2321 second user time and 35.9798 second system time

The end

Begin job on nodeC003 at 2024-07-15 01:55:36
IDJOB=4427695
IDBENCH=158605
IDSOLVER=3046
FILE ID=nodeC003/4427695-1721001324
RUNJOBID= nodeC003-1720994548-765398
SLURM_JOB_ID= 7505304
Free space on /tmp= 723672 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427695-1721001324/watcher-4427695-1721001324 -o /tmp/evaluation-result-4427695-1721001324/solver-4427695-1721001324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720994548-765398 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427695-1721001324.opb

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

MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=111345146

nodeC003.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	: 0xb00001f
cpu MHz		: 3491.883
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        105930052 kB
MemAvailable:   106749568 kB
Buffers:          355732 kB
Cached:          1300228 kB
SwapCached:            0 kB
Active:           625208 kB
Inactive:       24522164 kB
Active(anon):       1460 kB
Inactive(anon): 23527660 kB
Active(file):     623748 kB
Inactive(file):   994504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8748 kB
Writeback:            12 kB
AnonPages:      23491156 kB
Mapped:           122872 kB
Shmem:             37704 kB
KReclaimable:      82588 kB
Slab:             177180 kB
SReclaimable:      82588 kB
SUnreclaim:        94592 kB
KernelStack:        4848 kB
PageTables:        56216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30945144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            48896 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23123968 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:      207688 kB
DirectMap2M:     9134080 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-15 02:54:17

Name	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
MD5SUM	56678f8f787569ff6bace689e56ab709
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	127
Best CPU time to get the best result obtained on this benchmark	2000.3
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	180608
Total number of constraints	3078
Number of constraints which are clauses	1410
Number of constraints which are cardinality constraints (but not clauses)	1410
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	128
Maximum length of a constraint	1411
Number of terms in the objective function	128
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	128
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	495101
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	1113385
Number of bits of the biggest sum of numbers	21
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 4427695

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data