PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution Default 2024-07-07	? (TO)	3600.23	3598

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59996 MiB free)
  memory of node 1: 64510 MiB (62253 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446284-1721325086/watcher-4446284-1721325086 -o /tmp/evaluation-result-4446284-1721325086/solver-4446284-1721325086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980850 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446284-1721325086.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=988680, runsolver pid=988677
Current StackSize limit: 8192 KiB


[startup+0.102234 s]*
/proc/loadavg: 4.38 4.24 4.20 7/332 988698
/proc/meminfo: memFree=125137380/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=18975048 memory=66616 CPUtime=0.13 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 7698 0 0 0 11 2 0 0 20 0 18 0 184677061 19430449152 16654 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4743762 16654 5551 1 0 549326 0
[pid=988680/tid=988682] ppid=988677 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 1078198336 6242 0 0 0 7 1 0 0 20 0 18 0 184677061 19430449152 16654 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184677064 19430449152 16654 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=18975048 memory=14408220236082459 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184677064 19430449152 16654 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66616 KiB

[startup+0.206786 s]*
/proc/loadavg: 4.38 4.24 4.20 7/332 988698
/proc/meminfo: memFree=125070044/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=18975048 memory=134812 CPUtime=0.32 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 8131 0 0 0 29 3 0 0 20 0 18 0 184677061 19430449152 33703 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4743762 33703 5843 1 0 549580 0
[pid=988680/tid=988682] ppid=988677 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 6470 0 0 0 15 3 0 0 20 0 18 0 184677061 19430449152 33703 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=18975048 memory=15945 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184677064 19430449152 33703 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=18975048 memory=14418111545738801 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184677064 19430449152 33703 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 134812 KiB

[startup+0.305747 s]*
/proc/loadavg: 4.38 4.24 4.20 7/333 988699
/proc/meminfo: memFree=125007744/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19041612 memory=196988 CPUtime=0.5 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 9850 0 0 0 45 5 0 0 20 0 19 0 184677061 19498610688 49247 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4760403 49247 5859 1 0 550927 0
[pid=988680/tid=988682] ppid=988677 vsize=19041612 memory=-8671228514924798652 CPUtime=0.25 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 6498 0 0 0 21 4 0 0 20 0 19 0 184677061 19498610688 49247 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 49247 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 49247 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 196988 KiB

[startup+0.700232 s]
/proc/loadavg: 4.38 4.24 4.20 6/333 988699
/proc/meminfo: memFree=124994756/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19045752 memory=520508 CPUtime=1.23 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 16639 0 0 0 110 13 0 0 20 0 19 0 184677061 19502850048 130127 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4761438 130127 5875 1 0 1077873 0
[pid=988680/tid=988682] ppid=988677 vsize=19045752 memory=5428 CPUtime=0.6 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 6639 0 0 0 50 10 0 0 20 0 19 0 184677061 19502850048 130127 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19045752 memory=13120 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19502850048 130127 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19045752 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19502850048 130127 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19045752 KiB
Current children cumulated memory: 520508 KiB

[startup+1.50378 s]
/proc/loadavg: 4.38 4.24 4.20 8/333 988699
/proc/meminfo: memFree=124446024/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19041612 memory=1065940 CPUtime=2.8 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 20863 0 0 0 256 24 0 0 20 0 19 0 184677061 19498610688 266485 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4760403 266485 5875 1 0 1433767 0
[pid=988680/tid=988682] ppid=988677 vsize=19041612 memory=13120 CPUtime=1.29 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 1077936192 6872 0 0 0 110 19 0 0 20 0 19 0 184677061 19498610688 266485 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 266485 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 266485 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1065940 KiB

[startup+3.10579 s]
/proc/loadavg: 4.38 4.24 4.20 5/333 988699
/proc/meminfo: memFree=122752356/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19041612 memory=2691104 CPUtime=4.91 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 22451 0 0 0 435 56 0 0 20 0 19 0 184677061 19498610688 672776 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4760403 672776 5875 1 0 1964354 0
[pid=988680/tid=988682] ppid=988677 vsize=19041612 memory=0 CPUtime=2.66 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 7589 0 0 0 220 46 0 0 20 0 19 0 184677061 19498610688 672776 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19041612 memory=13120 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 672776 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19041612 memory=1713108 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 672776 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2691104 KiB

[startup+6.30078 s]
/proc/loadavg: 4.35 4.24 4.19 5/333 988699
/proc/meminfo: memFree=120171324/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19041612 memory=5027720 CPUtime=8.64 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 24673 0 0 0 762 102 0 0 20 0 19 0 184677061 19498610688 1256930 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4760403 1256930 5875 1 0 2388420 0
[pid=988680/tid=988682] ppid=988677 vsize=19041612 memory=0 CPUtime=5.3 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 8455 0 0 0 450 80 0 0 20 0 19 0 184677061 19498610688 1256930 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19041612 memory=1272788 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 1256930 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19041612 memory=224194199869 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 1256930 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5027720 KiB

[startup+12.7008 s]
/proc/loadavg: 4.48 4.27 4.20 5/333 988700
/proc/meminfo: memFree=117624624/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19041612 memory=7607980 CPUtime=16.12 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 26970 0 0 0 1456 156 0 0 20 0 19 0 184677061 19498610688 1901995 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4760403 1901995 5875 1 0 3000476 0
[pid=988680/tid=988682] ppid=988677 vsize=19041612 memory=7564840 CPUtime=10.53 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 9634 0 0 0 923 130 0 0 20 0 19 0 184677061 19498610688 1901995 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19041612 memory=6624808 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 1901995 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19041612 memory=16098156723045656 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 1901995 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7607980 KiB

[startup+25.5003 s]
/proc/loadavg: 4.38 4.25 4.20 5/333 988702
/proc/meminfo: memFree=114952608/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19041612 memory=10112676 CPUtime=30.73 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 30053 0 0 0 2861 212 0 0 20 0 19 0 184677061 19498610688 2528169 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4760403 2528169 5875 1 0 3531074 0
[pid=988680/tid=988682] ppid=988677 vsize=19041612 memory=9379760 CPUtime=21.27 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 10939 0 0 0 1951 176 0 0 20 0 19 0 184677061 19498610688 2528169 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 2528169 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 184677064 19498610688 2528169 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 30.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 10112676 KiB

[startup+51.1058 s]
/proc/loadavg: 4.44 4.28 4.21 5/334 988709
/proc/meminfo: memFree=114606384/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10334144 CPUtime=57.67 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 31322 0 0 0 5550 217 0 0 20 0 20 0 184677061 19566772224 2583536 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2583536 5875 1 0 3531708 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10333884 CPUtime=46.27 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 11497 0 0 0 4449 178 0 0 20 0 20 0 184677061 19566772224 2583536 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10333884 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2583536 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=10333884 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2583536 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=7607980 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2583536 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 57.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10334144 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.27 4.21 5/334 988786
/proc/meminfo: memFree=114911992/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10333940 CPUtime=109.18 cores=1,3

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

/proc/meminfo: memFree=104892420/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10643352 CPUtime=3284.75 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 354161 0 0 0 328050 425 0 0 20 0 20 0 184677061 19566772224 2660838 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2660838 5920 1 0 3655239 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10624920 CPUtime=3268.31 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 252148 0 0 0 326621 210 0 0 20 0 20 0 184677061 19566772224 2660838 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=44172 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2660838 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=10555288 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 6353 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2660838 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=10565528 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2660838 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3284.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10643352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.18 6/332 990770
/proc/meminfo: memFree=104565288/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10669976 CPUtime=3344.64 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 359395 0 0 0 334035 429 0 0 20 0 20 0 184677061 19566772224 2667494 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2667494 5920 1 0 3655239 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=11392 CPUtime=3328.15 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 256770 0 0 0 332604 211 0 0 20 0 20 0 184677061 19566772224 2667494 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10665880 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2667494 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=10669976 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 6473 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2667494 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2667494 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3344.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10669976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/332 990781
/proc/meminfo: memFree=103986072/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10725272 CPUtime=3404.54 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 365493 0 0 0 340020 434 0 0 20 0 20 0 184677061 19566772224 2681318 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2681318 5920 1 0 3655239 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10665880 CPUtime=3387.98 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 262245 0 0 0 338585 213 0 0 20 0 20 0 184677061 19566772224 2681318 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10667928 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2681318 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=10725272 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 6611 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2681318 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2681318 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3404.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10725272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/332 990791
/proc/meminfo: memFree=103718560/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10729416 CPUtime=3464.43 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 370321 0 0 0 346005 438 0 0 20 0 20 0 184677061 19566772224 2682354 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2682354 5920 1 0 3655251 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10665880 CPUtime=3447.81 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 266691 0 0 0 344568 213 0 0 20 0 20 0 184677061 19566772224 2682354 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10667928 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2682354 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 6744 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2682354 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=10727368 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2682354 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3464.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10729416 KiB

[startup+3522.3 s]
/proc/loadavg: 3.81 4.09 4.15 4/309 990841
/proc/meminfo: memFree=108743688/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10731536 CPUtime=3524.32 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 375810 0 0 0 351991 441 0 0 20 0 20 0 184677061 19566772224 2682884 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2682884 5920 1 0 3655272 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10727368 CPUtime=3507.65 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 271542 0 0 0 350551 214 0 0 20 0 20 0 184677061 19566772224 2682884 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2682884 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=10729452 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 6862 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2682884 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2682884 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3524.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10731536 KiB

[startup+3582.3 s]
/proc/loadavg: 3.49 3.94 4.09 4/309 990852
/proc/meminfo: memFree=108706096/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=10768404 CPUtime=3584.22 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 381787 0 0 0 357977 445 0 0 20 0 20 0 184677061 19566772224 2692101 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2692101 5920 1 0 3655273 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=11392 CPUtime=3567.48 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 276880 0 0 0 356533 215 0 0 20 0 20 0 184677061 19566772224 2692101 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10766356 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2692101 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=10766356 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 6979 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2692101 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=10766356 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2692101 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3584.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10768404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.9 s]
/proc/loadavg: 3.38 3.89 4.07 4/309 990854
/proc/meminfo: memFree=108706016/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=11106420 CPUtime=3600.08 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 386449 0 0 0 359557 451 0 0 20 0 20 0 184677061 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2776605 5936 1 0 3655282 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10764304 CPUtime=3582.71 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 277618 0 0 0 358056 215 0 0 20 0 20 0 184677061 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10766356 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=16216 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 7098 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11106420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.68 s, system=4.55015 s

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

