PB'24 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	?	2964.04	2957.77

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456320-1721717930/watcher-4456320-1721717930 -o /tmp/evaluation-result-4456320-1721717930/solver-4456320-1721717930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78073 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456320-1721717930.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=81178, runsolver pid=81175

[startup+0.100153 s]*
/proc/loadavg: 4.59 3.09 2.46 5/327 81196
/proc/meminfo: memFree=119636552/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=18975048 memory=56160 CPUtime=0.11 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 6580 0 0 0 10 1 0 0 20 0 18 0 7782432 19430449152 14040 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4743762 14040 5560 1 0 550909 0
[pid=81178/tid=81180] ppid=81175 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 5491 0 0 0 7 1 0 0 20 0 18 0 7782433 19430449152 14040 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7782436 19430449152 14040 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=18975048 memory=15539622046449866 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7782437 19430449152 14040 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56160 KiB

[startup+0.216844 s]*
/proc/loadavg: 4.59 3.09 2.46 7/327 81196
/proc/meminfo: memFree=119626836/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=18975048 memory=75020 CPUtime=0.31 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 7564 0 0 0 29 2 0 0 20 0 18 0 7782432 19430449152 18755 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4743762 18755 5725 1 0 551728 0
[pid=81178/tid=81180] ppid=81175 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 6039 0 0 0 17 1 0 0 20 0 18 0 7782433 19430449152 18755 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=18975048 memory=3637 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7782436 19430449152 18755 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=18975048 memory=14126749604647555 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7782437 19430449152 18755 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75020 KiB

[startup+0.31485 s]*
/proc/loadavg: 4.59 3.09 2.46 7/327 81196
/proc/meminfo: memFree=119601308/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=18975048 memory=91780 CPUtime=0.49 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 7670 0 0 0 46 3 0 0 20 0 18 0 7782432 19430449152 22945 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4743762 22945 5725 1 0 551747 0
[pid=81178/tid=81180] ppid=81175 vsize=18975048 memory=-6000919485558123367 CPUtime=0.26 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) S 81175 81178 78062 0 -1 1077936192 6076 0 0 0 24 2 0 0 20 0 18 0 7782433 19430449152 22945 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7782436 19430449152 22945 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7782437 19430449152 22945 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 91780 KiB

[startup+0.70786 s]
/proc/loadavg: 4.59 3.09 2.46 6/327 81196
/proc/meminfo: memFree=119541184/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=172660 CPUtime=1.19 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 9422 0 0 0 114 5 0 0 20 0 19 0 7782432 19498610688 43165 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 43165 5810 1 0 553059 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=5472 CPUtime=0.59 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 6119 0 0 0 56 3 0 0 20 0 19 0 7782433 19498610688 43165 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=12932 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 43165 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 43165 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 172660 KiB

[startup+1.50084 s]
/proc/loadavg: 4.59 3.09 2.46 6/328 81197
/proc/meminfo: memFree=119068648/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=1651552 CPUtime=2.72 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 21726 0 0 0 236 36 0 0 20 0 19 0 7782432 19498610688 412888 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 412888 5841 1 0 855458 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=0 CPUtime=1.34 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 6820 0 0 0 103 31 0 0 20 0 19 0 7782433 19498610688 412888 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 412888 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=12932 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 412888 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1651552 KiB

[startup+3.11384 s]
/proc/loadavg: 4.62 3.12 2.47 5/328 81199
/proc/meminfo: memFree=117230540/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=2451500 CPUtime=4.51 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 22437 0 0 0 400 51 0 0 20 0 19 0 7782432 19498610688 612875 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 612875 5841 1 0 855474 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=12932 CPUtime=2.81 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) S 81175 81178 78062 0 -1 1077936192 7210 0 0 0 235 46 0 0 20 0 19 0 7782433 19498610688 612875 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 612875 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=489321329147162 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 612875 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2451500 KiB

[startup+6.30042 s]
/proc/loadavg: 4.62 3.12 2.47 6/328 81199
/proc/meminfo: memFree=115750260/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=4605192 CPUtime=7.88 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 24525 0 0 0 695 93 0 0 20 0 19 0 7782432 19498610688 1151298 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1151298 5841 1 0 1406940 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=12932 CPUtime=5.78 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 8295 0 0 0 491 87 0 0 20 0 19 0 7782433 19498610688 1151298 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=2451500 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1151298 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=11652 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1151298 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4605192 KiB

