PB'24 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	?	1149.05	1147.15

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=723046, runsolver pid=723043

[startup+0.100503 s]*
/proc/loadavg: 1.63 1.42 1.73 9/330 723064
/proc/meminfo: memFree=122125964/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=18975048 memory=63332 CPUtime=0.14 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 7230 0 0 0 12 2 0 0 20 0 18 0 141610903 19430449152 15833 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4743762 15833 5686 1 0 549357 0
[pid=723046/tid=723048] ppid=723043 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) D 723043 723046 720629 0 -1 1078198336 5766 0 0 0 8 1 0 0 20 0 18 0 141610904 19430449152 15833 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141610906 19430449152 15833 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=18975048 memory=15542920530912022 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141610907 19430449152 15833 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63332 KiB

[startup+0.208388 s]*
/proc/loadavg: 1.63 1.42 1.73 11/330 723064
/proc/meminfo: memFree=121808812/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=18975048 memory=96768 CPUtime=0.33 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 7748 0 0 0 30 3 0 0 20 0 18 0 141610903 19430449152 24192 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4743762 24192 5852 1 0 549652 0
[pid=723046/tid=723048] ppid=723043 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 6056 0 0 0 16 2 0 0 20 0 18 0 141610904 19430449152 24192 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=18975048 memory=15962 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141610906 19430449152 24192 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141610907 19430449152 24192 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 96768 KiB

[startup+0.306392 s]*
/proc/loadavg: 1.63 1.42 1.73 10/331 723065
/proc/meminfo: memFree=121614428/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=170448 CPUtime=0.52 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 9397 0 0 0 47 5 0 0 20 0 19 0 141610903 19498610688 42612 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 42612 5868 1 0 550999 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=-8960309934652039868 CPUtime=0.25 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 6099 0 0 0 22 3 0 0 20 0 19 0 141610904 19498610688 42612 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 42612 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 42612 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 170448 KiB

[startup+0.700248 s]
/proc/loadavg: 1.63 1.42 1.73 6/331 723065
/proc/meminfo: memFree=120532172/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=1096116 CPUtime=1.24 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 13921 0 0 0 101 23 0 0 20 0 19 0 141610903 19498610688 274029 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 274029 5884 1 0 552843 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=5552 CPUtime=0.6 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 6546 0 0 0 39 21 0 0 20 0 19 0 141610904 19498610688 274029 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=12996 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 274029 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 274029 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1096116 KiB

[startup+1.50039 s]
/proc/loadavg: 1.63 1.42 1.73 7/331 723065
/proc/meminfo: memFree=118531860/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=3006532 CPUtime=2.83 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 24243 0 0 0 221 62 0 0 20 0 19 0 141610903 19498610688 751633 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 751633 5884 1 0 1070957 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=12996 CPUtime=1.37 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 7462 0 0 0 80 57 0 0 20 0 19 0 141610904 19498610688 751633 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 751633 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 751633 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3006532 KiB

[startup+3.10633 s]
/proc/loadavg: 1.63 1.42 1.73 5/331 723065
/proc/meminfo: memFree=115368828/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=3355752 CPUtime=5.12 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 25788 0 0 0 443 69 0 0 20 0 19 0 141610903 19498610688 838938 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 838938 5884 1 0 1071648 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=0 CPUtime=2.91 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 7632 0 0 0 227 64 0 0 20 0 19 0 141610904 19498610688 838938 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=12996 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 838938 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=3354960 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 838938 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3355752 KiB

[startup+6.30028 s]
/proc/loadavg: 1.98 1.50 1.76 5/311 723084
/proc/meminfo: memFree=117863496/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=3898184 CPUtime=8.37 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 26460 0 0 0 757 80 0 0 20 0 19 0 141610903 19498610688 974546 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 974546 5884 1 0 1211611 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=0 CPUtime=5.88 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 7901 0 0 0 513 75 0 0 20 0 19 0 141610904 19498610688 974546 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=3352644 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 974546 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=224194199869 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 974546 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3898184 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 1.54 1.77 6/331 723134
/proc/meminfo: memFree=113981272/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=4530752 CPUtime=14.97 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 27930 0 0 0 1404 93 0 0 20 0 19 0 141610903 19498610688 1132688 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1132688 5884 1 0 1366190 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=4524344 CPUtime=11.91 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 8933 0 0 0 1105 86 0 0 20 0 19 0 141610904 19498610688 1132688 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=4520248 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1132688 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=3897920 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1132688 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4530752 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 1.68 1.81 6/331 723138
/proc/meminfo: memFree=112870936/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=4568424 CPUtime=27.98 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 31603 0 0 0 2703 95 0 0 20 0 19 0 141610903 19498610688 1142106 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1142106 5884 1 0 1366190 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=4549188 CPUtime=24.11 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 10112 0 0 0 2324 87 0 0 20 0 19 0 141610904 19498610688 1142106 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=3897920 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1142106 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=11432 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1142106 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4568424 KiB

