PB'24 competition competition: execution trace

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441871-1721293823/watcher-4441871-1721293823 -o /tmp/evaluation-result-4441871-1721293823/solver-4441871-1721293823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721293749-941962 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4441871-1721293823.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.101327 s]*
/proc/loadavg: 4.91 3.09 2.70 8/319 942912
/proc/meminfo: memFree=110102284/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=18975048 memory=60848 CPUtime=0.13 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 7110 0 0 0 11 2 0 0 20 0 18 0 181538445 19430449152 15212 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4743762 15212 5707 1 0 551338 0
[pid=942894/tid=942896] ppid=942891 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) S 942891 942894 941949 0 -1 1077936192 5659 0 0 0 7 2 0 0 20 0 18 0 181538446 19430449152 15212 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181538448 19430449152 15212 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=18975048 memory=15255952358280619 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 181538449 19430449152 15212 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60848 KiB

[startup+0.207165 s]*
/proc/loadavg: 4.91 3.09 2.70 6/319 942912
/proc/meminfo: memFree=110093816/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=18975048 memory=69408 CPUtime=0.3 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 7622 0 0 0 27 3 0 0 20 0 18 0 181538445 19430449152 17352 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4743762 17352 5776 1 0 551693 0
[pid=942894/tid=942896] ppid=942891 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 5978 0 0 0 16 2 0 0 20 0 18 0 181538446 19430449152 17352 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181538448 19430449152 17352 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 181538449 19430449152 17352 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69408 KiB

[startup+0.306875 s]*
/proc/loadavg: 4.91 3.09 2.70 7/319 942912
/proc/meminfo: memFree=110049444/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=18975048 memory=110932 CPUtime=0.48 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 7832 0 0 0 44 4 0 0 20 0 18 0 181538445 19430449152 27733 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4743762 27733 5776 1 0 551782 0
[pid=942894/tid=942896] ppid=942891 vsize=18975048 memory=-9103008956012602044 CPUtime=0.26 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 6077 0 0 0 23 3 0 0 20 0 18 0 181538446 19430449152 27733 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181538448 19430449152 27733 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 181538449 19430449152 27733 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 110932 KiB

[startup+0.706083 s]
/proc/loadavg: 4.91 3.09 2.70 6/320 942915
/proc/meminfo: memFree=109964420/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19041612 memory=572932 CPUtime=1.22 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 9769 0 0 0 107 15 0 0 20 0 19 0 181538445 19498610688 143233 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4760403 143233 5910 1 0 553111 0
[pid=942894/tid=942896] ppid=942891 vsize=19041612 memory=5616 CPUtime=0.59 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 6300 0 0 0 46 13 0 0 20 0 19 0 181538446 19498610688 143233 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 181538448 19498610688 143233 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 181538449 19498610688 143233 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 572932 KiB

[startup+1.50355 s]
/proc/loadavg: 4.91 3.09 2.70 7/321 942916
/proc/meminfo: memFree=109571372/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=687404 CPUtime=2.8 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 21396 0 0 0 261 19 0 0 20 0 20 0 181538445 19566772224 171851 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 171851 5910 1 0 559249 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=11884 CPUtime=1.32 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 6417 0 0 0 118 14 0 0 20 0 20 0 181538446 19566772224 171851 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 171851 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 171851 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 171851 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 687404 KiB

[startup+3.11307 s]
/proc/loadavg: 4.91 3.09 2.70 6/321 942916
/proc/meminfo: memFree=108868872/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=1328256 CPUtime=5.99 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 24226 0 0 0 567 32 0 0 20 0 20 0 181538445 19566772224 332064 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 332064 5910 1 0 560558 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=0 CPUtime=2.9 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 6757 0 0 0 263 27 0 0 20 0 20 0 181538446 19566772224 332064 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 332064 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 332064 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 332064 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1328256 KiB

[startup+6.30028 s]
/proc/loadavg: 5.00 3.14 2.72 7/322 942917
/proc/meminfo: memFree=108768668/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=1382916 CPUtime=11.65 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 35589 0 0 0 1129 36 0 0 20 0 20 0 181538445 19566772224 345729 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 345729 5926 1 0 561022 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=0 CPUtime=5.97 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 7624 0 0 0 570 27 0 0 20 0 20 0 181538446 19566772224 345729 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 345729 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 345729 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=43384 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 345729 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 11.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1382916 KiB

