PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	SAT	80.4177	73.5332

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62895 MiB free)
  memory of node 1: 64510 MiB (63183 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444391-1721318337/watcher-4444391-1721318337 -o /tmp/evaluation-result-4444391-1721318337/solver-4444391-1721318337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721318349-955706 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4444391-1721318337.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=955760, runsolver pid=955750

[startup+0.104166 s]*
/proc/loadavg: 1.29 1.69 2.86 17/312 955835
/proc/meminfo: memFree=128965092/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=18975048 memory=56372 CPUtime=0.13 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 6287 0 0 0 9 4 0 0 20 0 18 0 183990130 19430449152 14093 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4743762 14093 5459 1 0 550746 0
[pid=955760/tid=955769] ppid=955750 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 5250 0 0 0 5 3 0 0 20 0 18 0 183990131 19430449152 14093 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183990137 19430449152 14093 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183990138 19430449152 14093 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56372 KiB

[startup+0.214174 s]*
/proc/loadavg: 1.29 1.69 2.86 15/312 955835
/proc/meminfo: memFree=128954088/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=18975048 memory=61224 CPUtime=0.3 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 6968 0 0 0 25 5 0 0 20 0 18 0 183990130 19430449152 15306 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4743762 15306 5502 1 0 551323 0
[pid=955760/tid=955769] ppid=955750 vsize=18975048 memory=664970851429515395 CPUtime=0.17 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 5567 0 0 0 14 3 0 0 20 0 18 0 183990131 19430449152 15306 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183990137 19430449152 15306 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183990138 19430449152 15306 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61224 KiB

[startup+0.326165 s]*
/proc/loadavg: 1.29 1.69 2.86 15/312 955835
/proc/meminfo: memFree=128927640/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=18975048 memory=67388 CPUtime=0.47 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 7271 0 0 0 42 5 0 0 20 0 18 0 183990130 19430449152 16847 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4743762 16847 5722 1 0 551549 0
[pid=955760/tid=955769] ppid=955750 vsize=18975048 memory=-9104135942529393340 CPUtime=0.28 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 5775 0 0 0 24 4 0 0 20 0 18 0 183990131 19430449152 16847 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183990137 19430449152 16847 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183990138 19430449152 16847 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67388 KiB

[startup+0.70516 s]
/proc/loadavg: 1.29 1.69 2.86 16/312 955835
/proc/meminfo: memFree=128904512/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19041612 memory=86140 CPUtime=1.16 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 8812 0 0 0 109 7 0 0 20 0 19 0 183990130 19498610688 21535 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4760403 21535 5813 1 0 552757 0
[pid=955760/tid=955769] ppid=955750 vsize=19041612 memory=5512 CPUtime=0.57 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 6026 0 0 0 52 5 0 0 20 0 19 0 183990131 19498610688 21535 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183990137 19498610688 21535 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183990138 19498610688 21535 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86140 KiB

[startup+1.50116 s]
/proc/loadavg: 1.29 1.69 2.86 14/316 955839
/proc/meminfo: memFree=128741532/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=182736 CPUtime=2.73 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 20729 0 0 0 260 13 0 0 20 0 20 0 183990130 19566772224 45684 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 45684 5833 1 0 557282 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=0 CPUtime=1.23 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 6378 0 0 0 115 8 0 0 20 0 20 0 183990131 19566772224 45684 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=5512 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 45684 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 45684 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 45684 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182736 KiB

[startup+3.10629 s]
/proc/loadavg: 2.15 1.86 2.91 13/319 955909
/proc/meminfo: memFree=127993056/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=380036 CPUtime=5.9 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 23266 0 0 0 572 18 0 0 20 0 20 0 183990130 19566772224 95009 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 95009 5849 1 0 557683 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=11992 CPUtime=2.75 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) S 955750 955760 955693 0 -1 1077936192 6897 0 0 0 264 11 0 0 20 0 20 0 183990131 19566772224 95009 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 95009 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 95009 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 95009 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 380036 KiB

[startup+6.30046 s]
/proc/loadavg: 2.15 1.86 2.91 6/320 955912
/proc/meminfo: memFree=125884012/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=819252 CPUtime=10.62 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 26089 0 0 0 1035 27 0 0 20 0 20 0 183990130 19566772224 204813 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 204813 5849 1 0 664974 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=0 CPUtime=5.87 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 7116 0 0 0 569 18 0 0 20 0 20 0 183990131 19566772224 204813 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 204813 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 204813 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=43480 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 204813 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 10.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 819252 KiB

