PB'24 competition competition: execution trace

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

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: 64096 MiB (57503 MiB free)
  memory of node 1: 64473 MiB (56926 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445225-1721321101/watcher-4445225-1721321101 -o /tmp/evaluation-result-4445225-1721321101/solver-4445225-1721321101 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721317707-968470 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4445225-1721321101.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=972734, runsolver pid=972731

[startup+0.101041 s]*
/proc/loadavg: 4.83 4.79 4.70 7/317 972752
/proc/meminfo: memFree=117142224/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=18975048 memory=54976 CPUtime=0.12 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 6386 0 0 0 9 3 0 0 20 0 18 0 184268908 19430449152 13744 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4743762 13744 5517 1 0 550754 0
[pid=972734/tid=972736] ppid=972731 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 5318 0 0 0 5 3 0 0 20 0 18 0 184268909 19430449152 13744 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184268914 19430449152 13744 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=18975048 memory=3472611996011331616 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184268915 19430449152 13744 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54976 KiB

[startup+0.215847 s]*
/proc/loadavg: 4.83 4.79 4.70 7/317 972752
/proc/meminfo: memFree=117139284/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=18975048 memory=57776 CPUtime=0.28 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 7085 0 0 0 24 4 0 0 20 0 18 0 184268908 19430449152 14444 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4743762 14444 5542 1 0 551321 0
[pid=972734/tid=972736] ppid=972731 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 1077936192 5651 0 0 0 14 3 0 0 20 0 18 0 184268909 19430449152 14444 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=18975048 memory=18025 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184268914 19430449152 14444 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=18975048 memory=14414838847783020 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184268915 19430449152 14444 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57776 KiB

[startup+0.315047 s]*
/proc/loadavg: 4.83 4.79 4.70 7/317 972752
/proc/meminfo: memFree=117134124/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=18975048 memory=63892 CPUtime=0.44 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 7369 0 0 0 40 4 0 0 20 0 18 0 184268908 19430449152 15973 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4743762 15973 5710 1 0 551522 0
[pid=972734/tid=972736] ppid=972731 vsize=18975048 memory=-9104698905334162108 CPUtime=0.25 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 5827 0 0 0 22 3 0 0 20 0 18 0 184268909 19430449152 15973 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184268914 19430449152 15973 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184268915 19430449152 15973 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63892 KiB

[startup+0.701028 s]
/proc/loadavg: 4.83 4.79 4.70 7/318 972753
/proc/meminfo: memFree=117127900/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19041612 memory=100168 CPUtime=1.12 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 8302 0 0 0 106 6 0 0 20 0 19 0 184268908 19498610688 25042 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4760403 25042 5815 1 0 552399 0
[pid=972734/tid=972736] ppid=972731 vsize=19041612 memory=5624 CPUtime=0.56 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 6105 0 0 0 52 4 0 0 20 0 19 0 184268909 19498610688 25042 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19041612 memory=11936 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184268914 19498610688 25042 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19041612 memory=280052000678568 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184268915 19498610688 25042 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184268953 19498610688 25042 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100168 KiB

[startup+1.5003 s]
/proc/loadavg: 4.83 4.79 4.70 6/319 972754
/proc/meminfo: memFree=117029636/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=175132 CPUtime=2.7 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 18625 0 0 0 260 10 0 0 20 0 20 0 184268908 19566772224 43783 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 43783 5831 1 0 555796 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=11936 CPUtime=1.32 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 6451 0 0 0 127 5 0 0 20 0 20 0 184268909 19566772224 43783 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 43783 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 43783 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=2970 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 43783 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175132 KiB

[startup+3.10602 s]
/proc/loadavg: 4.83 4.79 4.70 6/319 972754
/proc/meminfo: memFree=116744188/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19110712 memory=453960 CPUtime=5.88 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 30454 0 0 0 571 17 0 0 20 0 20 0 184268908 19569369088 113490 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777678 113490 5831 1 0 562976 0
[pid=972734/tid=972736] ppid=972731 vsize=19110712 memory=0 CPUtime=2.89 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 7126 0 0 0 278 11 0 0 20 0 20 0 184268909 19569369088 113490 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19110712 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19569369088 113490 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19110712 memory=11936 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184268915 19569369088 113490 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19110712 memory=12740 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19569369088 113490 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19110712 KiB
Current children cumulated memory: 453960 KiB

[startup+6.30043 s]
/proc/loadavg: 4.84 4.79 4.70 5/319 972754
/proc/meminfo: memFree=116370788/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=817504 CPUtime=9.84 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 31615 0 0 0 959 25 0 0 20 0 20 0 184268908 19566772224 204376 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 204376 5863 1 0 562346 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=11936 CPUtime=6.02 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 7502 0 0 0 584 18 0 0 20 0 20 0 184268909 19566772224 204376 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 204376 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 204376 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 204376 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 9.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 817504 KiB

[startup+12.7004 s]
/proc/loadavg: 4.77 4.78 4.70 5/319 972756
/proc/meminfo: memFree=116199604/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=982184 CPUtime=17.23 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 39447 0 0 0 1693 30 0 0 20 0 20 0 184268908 19566772224 245546 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 245546 5863 1 0 562346 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=0 CPUtime=12.33 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 8947 0 0 0 1211 22 0 0 20 0 20 0 184268909 19566772224 245546 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=982184 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 245546 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 245546 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 245546 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 17.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 982184 KiB

[startup+25.5005 s]
/proc/loadavg: 4.60 4.74 4.69 6/319 972757
/proc/meminfo: memFree=115819856/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=1352928 CPUtime=30.01 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 44011 0 0 0 2963 38 0 0 20 0 20 0 184268908 19566772224 338232 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 338232 5863 1 0 562346 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=982184 CPUtime=24.92 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 10729 0 0 0 2464 28 0 0 20 0 20 0 184268909 19566772224 338232 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 338232 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=1352928 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 338232 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=-9104698905334162108 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 338232 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 30.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352928 KiB

[startup+51.1131 s]
/proc/loadavg: 4.54 4.71 4.68 5/319 972763
/proc/meminfo: memFree=115781612/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=1375976 CPUtime=56.61 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 60228 0 0 0 5618 43 0 0 20 0 20 0 184268908 19566772224 343994 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 343994 5863 1 0 562378 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=1361400 CPUtime=49.83 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 14030 0 0 0 4954 29 0 0 20 0 20 0 184268909 19566772224 343994 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 343994 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0

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

[startup+3222.3 s]
/proc/loadavg: 4.69 4.45 4.36 6/317 974579
/proc/meminfo: memFree=110160256/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076216 CPUtime=3241.33 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 240821 0 0 0 323785 348 0 0 20 0 20 0 184268908 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269054 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=5076216 CPUtime=3166.82 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 101697 0 0 0 316572 110 0 0 20 0 20 0 184268909 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=5076216 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=5076216 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 2873 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=5076216 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3241.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.38 4.34 7/318 974590
/proc/meminfo: memFree=110134640/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076216 CPUtime=3301.71 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 247066 0 0 0 329818 353 0 0 20 0 20 0 184268908 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269054 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=5076216 CPUtime=3226.34 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 105410 0 0 0 322523 111 0 0 20 0 20 0 184268909 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=5076216 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=46996 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3020 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=1976 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269054 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3301.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.34 4.33 5/319 974738
/proc/meminfo: memFree=111306068/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076228 CPUtime=3362.2 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 256419 0 0 0 335863 357 0 0 20 0 20 0 184268908 19566772224 1269057 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269057 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=46996 CPUtime=3285.69 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 108517 0 0 0 328458 111 0 0 20 0 20 0 184268909 19566772224 1269057 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=5076228 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269057 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=1976 CPUtime=0 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3103 0 0 0 0 0 0 0 20 0 20 0 184268915 19566772224 1269057 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=5624 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269057 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3362.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.44 4.41 4.35 5/320 975016
/proc/meminfo: memFree=112431536/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076232 CPUtime=3422.55 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 259399 0 0 0 341894 361 0 0 20 0 20 0 184268908 19566772224 1269058 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269058 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=11936 CPUtime=3345.13 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 110763 0 0 0 334402 111 0 0 20 0 20 0 184268909 19566772224 1269058 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=-9104698905334162108 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269058 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=5076232 CPUtime=0.01 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3250 0 0 0 1 0 0 0 20 0 20 0 184268915 19566772224 1269058 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=46996 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269058 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3422.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.35 4.34 5/320 975027
/proc/meminfo: memFree=111273092/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076264 CPUtime=3482.84 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 263285 0 0 0 347918 366 0 0 20 0 20 0 184268908 19566772224 1269066 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269066 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=11936 CPUtime=3404.45 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 113299 0 0 0 340333 112 0 0 20 0 20 0 184268909 19566772224 1269066 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269066 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=-9104698905334162108 CPUtime=0.01 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3252 0 0 0 1 0 0 0 20 0 20 0 184268915 19566772224 1269066 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269066 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3482.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.31 4.33 5/320 975037
/proc/meminfo: memFree=110900668/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076280 CPUtime=3542.97 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 267723 0 0 0 353925 372 0 0 20 0 20 0 184268908 19566772224 1269070 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269070 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=11936 CPUtime=3463.83 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 115802 0 0 0 346270 113 0 0 20 0 20 0 184268909 19566772224 1269070 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=5076264 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269070 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=5076276 CPUtime=0.01 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3331 0 0 0 1 0 0 0 20 0 20 0 184268915 19566772224 1269070 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=5076280 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269070 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3542.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579 s]*
/proc/loadavg: 4.26 4.31 4.32 5/320 975048
/proc/meminfo: memFree=110579736/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19108176 memory=5076308 CPUtime=3600.03 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 271865 0 0 0 359627 376 0 0 20 0 20 0 184268908 19566772224 1269077 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4777044 1269077 5884 1 0 1304468 0
[pid=972734/tid=972736] ppid=972731 vsize=19108176 memory=2776 CPUtime=3519.99 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 117821 0 0 0 351885 114 0 0 20 0 20 0 184268909 19566772224 1269077 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19108176 memory=-7376745173136991616 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184268914 19566772224 1269077 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19108176 memory=17879 CPUtime=0.01 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3331 0 0 0 1 0 0 0 20 0 20 0 184268915 19566772224 1269077 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972753] ppid=972731 vsize=19108176 memory=25981 CPUtime=0 cores=0,2
/proc/972734/task/972753/stat : 972753 (Timer-0) S 972731 972734 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184268953 19566772224 1269077 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.57 s, system=3.80425 s

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