[startup+12.7004 s]
/proc/loadavg: 4.60 3.16 2.50 5/328 81200
/proc/meminfo: memFree=114597024/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=5055016 CPUtime=14.61 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 25733 0 0 0 1358 103 0 0 20 0 19 0 7782432 19498610688 1263754 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1263754 5841 1 0 1515576 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=11652 CPUtime=11.82 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 9101 0 0 0 1086 96 0 0 20 0 19 0 7782433 19498610688 1263754 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=15823313192619110 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1263754 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=5050920 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1263754 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5055016 KiB

[startup+25.5004 s]
/proc/loadavg: 4.59 3.21 2.52 6/328 81202
/proc/meminfo: memFree=114527036/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=5098356 CPUtime=27.8 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 29603 0 0 0 2673 107 0 0 20 0 19 0 7782432 19498610688 1274589 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1274589 5841 1 0 1515577 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=31436 CPUtime=23.94 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 10520 0 0 0 2298 96 0 0 20 0 19 0 7782433 19498610688 1274589 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=289 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1274589 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1274589 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 27.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5098356 KiB

[startup+51.1139 s]
/proc/loadavg: 4.46 3.29 2.56 5/328 81206
/proc/meminfo: memFree=113401088/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=6139524 CPUtime=53.76 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 32679 0 0 0 5245 131 0 0 20 0 19 0 7782432 19498610688 1534881 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1534881 5841 1 0 1770426 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=132 CPUtime=48.42 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 12709 0 0 0 4726 116 0 0 20 0 19 0 7782433 19498610688 1534881 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=5098356 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1534881 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=11652 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1534881 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 53.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6139524 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 3.43 2.65 5/329 81286
/proc/meminfo: memFree=108811304/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=6737148 CPUtime=105.37 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 43365 0 0 0 10386 151 0 0 20 0 19 0 7782432 19498610688 1684287 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1684287 5841 1 0 1906207 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=6733052 CPUtime=97.6 cores=4,6

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

/proc/loadavg: 4.11 4.17 4.17 5/317 82555
/proc/meminfo: memFree=105788848/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2927.22 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 311299 0 0 0 292205 517 0 0 20 0 19 0 7782432 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1871364 5841 1 0 1906253 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=11652 CPUtime=2876.05 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 138570 0 0 0 287433 172 0 0 20 0 19 0 7782433 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 151 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=56 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=7485456 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4026 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2927.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7485456 KiB

[startup+2957.77 s]
# the end of solver process 81178 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=2958.79 s, system=5.25273 s

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

[startup+2944 s]*
/proc/loadavg: 4.16 4.18 4.17 5/317 82558
/proc/meminfo: memFree=105788724/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2948.92 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 313712 0 0 0 294373 519 0 0 20 0 19 0 7782432 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1871364 5841 1 0 1906253 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=-6000919468394965607 CPUtime=2897.53 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 139519 0 0 0 289581 172 0 0 20 0 19 0 7782433 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 153 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=5076 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=3599160 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2948.92 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7485456 KiB

[startup+2950.4 s]
/proc/loadavg: 4.14 4.17 4.17 5/317 82559
/proc/meminfo: memFree=105788640/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2955.3 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 314063 0 0 0 295010 520 0 0 20 0 19 0 7782432 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1871364 5841 1 0 1906253 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2903.86 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 139839 0 0 0 290214 172 0 0 20 0 19 0 7782433 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 153 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=7485456 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=7485456 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2955.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7485456 KiB

[startup+2953.6 s]
/proc/loadavg: 4.13 4.17 4.17 5/317 82561
/proc/meminfo: memFree=105788584/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2958.5 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 314229 0 0 0 295329 521 0 0 20 0 19 0 7782432 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1871364 5841 1 0 1906253 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2907.03 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 139993 0 0 0 290531 172 0 0 20 0 19 0 7782433 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 153 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=11652 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=11652 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2958.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7485456 KiB