[startup+12.7014 s]
/proc/loadavg: 2.51 1.95 2.92 6/320 955912
/proc/meminfo: memFree=124693204/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=1235036 CPUtime=17.11 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 26714 0 0 0 1676 35 0 0 20 0 20 0 183990130 19566772224 308759 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 308759 5849 1 0 664976 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=0 CPUtime=12.01 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 7668 0 0 0 1176 25 0 0 20 0 20 0 183990131 19566772224 308759 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=1138744 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 308759 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=90448 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 308759 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=394372 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 308759 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 17.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1235036 KiB

[startup+25.5005 s]
/proc/loadavg: 2.89 2.05 2.95 6/320 955981
/proc/meminfo: memFree=121617060/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2276760 CPUtime=31.12 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 36657 0 0 0 3054 58 0 0 20 0 20 0 183990130 19566772224 569190 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 569190 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=2272560 CPUtime=24.42 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 10496 0 0 0 2397 45 0 0 20 0 20 0 183990131 19566772224 569190 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=2272560 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 569190 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=148 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 569190 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=2270512 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 569190 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 31.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2276760 KiB

[startup+51.114 s]
/proc/loadavg: 3.34 2.22 2.98 5/320 955985
/proc/meminfo: memFree=118733780/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2285296 CPUtime=57.22 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 43239 0 0 0 5660 62 0 0 20 0 20 0 183990130 19566772224 571324 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 571324 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=2270512 CPUtime=49.45 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 13367 0 0 0 4898 47 0 0 20 0 20 0 183990131 19566772224 571324 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 571324 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 571324 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=819252 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 571324 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 57.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2285296 KiB

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

# cumulated CPU time of all completed processes:  user=79.7436 s, system=0.674133 s

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

[startup+51.2102 s]
/proc/loadavg: 3.34 2.22 2.98 5/320 955985
/proc/meminfo: memFree=118733780/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2285308 CPUtime=57.37 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 43599 0 0 0 5675 62 0 0 20 0 20 0 183990130 19566772224 571327 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 571327 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=276 CPUtime=49.54 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 13397 0 0 0 4907 47 0 0 20 0 20 0 183990131 19566772224 571327 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=26064 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 571327 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 571327 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 571327 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 57.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2285308 KiB

[startup+64.0004 s]*
/proc/loadavg: 3.48 2.31 3.00 6/320 955987
/proc/meminfo: memFree=118722548/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2289868 CPUtime=70.8 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 51890 0 0 0 7015 65 0 0 20 0 20 0 183990130 19566772224 572467 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 572467 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=-8599730585240642236 CPUtime=62.01 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 15016 0 0 0 6154 47 0 0 20 0 20 0 183990131 19566772224 572467 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=28032 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 572467 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=19500 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 572467 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=7148 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 572467 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 70.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2289868 KiB

[startup+70.4005 s]
/proc/loadavg: 3.53 2.34 3.00 5/320 955988
/proc/meminfo: memFree=118716124/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2293972 CPUtime=77.19 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 52425 0 0 0 7654 65 0 0 20 0 20 0 183990130 19566772224 573493 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 573493 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=2293972 CPUtime=68.23 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 15526 0 0 0 6776 47 0 0 20 0 20 0 183990131 19566772224 573493 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=-9176193536567321276 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 573493 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=279362524089128 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 573493 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=2289868 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 573493 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 77.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2293972 KiB

[startup+72.0004 s]*
/proc/loadavg: 3.56 2.37 3.01 6/320 955988
/proc/meminfo: memFree=118714052/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2296020 CPUtime=78.86 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 52436 0 0 0 7820 66 0 0 20 0 20 0 183990130 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 574005 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=-8599730585240642236 CPUtime=69.78 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 15528 0 0 0 6931 47 0 0 20 0 20 0 183990131 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=4664 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=4816 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=2296020 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 78.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2296020 KiB

[startup+72.8004 s]
/proc/loadavg: 3.56 2.37 3.01 6/320 955988
/proc/meminfo: memFree=118714052/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2296020 CPUtime=79.64 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 52572 0 0 0 7898 66 0 0 20 0 20 0 183990130 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 574005 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=-9176193536567321276 CPUtime=70.57 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 15664 0 0 0 7010 47 0 0 20 0 20 0 183990131 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=32180 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=19104 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 79.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2296020 KiB

[startup+73.2004 s]
/proc/loadavg: 3.56 2.37 3.01 6/320 955988
/proc/meminfo: memFree=118712044/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2296020 CPUtime=80.04 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 52588 0 0 0 7938 66 0 0 20 0 20 0 183990130 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 574005 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=-6237260304836290922 CPUtime=70.97 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 15680 0 0 0 7050 47 0 0 20 0 20 0 183990131 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=-7384994761169412000 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=-9180700527125620833 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=7247860319864382091 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 80.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2296020 KiB