[startup+3579.12 s]
/proc/loadavg: 4.26 4.31 4.32 5/320 975048
/proc/meminfo: memFree=110579736/131655788 swapFree=131071996/131071996
[pid=972734] ppid=972731 vsize=19307868 memory=5077068 CPUtime=3600.25 cores=0,2
/proc/972734/stat : 972734 (java) S 972731 972734 968460 0 -1 1077936128 274993 0 0 0 359648 377 0 0 20 0 21 0 184268908 19771256832 1269267 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
/proc/972734/statm: 4826967 1269267 5883 1 0 1305371 0
[pid=972734/tid=972736] ppid=972731 vsize=19307868 memory=5076264 CPUtime=3520.1 cores=0,2
/proc/972734/task/972736/stat : 972736 (java) R 972731 972734 968460 0 -1 4194368 117846 0 0 0 351896 114 0 0 20 0 21 0 184268909 19771256832 1269267 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972745] ppid=972731 vsize=19307868 memory=5076308 CPUtime=0 cores=0,2
/proc/972734/task/972745/stat : 972745 (Finalizer) S 972731 972734 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 184268914 19771256832 1269267 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
[pid=972734/tid=972752] ppid=972731 vsize=19307868 memory=5532 CPUtime=0.01 cores=0,2
/proc/972734/task/972752/stat : 972752 (Common-Cleaner) S 972731 972734 968460 0 -1 1077936192 3331 0 0 0 1 0 0 0 20 0 21 0 184268915 19771256832 1269267 134679101440 93979696750592 93979696754288 140734201002192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93979696762104 93979696762896 93979702751232 140734201005039 140734201005152 140734201005152 140734201012168 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5077068 KiB

