PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	SAT	394.354	386.624

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443461-1721311892/watcher-4443461-1721311892 -o /tmp/evaluation-result-4443461-1721311892/solver-4443461-1721311892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721304841-947644 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4443461-1721311892.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
Current StackSize limit: 8192 KiB

solver pid=952536, runsolver pid=952533

[startup+0.100071 s]*
/proc/loadavg: 4.41 4.23 4.20 7/321 952556
/proc/meminfo: memFree=116327236/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=18975048 memory=61844 CPUtime=0.16 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 6881 0 0 0 14 2 0 0 20 0 18 0 183345878 19430449152 15461 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4743762 15461 5689 1 0 551129 0
[pid=952536/tid=952538] ppid=952533 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 5773 0 0 0 8 1 0 0 20 0 18 0 183345878 19430449152 15461 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183345881 19430449152 15461 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=18975048 memory=14976684994783103 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183345882 19430449152 15461 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61844 KiB

[startup+0.220929 s]*
/proc/loadavg: 4.41 4.23 4.20 7/321 952556
/proc/meminfo: memFree=116315544/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=18975048 memory=68748 CPUtime=0.39 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 7604 0 0 0 36 3 0 0 20 0 18 0 183345878 19430449152 17187 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4743762 17187 5714 1 0 551736 0
[pid=952536/tid=952538] ppid=952533 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 6109 0 0 0 19 1 0 0 20 0 18 0 183345878 19430449152 17187 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=18975048 memory=5822 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183345881 19430449152 17187 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=18975048 memory=13563812552906645 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183345882 19430449152 17187 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68748 KiB

[startup+0.318205 s]*
/proc/loadavg: 4.41 4.23 4.20 7/322 952557
/proc/meminfo: memFree=116308700/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19041612 memory=76096 CPUtime=0.55 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 7736 0 0 0 52 3 0 0 20 0 19 0 183345878 19498610688 19024 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4760403 19024 5863 1 0 552059 0
[pid=952536/tid=952538] ppid=952533 vsize=19041612 memory=-8960585916315116220 CPUtime=0.29 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 6169 0 0 0 27 2 0 0 20 0 19 0 183345878 19498610688 19024 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183345881 19498610688 19024 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183345882 19498610688 19024 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183345905 19498610688 19024 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76096 KiB

[startup+0.700358 s]
/proc/loadavg: 4.41 4.23 4.20 9/322 952557
/proc/meminfo: memFree=116283036/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19041612 memory=133688 CPUtime=1.25 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 12350 0 0 0 120 5 0 0 20 0 19 0 183345878 19498610688 33422 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4760403 33422 5863 1 0 555065 0
[pid=952536/tid=952538] ppid=952533 vsize=19041612 memory=12724 CPUtime=0.59 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 6215 0 0 0 56 3 0 0 20 0 19 0 183345878 19498610688 33422 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19041612 memory=12724 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183345881 19498610688 33422 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183345882 19498610688 33422 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19041612 memory=26520 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183345905 19498610688 33422 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133688 KiB

[startup+1.50719 s]
/proc/loadavg: 4.41 4.23 4.20 6/323 952558
/proc/meminfo: memFree=116198004/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=192896 CPUtime=2.85 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 23278 0 0 0 278 7 0 0 20 0 20 0 183345878 19566772224 48224 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 48224 5895 1 0 559651 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=12724 CPUtime=1.32 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 6384 0 0 0 129 3 0 0 20 0 20 0 183345878 19566772224 48224 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 48224 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 48224 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 48224 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192896 KiB

[startup+3.10619 s]
/proc/loadavg: 4.46 4.24 4.20 5/323 952558
/proc/meminfo: memFree=115854704/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=588536 CPUtime=5.66 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 30428 0 0 0 551 15 0 0 20 0 20 0 183345878 19566772224 147134 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 147134 5927 1 0 560009 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=0 CPUtime=2.87 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 7887 0 0 0 277 10 0 0 20 0 20 0 183345878 19566772224 147134 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 147134 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=227444 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 147134 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=12724 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 147134 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 588536 KiB

[startup+6.30119 s]
/proc/loadavg: 4.46 4.24 4.20 6/323 952558
/proc/meminfo: memFree=115360704/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=1016932 CPUtime=9.49 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 31225 0 0 0 926 23 0 0 20 0 20 0 183345878 19566772224 254233 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 254233 5927 1 0 560016 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=12724 CPUtime=5.94 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 8444 0 0 0 577 17 0 0 20 0 20 0 183345878 19566772224 254233 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 254233 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 254233 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=11408 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 254233 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1016932 KiB

[startup+12.7004 s]
/proc/loadavg: 4.42 4.23 4.20 5/323 952560
/proc/meminfo: memFree=113665200/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=1576696 CPUtime=16.35 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 35866 0 0 0 1599 36 0 0 20 0 20 0 183345878 19566772224 394174 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 394174 5927 1 0 666544 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=0 CPUtime=11.96 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 10121 0 0 0 1169 27 0 0 20 0 20 0 183345878 19566772224 394174 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=1551852 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 394174 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=12724 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 394174 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 394174 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 16.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576696 KiB