[startup+12.7005 s]
/proc/loadavg: 4.92 3.15 2.72 6/322 942918
/proc/meminfo: memFree=107485848/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=2653940 CPUtime=19.01 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 37956 0 0 0 1839 62 0 0 20 0 20 0 181538445 19566772224 663485 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 663485 5926 1 0 1089537 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=580544 CPUtime=12.13 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 9018 0 0 0 1162 51 0 0 20 0 20 0 181538446 19566772224 663485 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=2653940 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 663485 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=1350348 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 663485 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 663485 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 19.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2653940 KiB

[startup+25.5011 s]
/proc/loadavg: 4.92 3.24 2.76 5/322 942921
/proc/meminfo: memFree=106601764/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=3556276 CPUtime=32.71 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 39433 0 0 0 3190 81 0 0 20 0 20 0 181538445 19566772224 889069 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 889069 5926 1 0 1089544 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=2653940 CPUtime=24.31 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) S 942891 942894 941949 0 -1 1077936192 9630 0 0 0 2364 67 0 0 20 0 20 0 181538446 19566772224 889069 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=3517364 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 889069 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 889069 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 889069 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 32.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3556276 KiB

[startup+51.1137 s]
/proc/loadavg: 4.75 3.34 2.81 5/323 942993
/proc/meminfo: memFree=108070756/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4043716 CPUtime=59.03 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 52607 0 0 0 5808 95 0 0 20 0 20 0 181538445 19566772224 1010929 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1010929 5926 1 0 1210703 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=4044816 CPUtime=49.63 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 13873 0 0 0 4886 77 0 0 20 0 20 0 181538446 19566772224 1010929 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=4044936 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1010929 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=2653940 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1010929 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0

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

/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197471 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3179 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197471 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=4789884 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197471 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3218.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789884 KiB

[startup+3222.31 s]
/proc/loadavg: 4.19 4.24 4.25 5/319 944878
/proc/meminfo: memFree=104173652/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789920 CPUtime=3279.9 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 286092 0 0 0 327610 380 0 0 20 0 20 0 181538445 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197480 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=4789880 CPUtime=3145.89 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) S 942891 942894 941949 0 -1 1077936192 136729 0 0 0 314463 126 0 0 20 0 20 0 181538446 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=4789880 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=4789920 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3261 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=4789920 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3279.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789920 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.22 4.25 5/320 944892
/proc/meminfo: memFree=104173084/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789920 CPUtime=3340.53 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 287052 0 0 0 333667 386 0 0 20 0 20 0 181538445 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197480 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=4789920 CPUtime=3204.88 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 137498 0 0 0 320361 127 0 0 20 0 20 0 181538446 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=4789920 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=4789920 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3261 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197480 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3340.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.21 4.24 6/319 944903
/proc/meminfo: memFree=104172672/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789924 CPUtime=3400.99 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 290732 0 0 0 339709 390 0 0 20 0 20 0 181538445 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197481 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=11596 CPUtime=3263.79 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 139467 0 0 0 326251 128 0 0 20 0 20 0 181538446 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3312 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3400.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.22 4.24 5/319 944913
/proc/meminfo: memFree=104172364/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789924 CPUtime=3461.56 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 291884 0 0 0 345762 394 0 0 20 0 20 0 181538445 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197481 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=43588 CPUtime=3322.67 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 140482 0 0 0 332139 128 0 0 20 0 20 0 181538446 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3349 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3461.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.24 4.24 5/319 944923
/proc/meminfo: memFree=104171840/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789924 CPUtime=3522.38 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 293124 0 0 0 351840 398 0 0 20 0 20 0 181538445 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197481 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=43588 CPUtime=3381.47 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 141576 0 0 0 338018 129 0 0 20 0 20 0 181538446 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3349 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197481 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3522.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789924 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.23 4.24 5/319 944935
/proc/meminfo: memFree=104171480/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789968 CPUtime=3583.05 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 296112 0 0 0 357903 402 0 0 20 0 20 0 181538445 19566772224 1197492 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197492 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=11884 CPUtime=3440.3 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 143057 0 0 0 343900 130 0 0 20 0 20 0 181538446 19566772224 1197492 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197492 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3450 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197492 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=-9103008956012602044 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197492 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3583.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.11 s]
/proc/loadavg: 4.30 4.25 4.25 5/317 944937
/proc/meminfo: memFree=104084776/131655788 swapFree=131071996/131071996
[pid=942894] ppid=942891 vsize=19108176 memory=4789976 CPUtime=3600.05 cores=5,7
/proc/942894/stat : 942894 (java) S 942891 942894 941949 0 -1 1077936128 296298 0 0 0 359602 403 0 0 20 0 20 0 181538445 19566772224 1197494 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
/proc/942894/statm: 4777044 1197494 5945 1 0 1211728 0
[pid=942894/tid=942896] ppid=942891 vsize=19108176 memory=4789968 CPUtime=3456.83 cores=5,7
/proc/942894/task/942896/stat : 942896 (java) R 942891 942894 941949 0 -1 4194368 143186 0 0 0 345553 130 0 0 20 0 20 0 181538446 19566772224 1197494 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942905] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942905/stat : 942905 (Finalizer) S 942891 942894 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181538448 19566772224 1197494 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942912] ppid=942891 vsize=19108176 memory=4789924 CPUtime=0 cores=5,7
/proc/942894/task/942912/stat : 942912 (Common-Cleaner) S 942891 942894 941949 0 -1 1077936192 3450 0 0 0 0 0 0 0 20 0 20 0 181538449 19566772224 1197494 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
[pid=942894/tid=942916] ppid=942891 vsize=19108176 memory=4789976 CPUtime=0 cores=5,7
/proc/942894/task/942916/stat : 942916 (Timer-0) S 942891 942894 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181538527 19566772224 1197494 134679101440 94260079824896 94260079828592 140730928311344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94260079836408 94260079837200 94260089196544 140730928313332 140730928313440 140730928313440 140730928320456 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4789976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.15 s, system=4.06838 s

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