[startup+51.1063 s]
/proc/loadavg: 2.75 1.78 1.84 4/306 723175
/proc/meminfo: memFree=116482108/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=4622536 CPUtime=53.81 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 36281 0 0 0 5281 100 0 0 20 0 19 0 141610903 19498610688 1155634 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1155634 5884 1 0 1366190 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=4530752 CPUtime=48.85 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 12855 0 0 0 4798 87 0 0 20 0 19 0 141610904 19498610688 1155634 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1155634 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=3897920 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1155634 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 53.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4622536 KiB

[startup+102.3 s]
/proc/loadavg: 3.00 2.00 1.92 4/306 723184
/proc/meminfo: memFree=116304912/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=4688672 CPUtime=105.36 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 44660 0 0 0 10428 108 0 0 20 0 19 0 141610903 19498610688 1172168 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1172168 5884 1 0 1366190 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=11432 CPUtime=98.88 cores=5,7

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

Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344560 KiB

[startup+1122.3 s]
/proc/loadavg: 2.16 2.50 2.49 3/282 724015
/proc/meminfo: memFree=118571832/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1123.72 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 118938 0 0 0 112144 228 0 0 20 0 19 0 141610903 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336140 5884 1 0 1366201 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=12996 CPUtime=1104.39 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 49400 0 0 0 110328 111 0 0 20 0 19 0 141610904 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=11432 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=5344560 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1428 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1123.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344560 KiB

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

# cumulated CPU time of all completed processes:  user=1146.72 s, system=2.33281 s

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

[startup+1126.4 s]
/proc/loadavg: 2.23 2.51 2.49 3/282 724017
/proc/meminfo: memFree=118571860/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1127.82 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 119035 0 0 0 112553 229 0 0 20 0 19 0 141610903 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336140 5884 1 0 1366201 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=5344556 CPUtime=1108.44 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 49486 0 0 0 110733 111 0 0 20 0 19 0 141610904 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=11432 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=35576 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1428 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1127.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344560 KiB

[startup+1139.2 s]
/proc/loadavg: 2.20 2.49 2.48 3/282 724019
/proc/meminfo: memFree=118571468/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1140.61 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 119255 0 0 0 113831 230 0 0 20 0 19 0 141610903 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336140 5884 1 0 1366201 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1121.08 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 49586 0 0 0 111997 111 0 0 20 0 19 0 141610904 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=11432 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=5344560 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1428 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1140.61 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344560 KiB

[startup+1142.4 s]
/proc/loadavg: 2.18 2.48 2.48 3/282 724019
/proc/meminfo: memFree=118571468/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1143.81 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 120760 0 0 0 114150 231 0 0 20 0 19 0 141610903 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336140 5884 1 0 1366201 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1124.24 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 50012 0 0 0 112313 111 0 0 20 0 19 0 141610904 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=35576 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=11432 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1143.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344560 KiB

[startup+1145.6 s]
/proc/loadavg: 2.16 2.47 2.48 3/282 724020
/proc/meminfo: memFree=118571328/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1147 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 120843 0 0 0 114469 231 0 0 20 0 19 0 141610903 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336140 5884 1 0 1366201 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=35576 CPUtime=1127.4 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 50075 0 0 0 112629 111 0 0 20 0 19 0 141610904 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=11432 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=5344560 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336140 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1147 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344560 KiB

[startup+1146.4 s]
/proc/loadavg: 2.16 2.47 2.48 3/282 724020
/proc/meminfo: memFree=118571328/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5344856 CPUtime=1147.97 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 124435 0 0 0 114566 231 0 0 20 0 19 0 141610903 19498610688 1336214 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336214 5884 1 0 1366253 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=5344560 CPUtime=1128.19 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 51913 0 0 0 112708 111 0 0 20 0 19 0 141610904 19498610688 1336214 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=12996 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336214 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=5344560 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336214 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1147.97 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5344856 KiB

[startup+1146.81 s]
/proc/loadavg: 2.16 2.47 2.48 3/282 724020
/proc/meminfo: memFree=118571328/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19041612 memory=5347424 CPUtime=1148.46 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 126810 0 0 0 114615 231 0 0 20 0 19 0 141610903 19498610688 1336856 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4760403 1336856 5921 1 0 1366814 0
[pid=723046/tid=723048] ppid=723043 vsize=19041612 memory=15816 CPUtime=1128.6 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 54053 0 0 0 112748 112 0 0 20 0 19 0 141610904 19498610688 1336856 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19041612 memory=1053 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141610906 19498610688 1336856 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19041612 memory=-8960309934652039868 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 19 0 141610907 19498610688 1336856 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1148.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5347424 KiB