[startup+73.4004 s]
/proc/loadavg: 3.56 2.37 3.01 6/320 955988
/proc/meminfo: memFree=118712044/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19108176 memory=2296020 CPUtime=80.24 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 52599 0 0 0 7958 66 0 0 20 0 20 0 183990130 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4777044 574005 5865 1 0 928216 0
[pid=955760/tid=955769] ppid=955750 vsize=19108176 memory=5551 CPUtime=71.17 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) R 955750 955760 955693 0 -1 4194368 15691 0 0 0 7070 47 0 0 20 0 20 0 183990131 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19108176 memory=29743 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183990137 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19108176 memory=3834592110436325010 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183990138 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955839] ppid=955750 vsize=19108176 memory=2245356 CPUtime=0 cores=5,7
/proc/955760/task/955839/stat : 955839 (Timer-0) S 955750 955760 955693 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183990198 19566772224 574005 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 80.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2296020 KiB

[startup+73.5026 s]
/proc/loadavg: 3.56 2.37 3.01 6/320 955988
/proc/meminfo: memFree=118712044/131655788 swapFree=131071996/131071996
[pid=955760] ppid=955750 vsize=19241304 memory=2296500 CPUtime=80.36 cores=5,7
/proc/955760/stat : 955760 (java) S 955750 955760 955693 0 -1 1077936128 54742 0 0 0 7970 66 0 0 20 0 21 0 183990130 19703095296 574125 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
/proc/955760/statm: 4810326 574125 5864 1 0 928838 0
[pid=955760/tid=955769] ppid=955750 vsize=19241304 memory=2270512 CPUtime=71.25 cores=5,7
/proc/955760/task/955769/stat : 955769 (java) S 955750 955760 955693 0 -1 1077936192 17348 0 0 0 7078 47 0 0 20 0 21 0 183990131 19703095296 574125 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 183990134 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955803] ppid=955750 vsize=19241304 memory=2287796 CPUtime=0 cores=5,7
/proc/955760/task/955803/stat : 955803 (Finalizer) S 955750 955760 955693 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183990137 19703095296 574125 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
[pid=955760/tid=955835] ppid=955750 vsize=19241304 memory=0 CPUtime=0 cores=5,7
/proc/955760/task/955835/stat : 955835 (Common-Cleaner) S 955750 955760 955693 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 21 0 183990138 19703095296 574125 134679101440 94035851845632 94035851849328 140721553164544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035851857144 94035851857936 94035880431616 140721553167348 140721553167456 140721553167456 140721553174472 0
Current children cumulated CPU time: 80.36 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2296500 KiB

Child status: 10

Real time (s): 73.5332
CPU time (s): 80.4177
CPU user time (s): 79.7436
CPU system time (s): 0.674133
CPU usage (%): 109.362
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2296500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.7436
system time used= 0.674133
maximum resident set size= 2297476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3862
involuntary context switches= 849


# summary of solver processes directly reported to runsolver:
#   pid: 955760
#   total CPU time (s): 80.4177
#   total CPU user time (s): 79.7436
#   total CPU system time (s): 0.674133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.410005 second user time and 0.865714 second system time

The end

Begin job on nodeC008 at 2024-07-18 17:59:09
IDJOB=4444391
IDBENCH=147966
IDSOLVER=3052
FILE ID=nodeC008/4444391-1721318337
RUNJOBID= nodeC008-1721318349-955706
SLURM_JOB_ID= 7542675
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444391-1721318337/watcher-4444391-1721318337 -o /tmp/evaluation-result-4444391-1721318337/solver-4444391-1721318337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721318349-955706 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4444391-1721318337.opb

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

MD5SUM BENCH= e02ef1e4e6a215e84e9f69b84ba4fc0c
RANDOM SEED=212533017

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129107160 kB
MemAvailable:   129970180 kB
Buffers:          518116 kB
Cached:          1183040 kB
SwapCached:            0 kB
Active:          1011712 kB
Inactive:         992404 kB
Active(anon):       1360 kB
Inactive(anon):   339336 kB
Active(file):    1010352 kB
Inactive(file):   653068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2676 kB
Writeback:             0 kB
AnonPages:        303168 kB
Mapped:           105148 kB
Shmem:             37704 kB
KReclaimable:      79264 kB
Slab:             178532 kB
SReclaimable:      79264 kB
SUnreclaim:        99268 kB
KernelStack:        3684 kB
PageTables:         9892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     626652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57664 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-18 18:00:23

Name	PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566270.opb
MD5SUM	e02ef1e4e6a215e84e9f69b84ba4fc0c
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	0.024262
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	231
Total number of constraints	2707
Number of constraints which are clauses	2684
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	2
Maximum length of a constraint	110
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	25
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	587
Number of bits of the biggest sum of numbers	10
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 4444391

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data