[startup+2955.2 s]
/proc/loadavg: 4.13 4.17 4.17 5/317 82561
/proc/meminfo: memFree=105788592/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19041612 memory=7485456 CPUtime=2960.06 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 314355 0 0 0 295485 521 0 0 20 0 19 0 7782432 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4760403 1871364 5841 1 0 1906256 0
[pid=81178/tid=81180] ppid=81175 vsize=19041612 memory=-6000919485558123367 CPUtime=2908.55 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 140110 0 0 0 290683 172 0 0 20 0 19 0 7782433 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 158 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19041612 memory=-6000919485558123367 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7782436 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 19 0 7782437 19498610688 1871364 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2960.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7485456 KiB

[startup+2956.82 s]
/proc/loadavg: 4.13 4.17 4.17 5/317 82561
/proc/meminfo: memFree=105788088/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19108176 memory=7488872 CPUtime=2962.59 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 320903 0 0 0 295737 522 0 0 20 0 20 0 7782432 19566772224 1872218 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4777044 1872218 5878 1 0 1907267 0
[pid=81178/tid=81180] ppid=81175 vsize=19108176 memory=7485456 CPUtime=2910.17 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 144830 0 0 0 290844 173 0 0 20 0 20 0 7782433 19566772224 1872218 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 158 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19108176 memory=7485456 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7782436 19566772224 1872218 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19108176 memory=5472 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 20 0 7782437 19566772224 1872218 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2962.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7488872 KiB

[startup+2957.2 s]
/proc/loadavg: 4.28 4.20 4.18 7/318 82562
/proc/meminfo: memFree=105785120/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19174740 memory=7489036 CPUtime=2963.34 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 321038 0 0 0 295812 522 0 0 20 0 21 0 7782432 19634933760 1872259 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4793685 1872259 5878 1 0 1907571 0
[pid=81178/tid=81180] ppid=81175 vsize=19174740 memory=3728 CPUtime=2910.52 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 144866 0 0 0 290879 173 0 0 20 0 21 0 7782433 19634933760 1872259 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 158 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19174740 memory=27348 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7782436 19634933760 1872259 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19174740 memory=-6000919485558123367 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 21 0 7782437 19634933760 1872259 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=82562] ppid=81175 vsize=19174740 memory=20856 CPUtime=0 cores=4,6
/proc/81178/task/82562/stat : 82562 (Timer-0) S 81175 81178 78062 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 21 0 8078112 19634933760 1872259 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2963.34 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7489036 KiB

[startup+2957.6 s]
/proc/loadavg: 4.28 4.20 4.18 7/318 82562
/proc/meminfo: memFree=105785120/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19174740 memory=7489160 CPUtime=2963.83 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 321104 0 0 0 295861 522 0 0 20 0 21 0 7782432 19634933760 1872290 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4793685 1872290 5878 1 0 1907588 0
[pid=81178/tid=81180] ppid=81175 vsize=19174740 memory=15976 CPUtime=2910.88 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 144880 0 0 0 290915 173 0 0 20 0 21 0 7782433 19634933760 1872290 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 158 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19174740 memory=2316 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7782436 19634933760 1872290 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19174740 memory=100 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 21 0 7782437 19634933760 1872290 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=82562] ppid=81175 vsize=19174740 memory=31436 CPUtime=0 cores=4,6
/proc/81178/task/82562/stat : 82562 (Timer-0) S 81175 81178 78062 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 21 0 8078112 19634933760 1872290 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2963.83 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7489160 KiB