[startup+3597.9 s]
/proc/loadavg: 3.38 3.89 4.07 4/309 990854
/proc/meminfo: memFree=108706016/131524600 swapFree=131071996/131071996
[pid=988680] ppid=988677 vsize=19108176 memory=11106420 CPUtime=3600.08 cores=1,3
/proc/988680/stat : 988680 (java) S 988677 988680 980838 0 -1 1077936128 386449 0 0 0 359557 451 0 0 20 0 20 0 184677061 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
/proc/988680/statm: 4777044 2776605 5936 1 0 3655282 0
[pid=988680/tid=988682] ppid=988677 vsize=19108176 memory=10764304 CPUtime=3582.71 cores=1,3
/proc/988680/task/988682/stat : 988682 (java) R 988677 988680 980838 0 -1 4194368 277618 0 0 0 358056 215 0 0 20 0 20 0 184677061 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988691] ppid=988677 vsize=19108176 memory=10766356 CPUtime=0 cores=1,3
/proc/988680/task/988691/stat : 988691 (Finalizer) S 988677 988680 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988698] ppid=988677 vsize=19108176 memory=16216 CPUtime=0 cores=1,3
/proc/988680/task/988698/stat : 988698 (Common-Cleaner) S 988677 988680 980838 0 -1 1077936192 7098 0 0 0 0 0 0 0 20 0 20 0 184677064 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
[pid=988680/tid=988705] ppid=988677 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/988680/task/988705/stat : 988705 (Timer-0) S 988677 988680 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184679945 19566772224 2776605 134679101440 94777273745408 94777273749104 140736667343728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777273756920 94777273757712 94777286610944 140736667345926 140736667346016 140736667346016 140736667353032 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11106420 KiB