[startup+25.5005 s]
/proc/loadavg: 4.33 4.22 4.20 5/323 952561
/proc/meminfo: memFree=112461280/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=2751120 CPUtime=29.66 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 39861 0 0 0 2905 61 0 0 20 0 20 0 183345878 19566772224 687780 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 687780 5927 1 0 954847 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=6944656592387989600 CPUtime=24.52 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 12298 0 0 0 2402 50 0 0 20 0 20 0 183345878 19566772224 687780 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=11408 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 687780 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 687780 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 687780 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2751120 KiB

[startup+51.1136 s]
/proc/loadavg: 4.29 4.22 4.20 7/321 952634
/proc/meminfo: memFree=111590120/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=2756796 CPUtime=56.07 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 50901 0 0 0 5542 65 0 0 20 0 20 0 183345878 19566772224 689199 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 689199 5927 1 0 955030 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=11408 CPUtime=49.4 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 15411 0 0 0 4889 51 0 0 20 0 20 0 183345878 19566772224 689199 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0

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

/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 316 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 880733 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=3522932 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 880733 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 349.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3522932 KiB

[startup+386.624 s]
# the end of solver process 952536 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=393.204 s, system=1.15007 s

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

[startup+358.4 s]
/proc/loadavg: 4.44 4.40 4.29 5/320 953689
/proc/meminfo: memFree=113138484/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3531124 CPUtime=365.97 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 91039 0 0 0 36486 111 0 0 20 0 20 0 183345878 19566772224 882781 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 882781 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=6720663255339188077 CPUtime=348.76 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 35151 0 0 0 34809 67 0 0 20 0 20 0 183345878 19566772224 882781 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=5620 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 882781 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=12724 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 316 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 882781 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=43532 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 882781 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 365.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3531124 KiB

[startup+371.2 s]
/proc/loadavg: 4.37 4.39 4.28 5/320 953692
/proc/meminfo: memFree=113113532/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3539316 CPUtime=378.83 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 91518 0 0 0 37771 112 0 0 20 0 20 0 183345878 19566772224 884829 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 884829 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=4210425160693173 CPUtime=361.29 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 35604 0 0 0 36062 67 0 0 20 0 20 0 183345878 19566772224 884829 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=3535220 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 884829 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 316 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 884829 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=3539316 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 884829 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 378.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3539316 KiB

[startup+377.6 s]
/proc/loadavg: 4.34 4.38 4.28 5/320 953692
/proc/meminfo: memFree=113101188/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3543412 CPUtime=385.23 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 91812 0 0 0 38411 112 0 0 20 0 20 0 183345878 19566772224 885853 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 885853 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=43532 CPUtime=367.51 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 35813 0 0 0 36684 67 0 0 20 0 20 0 183345878 19566772224 885853 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=11408 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 885853 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=3531124 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 396 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 885853 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=3539316 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 885853 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 385.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3543412 KiB

[startup+380.8 s]
/proc/loadavg: 4.31 4.37 4.28 5/320 953692
/proc/meminfo: memFree=113095016/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3549556 CPUtime=388.49 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 91869 0 0 0 38736 113 0 0 20 0 20 0 183345878 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 887389 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=5620 CPUtime=370.62 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 35856 0 0 0 36995 67 0 0 20 0 20 0 183345878 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=16212 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=161 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 396 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=3549556 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 388.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549556 KiB

[startup+384 s]*
/proc/loadavg: 4.37 4.38 4.28 5/320 953693
/proc/meminfo: memFree=113088760/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3549556 CPUtime=391.69 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 91965 0 0 0 39056 113 0 0 20 0 20 0 183345878 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 887389 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=-9103855575654245052 CPUtime=373.82 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 35952 0 0 0 37315 67 0 0 20 0 20 0 183345878 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=2732 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=13640 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 396 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=11524 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 887389 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 391.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3549556 KiB

[startup+385.6 s]
/proc/loadavg: 4.37 4.38 4.28 5/320 953693
/proc/meminfo: memFree=113088760/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3553652 CPUtime=393.31 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 91971 0 0 0 39218 113 0 0 20 0 20 0 183345878 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 888413 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=-8960585916315116220 CPUtime=375.25 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 35952 0 0 0 37458 67 0 0 20 0 20 0 183345878 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=3535220 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=11408 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 396 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=43532 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 393.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3553652 KiB