[startup+1147 s]*
/proc/loadavg: 2.16 2.47 2.48 4/283 724021
/proc/meminfo: memFree=118568248/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19108176 memory=5347860 CPUtime=1148.81 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 127271 0 0 0 114650 231 0 0 20 0 20 0 141610903 19566772224 1336965 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4777044 1336965 5922 1 0 1367145 0
[pid=723046/tid=723048] ppid=723043 vsize=19108176 memory=-8960309934652039868 CPUtime=1128.8 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) R 723043 723046 720629 0 -1 4194368 54357 0 0 0 112768 112 0 0 20 0 20 0 141610904 19566772224 1336965 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19108176 memory=-8693842183309410974 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141610906 19566772224 1336965 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19108176 memory=28096 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 20 0 141610907 19566772224 1336965 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=724021] ppid=723043 vsize=19108176 memory=5344560 CPUtime=0 cores=5,7
/proc/723046/task/724021/stat : 724021 (Timer-0) S 723043 723046 720629 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 141725595 19566772224 1336965 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1148.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5347860 KiB

[startup+1147.11 s]
/proc/loadavg: 2.16 2.47 2.48 4/283 724021
/proc/meminfo: memFree=118568248/131524596 swapFree=131071996/131071996
[pid=723046] ppid=723043 vsize=19241304 memory=5348180 CPUtime=1148.99 cores=5,7
/proc/723046/stat : 723046 (java) S 723043 723046 720629 0 -1 1077936128 127937 0 0 0 114668 231 0 0 20 0 20 0 141610903 19703095296 1337045 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
/proc/723046/statm: 4810326 1337045 5922 1 0 1367756 0
[pid=723046/tid=723048] ppid=723043 vsize=19241304 memory=12996 CPUtime=1128.89 cores=5,7
/proc/723046/task/723048/stat : 723048 (java) S 723043 723046 720629 0 -1 1077936192 54483 0 0 0 112777 112 0 0 20 0 20 0 141610904 19703095296 1337045 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723057] ppid=723043 vsize=19241304 memory=5344556 CPUtime=0 cores=5,7
/proc/723046/task/723057/stat : 723057 (Finalizer) S 723043 723046 720629 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141610906 19703095296 1337045 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
[pid=723046/tid=723064] ppid=723043 vsize=19241304 memory=18648 CPUtime=0 cores=5,7
/proc/723046/task/723064/stat : 723064 (Common-Cleaner) S 723043 723046 720629 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 20 0 141610907 19703095296 1337045 134679101440 94750766129152 94750766132848 140722121613376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94750766140664 94750766141456 94750779637760 140722121618451 140722121618559 140722121618559 140722121625544 0
Current children cumulated CPU time: 1148.99 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 5348180 KiB

Child status: 1

Real time (s): 1147.15
CPU time (s): 1149.05
CPU user time (s): 1146.72
CPU system time (s): 2.33281
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 5348180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1146.72
system time used= 2.33282
maximum resident set size= 5349292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169602
involuntary context switches= 4954


# summary of solver processes directly reported to runsolver:
#   pid: 723046
#   total CPU time (s): 1149.05
#   total CPU user time (s): 1146.72
#   total CPU system time (s): 2.33281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.16577 second user time and 5.55997 second system time

The end

Begin job on nodeC034 at 2024-07-13 20:13:36
IDJOB=4424670
IDBENCH=144137
IDSOLVER=3036
FILE ID=nodeC034/4424670-1720894403
RUNJOBID= nodeC034-1720894414-722864
SLURM_JOB_ID= 7485823
Free space on /tmp= 889784 MiB

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

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

MD5SUM BENCH= f7c32201343af4658b05b95f6b622952
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		: 3615.685
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		: 3604.722
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		: 3624.014
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		: 3604.813
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		: 3613.471
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		: 3600.128
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		: 3606.148
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		: 3600.067
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:        122904324 kB
MemAvailable:   123446408 kB
Buffers:          327052 kB
Cached:          1054760 kB
SwapCached:            0 kB
Active:           497764 kB
Inactive:        7534084 kB
Active(anon):       1508 kB
Inactive(anon):  6686224 kB
Active(file):     496256 kB
Inactive(file):   847860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            254240 kB
Writeback:             0 kB
AnonPages:       6650096 kB
Mapped:           121564 kB
Shmem:             37720 kB
KReclaimable:      75580 kB
Slab:             174820 kB
SReclaimable:      75580 kB
SUnreclaim:        99240 kB
KernelStack:        4992 kB
PageTables:        23104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   11429748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56384 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6164480 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= 889796 MiB
End job on nodeC034 at 2024-07-13 20:32:43

Name	PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo
MD5SUM	f7c32201343af4658b05b95f6b622952
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	28325
Best CPU time to get the best result obtained on this benchmark	3600.23
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	9502
Total number of constraints	1168253
Number of soft constraints	1168001
Number of constraints which are clauses	1168001
Number of constraints which are cardinality constraints (but not clauses)	252
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	939023
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	296009396
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 4424670

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data