Child status: 143

Real time (s): 3598
CPU time (s): 3600.23
CPU user time (s): 3595.68
CPU system time (s): 4.55015
CPU usage (%): 100.062
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 11106420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.68
system time used= 4.55014
maximum resident set size= 11107980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151550
involuntary context switches= 2109


# summary of solver processes directly reported to runsolver:
#   pid: 988680
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3595.68
#   total CPU system time (s): 4.55015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87649 second user time and 18.1034 second system time

The end

Begin job on nodeC031 at 2024-07-18 19:51:41
IDJOB=4446284
IDBENCH=155554
IDSOLVER=3058
FILE ID=nodeC031/4446284-1721325086
RUNJOBID= nodeC031-1721317800-980850
SLURM_JOB_ID= 7542669
Free space on /tmp= 889720 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-172.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446284-1721325086/watcher-4446284-1721325086 -o /tmp/evaluation-result-4446284-1721325086/solver-4446284-1721325086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980850 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446284-1721325086.opb

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

MD5SUM BENCH= 46f4146f739f9ce6c71981ef5aa732b8
RANDOM SEED=220939811

nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.982
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.509
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.287
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.898
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.056
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.774
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.990
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.727
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125183412 kB
MemAvailable:   126629560 kB
Buffers:          476748 kB
Cached:          1798296 kB
SwapCached:            0 kB
Active:          1002776 kB
Inactive:        4706584 kB
Active(anon):       1544 kB
Inactive(anon):  3470248 kB
Active(file):    1001232 kB
Inactive(file):  1236336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            309120 kB
Writeback:             0 kB
AnonPages:       3432308 kB
Mapped:           126452 kB
Shmem:             37720 kB
KReclaimable:      96456 kB
Slab:             207952 kB
SReclaimable:      96456 kB
SUnreclaim:       111496 kB
KernelStack:        5072 kB
PageTables:        16792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   17890916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69600 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3133440 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889768 MiB
End job on nodeC031 at 2024-07-18 20:51:39

Name	PB24/normalized-PB11/DEC-LIN/ lopes/normalized-172.opb
MD5SUM	46f4146f739f9ce6c71981ef5aa732b8
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	607.926
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	288080
Total number of constraints	6434441
Number of constraints which are clauses	5760324
Number of constraints which are cardinality constraints (but not clauses)	22930
Number of constraints which are nor clauses,nor cardinality constraints	651187
Minimum length of a constraint	1
Maximum length of a constraint	2457
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	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	2458
Number of bits of the biggest sum of numbers	12
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 4446284

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data