PB'24 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	?	818.787	818.007

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: 63968 MiB (55672 MiB free)
  memory of node 1: 64473 MiB (59398 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424671-1720894410/watcher-4424671-1720894410 -o /tmp/evaluation-result-4424671-1720894410/solver-4424671-1720894410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720894414-722863 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424671-1720894410.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 1.98 1.50 1.76 5/330 723133
/proc/meminfo: memFree=117787432/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=18975048 memory=65528 CPUtime=0.14 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 7215 0 0 0 12 2 0 0 20 0 18 0 141611536 19430449152 16382 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4743762 16382 5749 1 0 549330 0
[pid=723115/tid=723117] ppid=723112 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 5747 0 0 0 7 1 0 0 20 0 18 0 141611536 19430449152 16382 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141611539 19430449152 16382 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=18975048 memory=15542920530912022 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141611539 19430449152 16382 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65528 KiB

[startup+0.208928 s]*
/proc/loadavg: 1.98 1.50 1.76 6/330 723133
/proc/meminfo: memFree=117745580/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=18975048 memory=113308 CPUtime=0.34 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 7859 0 0 0 31 3 0 0 20 0 18 0 141611536 19430449152 28327 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4743762 28327 5835 1 0 549778 0
[pid=723115/tid=723117] ppid=723112 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 6074 0 0 0 17 2 0 0 20 0 18 0 141611536 19430449152 28327 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=18975048 memory=15962 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141611539 19430449152 28327 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141611539 19430449152 28327 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113308 KiB

[startup+0.313686 s]*
/proc/loadavg: 1.98 1.50 1.76 6/331 723134
/proc/meminfo: memFree=117682464/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=167668 CPUtime=0.52 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 9206 0 0 0 47 5 0 0 20 0 19 0 141611536 19498610688 41917 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 41917 5850 1 0 550806 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=-9033210854108471996 CPUtime=0.26 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 6105 0 0 0 23 3 0 0 20 0 19 0 141611536 19498610688 41917 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 41917 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 41917 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167668 KiB

[startup+0.700804 s]
/proc/loadavg: 1.98 1.50 1.76 7/331 723134
/proc/meminfo: memFree=117404960/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=1056348 CPUtime=1.24 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 12061 0 0 0 101 23 0 0 20 0 19 0 141611536 19498610688 264087 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 264087 5850 1 0 1107582 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=5552 CPUtime=0.6 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 6525 0 0 0 39 21 0 0 20 0 19 0 141611536 19498610688 264087 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=12996 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 264087 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 264087 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1056348 KiB

[startup+1.50467 s]
/proc/loadavg: 1.98 1.50 1.76 7/331 723134
/proc/meminfo: memFree=115590848/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=2469036 CPUtime=2.57 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 23462 0 0 0 205 52 0 0 20 0 19 0 141611536 19498610688 617259 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 617259 5850 1 0 1112668 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=12996 CPUtime=1.37 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) S 723112 723115 720629 0 -1 1077936192 7199 0 0 0 90 47 0 0 20 0 19 0 141611536 19498610688 617259 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 617259 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 617259 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2469036 KiB

[startup+3.1065 s]
/proc/loadavg: 2.14 1.54 1.77 5/331 723134
/proc/meminfo: memFree=114016820/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=2655812 CPUtime=4.21 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 23593 0 0 0 365 56 0 0 20 0 19 0 141611536 19498610688 663953 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 663953 5866 1 0 1112669 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=0 CPUtime=2.92 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 7275 0 0 0 242 50 0 0 20 0 19 0 141611536 19498610688 663953 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=12996 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 663953 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=2469036 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 663953 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2655812 KiB

[startup+6.30029 s]
/proc/loadavg: 2.14 1.54 1.77 5/331 723134
/proc/meminfo: memFree=113979224/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=3121864 CPUtime=7.49 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 24520 0 0 0 683 66 0 0 20 0 19 0 141611536 19498610688 780466 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 780466 5866 1 0 1231732 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=0 CPUtime=5.94 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 7889 0 0 0 535 59 0 0 20 0 19 0 141611536 19498610688 780466 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=2469036 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 780466 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=224194199869 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 780466 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3121864 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 1.58 1.78 5/331 723136
/proc/meminfo: memFree=112939772/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=3637312 CPUtime=14.05 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 25877 0 0 0 1329 76 0 0 20 0 19 0 141611536 19498610688 909328 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 909328 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=3633216 CPUtime=11.99 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 8888 0 0 0 1131 68 0 0 20 0 19 0 141611536 19498610688 909328 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=3628848 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 909328 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=15823278816101917 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 909328 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 14.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3637312 KiB