[startup+2957.71 s]
/proc/loadavg: 4.28 4.20 4.18 7/318 82562
/proc/meminfo: memFree=105785120/131655788 swapFree=131071996/131071996
[pid=81178] ppid=81175 vsize=19174740 memory=7489244 CPUtime=2963.95 cores=4,6
/proc/81178/stat : 81178 (java) S 81175 81178 78062 0 -1 1077936128 321158 0 0 0 295873 522 0 0 20 0 21 0 7782432 19634933760 1872311 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
/proc/81178/statm: 4793685 1872311 5878 1 0 1907592 0
[pid=81178/tid=81180] ppid=81175 vsize=19174740 memory=11652 CPUtime=2910.98 cores=4,6
/proc/81178/task/81180/stat : 81180 (java) R 81175 81178 78062 0 -1 4194368 144919 0 0 0 290925 173 0 0 20 0 21 0 7782433 19634933760 1872311 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 158 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81189] ppid=81175 vsize=19174740 memory=56 CPUtime=0 cores=4,6
/proc/81178/task/81189/stat : 81189 (Finalizer) S 81175 81178 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7782436 19634933760 1872311 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=81196] ppid=81175 vsize=19174740 memory=7485456 CPUtime=0 cores=4,6
/proc/81178/task/81196/stat : 81196 (Common-Cleaner) S 81175 81178 78062 0 -1 1077936192 4119 0 0 0 0 0 0 0 20 0 21 0 7782437 19634933760 1872311 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
[pid=81178/tid=82562] ppid=81175 vsize=19174740 memory=11652 CPUtime=0 cores=4,6
/proc/81178/task/82562/stat : 82562 (Timer-0) S 81175 81178 78062 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 21 0 8078112 19634933760 1872311 134679101440 94672753041408 94672753045104 140722783187664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94672753052920 94672753053712 94672786563072 140722783196148 140722783196256 140722783196256 140722783203272 0
Current children cumulated CPU time: 2963.95 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7489244 KiB

Child status: 1

Real time (s): 2957.77
CPU time (s): 2964.04
CPU user time (s): 2958.79
CPU system time (s): 5.25273
CPU usage (%): 100.212
Max. virtual memory (cumulated for all children) (KiB): 19174740
Max. memory (cumulated for all children) (KiB): 7489244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2958.79
system time used= 5.25273
maximum resident set size= 7490948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321566
page faults= 0
swaps= 0
block input operations= 24
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 320683
involuntary context switches= 6406


# summary of solver processes directly reported to runsolver:
#   pid: 81178
#   total CPU time (s): 2964.04
#   total CPU user time (s): 2958.79
#   total CPU system time (s): 5.25273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.528 second user time and 32.5831 second system time

The end

Begin job on nodeC008 at 2024-07-23 08:58:51
IDJOB=4456320
IDBENCH=143875
IDSOLVER=3036
FILE ID=nodeC008/4456320-1721717930
RUNJOBID= nodeC008-1721717812-78073
SLURM_JOB_ID= 7770387
Free space on /tmp= 723712 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen07_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456320-1721717930/watcher-4456320-1721717930 -o /tmp/evaluation-result-4456320-1721717930/solver-4456320-1721717930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78073 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456320-1721717930.wbo

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

MD5SUM BENCH= fbb4da79d40095d38c594df560c89a05
RANDOM SEED=1307362835

nodeC008.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		: 3600.428
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.19
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		: 3672.053
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.33
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.246
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.19
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.198
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.33
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		: 3491.598
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.19
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		: 3609.541
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.33
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.140
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.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.316
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119672240 kB
MemAvailable:   124227412 kB
Buffers:          135904 kB
Cached:          5197172 kB
SwapCached:            0 kB
Active:           870196 kB
Inactive:       10504896 kB
Active(anon):       1464 kB
Inactive(anon):  6070096 kB
Active(file):     868732 kB
Inactive(file):  4434800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             58056 kB
Writeback:             8 kB
AnonPages:       6041680 kB
Mapped:           119364 kB
Shmem:             29512 kB
KReclaimable:     183344 kB
Slab:             281604 kB
SReclaimable:     183344 kB
SUnreclaim:        98260 kB
KernelStack:        5040 kB
PageTables:        21996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11526192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16064 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5746688 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:      256840 kB
DirectMap2M:    24813568 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC008 at 2024-07-23 09:48:09

Name	PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo
MD5SUM	fbb4da79d40095d38c594df560c89a05
Bench Category	PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark	MSAT
Best cost obtained on this benchmark	2455561
Best CPU time to get the best result obtained on this benchmark	3602.32
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	7976
Total number of constraints	1810140
Number of soft constraints	1809940
Number of constraints which are clauses	1809940
Number of constraints which are cardinality constraints (but not clauses)	200
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	44
Top cost	468527294
Min constraint cost	1
Max constraint cost	1000000
Sum of constraints costs	286472940853
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	45
Number of bits of the biggest sum of numbers	6
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 4456320

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data