[startup+3539.21 s]*
/proc/loadavg: 4.30 4.25 4.25 5/299 944940
/proc/meminfo: memFree=108732668/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3539.22
CPU time (s): 3600.22
CPU user time (s): 3596.15
CPU system time (s): 4.06838
CPU usage (%): 101.723
Max. virtual memory (cumulated for all children) (KiB): 19110256
Max. memory (cumulated for all children) (KiB): 4789976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.15
system time used= 4.06838
maximum resident set size= 4792104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132163
involuntary context switches= 6865


# summary of solver processes directly reported to runsolver:
#   pid: 942894
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3596.15
#   total CPU system time (s): 4.06838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9009 second user time and 36.6719 second system time

The end

Begin job on nodeC003 at 2024-07-18 11:10:35
IDJOB=4441871
IDBENCH=147755
IDSOLVER=3052
FILE ID=nodeC003/4441871-1721293823
RUNJOBID= nodeC003-1721293749-941962
SLURM_JOB_ID= 7542592
Free space on /tmp= 723748 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441871-1721293823/watcher-4441871-1721293823 -o /tmp/evaluation-result-4441871-1721293823/solver-4441871-1721293823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721293749-941962 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4441871-1721293823.opb

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=1752136229

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		: 3591.649
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		: 3629.825
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.364
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.218
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		: 3493.452
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		: 3292.359
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.339
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		: 3491.895
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:        110143992 kB
MemAvailable:   115699556 kB
Buffers:          494576 kB
Cached:          5837500 kB
SwapCached:            0 kB
Active:           925456 kB
Inactive:       19877112 kB
Active(anon):       1484 kB
Inactive(anon): 14506380 kB
Active(file):     923972 kB
Inactive(file):  5370732 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8868 kB
Writeback:             0 kB
AnonPages:      14469912 kB
Mapped:           125792 kB
Shmem:             37704 kB
KReclaimable:     201780 kB
Slab:             316900 kB
SReclaimable:     201780 kB
SUnreclaim:       115120 kB
KernelStack:        4856 kB
PageTables:        38424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   17633128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57280 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14166016 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-18 12:09:35

Name	PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	0255b3d891da2276599e5fcb43348962
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.072588
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	4632
Total number of constraints	30964
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	946
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	3
Maximum length of a constraint	29
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
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 4441871

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data