[startup+25.5003 s]
/proc/loadavg: 2.66 1.70 1.82 6/306 723172
/proc/meminfo: memFree=116601444/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=3676508 CPUtime=27.04 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 29095 0 0 0 2626 78 0 0 20 0 19 0 141611536 19498610688 919127 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 919127 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=3668264 CPUtime=24.23 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 9875 0 0 0 2354 69 0 0 20 0 19 0 141611536 19498610688 919127 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 919127 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=12996 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 919127 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 27.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3676508 KiB

[startup+51.1065 s]
/proc/loadavg: 2.77 1.80 1.85 4/306 723177
/proc/meminfo: memFree=116456820/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=3734932 CPUtime=52.87 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 33748 0 0 0 5204 83 0 0 20 0 19 0 141611536 19498610688 933733 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 933733 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=35576 CPUtime=48.97 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 12927 0 0 0 4827 70 0 0 20 0 19 0 141611536 19498610688 933733 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=3728724 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 933733 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=3701928 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 933733 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 52.87 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3734932 KiB

[startup+102.3 s]
/proc/loadavg: 3.00 2.02 1.92 4/306 723185
/proc/meminfo: memFree=116271908/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=3782856 CPUtime=104.24 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 41887 0 0 0 10333 91 0 0 20 0 19 0 141611536 19498610688 945714 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 945714 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=-9033210854108471996 CPUtime=98.97 cores=1,3

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

/proc/meminfo: memFree=113247536/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307504 CPUtime=702.88 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 85278 0 0 0 70109 179 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326876 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=5307492 CPUtime=688.91 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 37213 0 0 0 68784 107 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=5307504 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=5307504 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 958 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 702.88 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307504 KiB

[startup+762.3 s]
/proc/loadavg: 3.13 3.01 2.56 4/303 723688
/proc/meminfo: memFree=113246288/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307504 CPUtime=762.63 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 89503 0 0 0 76079 184 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326876 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=11432 CPUtime=748.12 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 39360 0 0 0 74705 107 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=5552 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 762.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307504 KiB

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

# cumulated CPU time of all completed processes:  user=816.876 s, system=1.91053 s

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

[startup+768 s]*
/proc/loadavg: 3.19 3.03 2.57 4/303 723688
/proc/meminfo: memFree=113246344/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307504 CPUtime=768.32 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 89654 0 0 0 76647 185 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326876 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=-9033210854108471996 CPUtime=753.76 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 39491 0 0 0 75269 107 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=-7522269935119588986 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=7224 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 768.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307504 KiB

[startup+793.6 s]
/proc/loadavg: 3.12 3.03 2.58 4/304 723694
/proc/meminfo: memFree=113245736/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307504 CPUtime=793.83 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 91962 0 0 0 79197 186 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326876 5866 1 0 1357094 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=11432 CPUtime=779.06 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 40236 0 0 0 77798 108 0 0 20 0 19 0 141611536 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=5307504 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=5307504 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1118 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326876 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 793.83 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307504 KiB

[startup+806.4 s]
/proc/loadavg: 3.10 3.03 2.59 4/304 723696
/proc/meminfo: memFree=113245640/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307592 CPUtime=806.59 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 94260 0 0 0 80472 187 0 0 20 0 19 0 141611536 19498610688 1326898 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326898 5866 1 0 1357106 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=5307504 CPUtime=791.67 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 40700 0 0 0 79059 108 0 0 20 0 19 0 141611536 19498610688 1326898 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=5307504 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326898 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=5307504 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1118 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326898 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 806.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307592 KiB

[startup+812.8 s]
/proc/loadavg: 3.17 3.04 2.60 4/304 723698
/proc/meminfo: memFree=113245444/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307616 CPUtime=813 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 96581 0 0 0 81112 188 0 0 20 0 19 0 141611536 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326904 5866 1 0 1357106 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=5307504 CPUtime=797.98 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 41331 0 0 0 79690 108 0 0 20 0 19 0 141611536 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=5307616 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=12996 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1118 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 813 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307616 KiB

[startup+816 s]*
/proc/loadavg: 3.16 3.04 2.60 4/304 723698
/proc/meminfo: memFree=113245388/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307616 CPUtime=816.19 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 96833 0 0 0 81431 188 0 0 20 0 19 0 141611536 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326904 5866 1 0 1357106 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=-9033210854108471996 CPUtime=801.13 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 41546 0 0 0 80005 108 0 0 20 0 19 0 141611536 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=-9044459746194447340 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=7245577299922993209 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1118 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326904 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 816.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307616 KiB