Child status: 143

Real time (s): 3579.19
CPU time (s): 3600.37
CPU user time (s): 3596.57
CPU system time (s): 3.80425
CPU usage (%): 100.592
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5077068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.57
system time used= 3.80425
maximum resident set size= 5077964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126310
involuntary context switches= 29492


# summary of solver processes directly reported to runsolver:
#   pid: 972734
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3596.57
#   total CPU system time (s): 3.80425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4444 second user time and 38.0749 second system time

The end

Begin job on nodeC005 at 2024-07-18 18:45:13
IDJOB=4445225
IDBENCH=148104
IDSOLVER=3046
FILE ID=nodeC005/4445225-1721321101
RUNJOBID= nodeC005-1721317707-968470
SLURM_JOB_ID= 7542668
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445225-1721321101/watcher-4445225-1721321101 -o /tmp/evaluation-result-4445225-1721321101/solver-4445225-1721321101 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721317707-968470 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4445225-1721321101.opb

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

MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=1197336949

nodeC005.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		: 1401.621
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.53
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		: 3524.750
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.35
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		: 1201.876
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.53
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.254
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.35
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		: 3633.709
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.53
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		: 3543.019
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.35
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.197
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.53
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.293
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117177048 kB
MemAvailable:   122488468 kB
Buffers:          486912 kB
Cached:          5607764 kB
SwapCached:            0 kB
Active:          1040872 kB
Inactive:       12731064 kB
Active(anon):       3440 kB
Inactive(anon):  7719720 kB
Active(file):    1037432 kB
Inactive(file):  5011344 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               800 kB
Writeback:             8 kB
AnonPages:       7676316 kB
Mapped:           127352 kB
Shmem:             45896 kB
KReclaimable:     205684 kB
Slab:             324048 kB
SReclaimable:     205684 kB
SUnreclaim:       118364 kB
KernelStack:        4832 kB
PageTables:        25340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10185720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7364608 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-18 19:44:52

Name	PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb
MD5SUM	f50ea280ec2253a5ba14d185d456771a
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	0.009094
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	86
Total number of constraints	2
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	86
Maximum length of a constraint	86
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	45094584
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	553509859
Number of bits of the biggest sum of numbers	30
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 4445225

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data