[startup+386.4 s]
/proc/loadavg: 4.37 4.38 4.28 5/320 953694
/proc/meminfo: memFree=113084524/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19108176 memory=3553652 CPUtime=394.11 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 92194 0 0 0 39298 113 0 0 20 0 20 0 183345878 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4777044 888413 5927 1 0 1080576 0
[pid=952536/tid=952538] ppid=952533 vsize=19108176 memory=3553652 CPUtime=376.05 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) R 952533 952536 947632 0 -1 4194368 36127 0 0 0 37538 67 0 0 20 0 20 0 183345878 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19108176 memory=26520 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183345881 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19108176 memory=-8960585916315116220 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 396 0 0 0 0 0 0 0 20 0 20 0 183345882 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952557] ppid=952533 vsize=19108176 memory=27456 CPUtime=0 cores=1,3
/proc/952536/task/952557/stat : 952557 (Timer-0) S 952533 952536 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183345905 19566772224 888413 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 394.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3553652 KiB

[startup+386.6 s]
/proc/loadavg: 4.37 4.38 4.28 5/320 953694
/proc/meminfo: memFree=113084524/131655788 swapFree=131071996/131071996
[pid=952536] ppid=952533 vsize=19241304 memory=3554252 CPUtime=394.33 cores=1,3
/proc/952536/stat : 952536 (java) S 952533 952536 947632 0 -1 1077936128 95510 0 0 0 39320 113 0 0 20 0 14 0 183345878 19703095296 888563 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
/proc/952536/statm: 4810326 888563 5923 1 0 1081210 0
[pid=952536/tid=952538] ppid=952533 vsize=19241304 memory=19736 CPUtime=376.19 cores=1,3
/proc/952536/task/952538/stat : 952538 (java) S 952533 952536 947632 0 -1 1077936192 37992 0 0 0 37552 67 0 0 20 0 14 0 183345878 19703095296 888563 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952547] ppid=952533 vsize=19241304 memory=100 CPUtime=0 cores=1,3
/proc/952536/task/952547/stat : 952547 (Finalizer) S 952533 952536 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 14 0 183345881 19703095296 888563 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
[pid=952536/tid=952554] ppid=952533 vsize=19241304 memory=-8960585916315116220 CPUtime=0 cores=1,3
/proc/952536/task/952554/stat : 952554 (Common-Cleaner) S 952533 952536 947632 0 -1 1077936192 396 0 0 0 0 0 0 0 20 0 14 0 183345882 19703095296 888563 134679101440 94054502891520 94054502895216 140736864679632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94054502903032 94054502903824 94054511931392 140736864682996 140736864683104 140736864683104 140736864690120 0
Current children cumulated CPU time: 394.33 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 3554252 KiB

Child status: 10

Real time (s): 386.624
CPU time (s): 394.354
CPU user time (s): 393.204
CPU system time (s): 1.15007
CPU usage (%): 101.999
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 3554252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.204
system time used= 1.15007
maximum resident set size= 3555232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15500
involuntary context switches= 1347


# summary of solver processes directly reported to runsolver:
#   pid: 952536
#   total CPU time (s): 394.354
#   total CPU user time (s): 393.204
#   total CPU system time (s): 1.15007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07365 second user time and 4.05074 second system time

The end

Begin job on nodeC007 at 2024-07-18 16:11:45
IDJOB=4443461
IDBENCH=147875
IDSOLVER=3052
FILE ID=nodeC007/4443461-1721311892
RUNJOBID= nodeC007-1721304841-947644
SLURM_JOB_ID= 7542628
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443461-1721311892/watcher-4443461-1721311892 -o /tmp/evaluation-result-4443461-1721311892/solver-4443461-1721311892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721304841-947644 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4443461-1721311892.opb

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

MD5SUM BENCH= 3a50fcae898f788b3960bca00975c98a
RANDOM SEED=261751370

nodeC007.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		: 3670.739
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.25
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		: 3491.664
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.426
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.25
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.130
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		: 3673.908
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.25
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		: 1197.300
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.270
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.25
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		: 3651.399
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:        116363468 kB
MemAvailable:   119017840 kB
Buffers:          488980 kB
Cached:          2997080 kB
SwapCached:            0 kB
Active:           999132 kB
Inactive:       13710892 kB
Active(anon):       1460 kB
Inactive(anon): 11260212 kB
Active(file):     997672 kB
Inactive(file):  2450680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2284 kB
Writeback:             0 kB
AnonPages:      11224016 kB
Mapped:           125972 kB
Shmem:             37704 kB
KReclaimable:      92104 kB
Slab:             193644 kB
SReclaimable:      92104 kB
SUnreclaim:       101540 kB
KernelStack:        4896 kB
PageTables:        32060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12995624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57664 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10817536 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC007 at 2024-07-18 16:18:12

Name	PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
MD5SUM	3a50fcae898f788b3960bca00975c98a
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.0231
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	316
Total number of constraints	686
Number of constraints which are clauses	477
Number of constraints which are cardinality constraints (but not clauses)	2
Number of constraints which are nor clauses,nor cardinality constraints	207
Minimum length of a constraint	1
Maximum length of a constraint	100
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	16
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	114
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 4443461

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data