[startup+816.8 s]
/proc/loadavg: 3.16 3.04 2.60 4/304 723698
/proc/meminfo: memFree=113245388/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19041612 memory=5307692 CPUtime=817.08 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 98080 0 0 0 81520 188 0 0 20 0 19 0 141611536 19498610688 1326923 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4760403 1326923 5866 1 0 1357106 0
[pid=723115/tid=723117] ppid=723112 vsize=19041612 memory=19656 CPUtime=801.92 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 42694 0 0 0 80084 108 0 0 20 0 19 0 141611536 19498610688 1326923 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19041612 memory=26096 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326923 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19041612 memory=100 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1118 0 0 0 0 0 0 0 20 0 19 0 141611539 19498610688 1326923 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 817.08 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5307692 KiB

[startup+817.601 s]
/proc/loadavg: 3.16 3.04 2.60 4/304 723698
/proc/meminfo: memFree=113245248/131524596 swapFree=131071996/131071996
[pid=723115] ppid=723112 vsize=19108176 memory=5310888 CPUtime=818.24 cores=1,3
/proc/723115/stat : 723115 (java) S 723112 723115 720629 0 -1 1077936128 101308 0 0 0 81636 188 0 0 20 0 20 0 141611536 19566772224 1327722 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
/proc/723115/statm: 4777044 1327722 5904 1 0 1358007 0
[pid=723115/tid=723117] ppid=723112 vsize=19108176 memory=-9033210854108471996 CPUtime=802.71 cores=1,3
/proc/723115/task/723117/stat : 723117 (java) R 723112 723115 720629 0 -1 4194368 45136 0 0 0 80163 108 0 0 20 0 20 0 141611536 19566772224 1327722 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723126] ppid=723112 vsize=19108176 memory=1832 CPUtime=0 cores=1,3
/proc/723115/task/723126/stat : 723126 (Finalizer) S 723112 723115 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141611539 19566772224 1327722 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
[pid=723115/tid=723133] ppid=723112 vsize=19108176 memory=-9033210854108471996 CPUtime=0 cores=1,3
/proc/723115/task/723133/stat : 723133 (Common-Cleaner) S 723112 723115 720629 0 -1 1077936192 1118 0 0 0 0 0 0 0 20 0 20 0 141611539 19566772224 1327722 134679101440 94028023361536 94028023365232 140737404582640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94028023373048 94028023373840 94028043333632 140737404589075 140737404589183 140737404589183 140737404596168 0
Current children cumulated CPU time: 818.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5310888 KiB

[startup+818.001 s]*
/proc/loadavg: 3.39 3.09 2.62 4/286 723702
/proc/meminfo: memFree=118540640/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1

Real time (s): 818.007
CPU time (s): 818.787
CPU user time (s): 816.876
CPU system time (s): 1.91053
CPU usage (%): 100.095
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5310888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 816.876
system time used= 1.91053
maximum resident set size= 5312380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107543
involuntary context switches= 3492


# summary of solver processes directly reported to runsolver:
#   pid: 723115
#   total CPU time (s): 818.787
#   total CPU user time (s): 816.876
#   total CPU system time (s): 1.91053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6847 second user time and 4.77568 second system time

The end

Begin job on nodeC034 at 2024-07-13 20:13:42
IDJOB=4424671
IDBENCH=144144
IDSOLVER=3036
FILE ID=nodeC034/4424671-1720894410
RUNJOBID= nodeC034-1720894414-722863
SLURM_JOB_ID= 7485823
Free space on /tmp= 889756 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph13reducmore_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424671-1720894410/watcher-4424671-1720894410 -o /tmp/evaluation-result-4424671-1720894410/solver-4424671-1720894410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720894414-722863 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424671-1720894410.wbo

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

MD5SUM BENCH= 67fbd2e887926488e60ea47b7a4ad243
RANDOM SEED=2142282624

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        117833328 kB
MemAvailable:   118403948 kB
Buffers:          327088 kB
Cached:          1082776 kB
SwapCached:            0 kB
Active:           502268 kB
Inactive:       12589484 kB
Active(anon):       1524 kB
Inactive(anon): 11718072 kB
Active(file):     500744 kB
Inactive(file):   871412 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             69032 kB
Writeback:           132 kB
AnonPages:      11682000 kB
Mapped:           121532 kB
Shmem:             37720 kB
KReclaimable:      76576 kB
Slab:             175936 kB
SReclaimable:      76576 kB
SUnreclaim:        99360 kB
KernelStack:        4960 kB
PageTables:        32948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   15001852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56384 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11380736 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:      172756 kB
DirectMap2M:     9037824 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889764 MiB
End job on nodeC034 at 2024-07-13 20:27:21

Name	PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo
MD5SUM	67fbd2e887926488e60ea47b7a4ad243
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	5015
Best CPU time to get the best result obtained on this benchmark	3601.46
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	13153
Total number of constraints	970904
Number of soft constraints	970450
Number of constraints which are clauses	970450
Number of constraints which are cardinality constraints (but not clauses)	454
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Top cost	10110
Min constraint cost	1
Max constraint cost	3670
Sum of constraints costs	307075871
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 4424671

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data