PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12	UNSAT	1392.56	1380.78

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452715-1721448404/watcher-4452715-1721448404 -o /tmp/evaluation-result-4452715-1721448404/solver-4452715-1721448404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721444822-1047790 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4452715-1721448404.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
Starting watchdog thread
solver pid=1049961, runsolver pid=1049958
Current StackSize limit: 8192 KiB


[startup+0.100447 s]*
/proc/loadavg: 4.16 4.16 4.17 7/328 1049979
/proc/meminfo: memFree=116676128/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=18975048 memory=63568 CPUtime=0.14 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 7222 0 0 0 12 2 0 0 20 0 18 0 197000643 19430449152 15892 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4743762 15892 5733 1 0 549357 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) D 1049958 1049961 1047777 0 -1 1078198336 5766 0 0 0 7 1 0 0 20 0 18 0 197000643 19430449152 15892 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197000646 19430449152 15892 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=18975048 memory=14690799021109405 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197000647 19430449152 15892 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63568 KiB

[startup+0.205693 s]*
/proc/loadavg: 4.16 4.16 4.17 7/328 1049979
/proc/meminfo: memFree=116649032/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=18975048 memory=94640 CPUtime=0.34 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 7784 0 0 0 31 3 0 0 20 0 18 0 197000643 19430449152 23660 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4743762 23660 5855 1 0 549701 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 6041 0 0 0 17 2 0 0 20 0 18 0 197000643 19430449152 23660 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=18975048 memory=1749866 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197000646 19430449152 23660 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=18975048 memory=16097074391287456 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197000647 19430449152 23660 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 94640 KiB

[startup+0.305867 s]*
/proc/loadavg: 4.16 4.16 4.17 6/329 1049980
/proc/meminfo: memFree=116600872/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19041612 memory=140716 CPUtime=0.53 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 9729 0 0 0 49 4 0 0 20 0 19 0 197000643 19498610688 35179 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4760403 35179 5855 1 0 551211 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19041612 memory=-7163640939822278238 CPUtime=0.29 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 6135 0 0 0 26 3 0 0 20 0 19 0 197000643 19498610688 35179 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197000646 19498610688 35179 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197000647 19498610688 35179 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197000668 19498610688 35179 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140716 KiB

[startup+0.708916 s]
/proc/loadavg: 4.16 4.16 4.17 7/330 1049981
/proc/meminfo: memFree=116563420/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=187964 CPUtime=1.28 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 17384 0 0 0 122 6 0 0 20 0 20 0 197000643 19566772224 46991 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 46991 5871 1 0 556067 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0.65 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 6169 0 0 0 62 3 0 0 20 0 20 0 197000643 19566772224 46991 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 46991 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 46991 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=1904 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 46991 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187964 KiB

[startup+1.50585 s]
/proc/loadavg: 4.16 4.16 4.17 8/330 1049981
/proc/meminfo: memFree=116447096/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=564232 CPUtime=2.84 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 18468 0 0 0 272 12 0 0 20 0 20 0 197000643 19566772224 141058 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 141058 5887 1 0 752455 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=12740 CPUtime=1.39 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 6389 0 0 0 130 9 0 0 20 0 20 0 197000643 19566772224 141058 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 141058 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 141058 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 141058 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 564232 KiB

[startup+3.10585 s]
/proc/loadavg: 4.15 4.16 4.17 6/330 1049981
/proc/meminfo: memFree=115588216/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=1148704 CPUtime=5.3 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 18956 0 0 0 504 26 0 0 20 0 20 0 197000643 19566772224 287176 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 287176 5887 1 0 752494 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 6696 0 0 0 271 22 0 0 20 0 20 0 197000643 19566772224 287176 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 287176 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=894220 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 287176 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 287176 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1148704 KiB

[startup+6.30085 s]
/proc/loadavg: 4.15 4.16 4.17 6/330 1050049
/proc/meminfo: memFree=118785972/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=1797280 CPUtime=8.74 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 20991 0 0 0 836 38 0 0 20 0 20 0 197000643 19566772224 449320 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 449320 5903 1 0 752499 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=12740 CPUtime=6.04 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 8148 0 0 0 570 34 0 0 20 0 20 0 197000643 19566772224 449320 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 449320 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=8246768630843345749 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 449320 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 449320 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1797280 KiB

[startup+12.7008 s]
/proc/loadavg: 4.13 4.15 4.17 8/330 1050186
/proc/meminfo: memFree=120951296/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=1811772 CPUtime=15.16 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 23755 0 0 0 1477 39 0 0 20 0 20 0 197000643 19566772224 452943 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 452943 5903 1 0 752499 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=0 CPUtime=12.27 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 8576 0 0 0 1193 34 0 0 20 0 20 0 197000643 19566772224 452943 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 452943 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=1811772 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 452943 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=-7163640939822278238 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 452943 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1811772 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.16 4.17 5/330 1050188
/proc/meminfo: memFree=116800512/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=1824228 CPUtime=28.02 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 27742 0 0 0 2762 40 0 0 20 0 20 0 197000643 19566772224 456057 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 456057 5916 1 0 752499 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=0 CPUtime=24.86 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 10544 0 0 0 2451 35 0 0 20 0 20 0 197000643 19566772224 456057 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 456057 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=1822072 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 456057 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=1822076 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 456057 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1824228 KiB

[startup+51.1059 s]
/proc/loadavg: 4.11 4.15 4.17 5/330 1050193
/proc/meminfo: memFree=116130504/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=2396964 CPUtime=54.13 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 36343 0 0 0 5359 54 0 0 20 0 20 0 197000643 19566772224 599241 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 599241 5916 1 0 886191 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=0 CPUtime=49.79 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 13565 0 0 0 4933 46 0 0 20 0 20 0 197000643 19566772224 599241 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0

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

/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 1914 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108132 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=4432528 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108132 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1313.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4432528 KiB

[startup+1362.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/332 1050987
/proc/meminfo: memFree=109579156/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4432820 CPUtime=1373.49 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 163862 0 0 0 137173 176 0 0 20 0 20 0 197000643 19566772224 1108205 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108205 5916 1 0 1139093 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=4432528 CPUtime=1341 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 82608 0 0 0 134020 80 0 0 20 0 20 0 197000643 19566772224 1108205 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=4432528 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108205 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=4432528 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108205 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108205 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1373.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4432820 KiB

[startup+1380.78 s]
# the end of solver process 1049961 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1390.76 s, system=1.80433 s

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

[startup+1369.6 s]
/proc/loadavg: 4.18 4.17 4.18 6/332 1050988
/proc/meminfo: memFree=109576692/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4433084 CPUtime=1380.98 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 167383 0 0 0 137921 177 0 0 20 0 20 0 197000643 19566772224 1108271 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108271 5916 1 0 1139138 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=4432528 CPUtime=1348.08 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 84506 0 0 0 134728 80 0 0 20 0 20 0 197000643 19566772224 1108271 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108271 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=47616 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108271 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108271 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1380.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4433084 KiB

[startup+1376 s]*
/proc/loadavg: 4.16 4.17 4.18 5/332 1050988
/proc/meminfo: memFree=109572520/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4433096 CPUtime=1387.51 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 167639 0 0 0 138574 177 0 0 20 0 20 0 197000643 19566772224 1108274 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108274 5916 1 0 1139147 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=-7811877811187246438 CPUtime=1354.33 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 84707 0 0 0 135353 80 0 0 20 0 20 0 197000643 19566772224 1108274 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=13652 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108274 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=11416 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108274 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=11416 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108274 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1387.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4433096 KiB

[startup+1379.2 s]
/proc/loadavg: 4.15 4.17 4.18 5/332 1050990
/proc/meminfo: memFree=109572352/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4433140 CPUtime=1390.86 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 167813 0 0 0 138909 177 0 0 20 0 20 0 197000643 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108285 5916 1 0 1139149 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=4433096 CPUtime=1357.36 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 84737 0 0 0 135656 80 0 0 20 0 20 0 197000643 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=47616 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=4433136 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1390.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4433140 KiB

[startup+1380 s]*
/proc/loadavg: 4.15 4.17 4.18 5/332 1050990
/proc/meminfo: memFree=109572324/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4433140 CPUtime=1391.67 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 167813 0 0 0 138990 177 0 0 20 0 20 0 197000643 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108285 5916 1 0 1139149 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=-7811877811187246438 CPUtime=1358.16 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 84737 0 0 0 135736 80 0 0 20 0 20 0 197000643 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=47616 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1391.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4433140 KiB

[startup+1380.4 s]
/proc/loadavg: 4.15 4.17 4.18 5/332 1050990
/proc/meminfo: memFree=109572324/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4433140 CPUtime=1392.06 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 167813 0 0 0 139029 177 0 0 20 0 20 0 197000643 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108285 5916 1 0 1139149 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=31428 CPUtime=1358.55 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 84737 0 0 0 135775 80 0 0 20 0 20 0 197000643 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=30224 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=7352 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=3704 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108285 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1392.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4433140 KiB

[startup+1380.6 s]
/proc/loadavg: 4.15 4.17 4.18 5/332 1050990
/proc/meminfo: memFree=109572324/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19108176 memory=4433252 CPUtime=1392.29 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 170249 0 0 0 139051 178 0 0 20 0 20 0 197000643 19566772224 1108313 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4777044 1108313 5916 1 0 1139177 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19108176 memory=47616 CPUtime=1358.75 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) R 1049958 1049961 1047777 0 -1 4194368 85730 0 0 0 135795 80 0 0 20 0 20 0 197000643 19566772224 1108313 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19566772224 1108313 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19108176 memory=5448 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19566772224 1108313 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049980] ppid=1049958 vsize=19108176 memory=16160 CPUtime=0 cores=5,7
/proc/1049961/task/1049980/stat : 1049980 (Timer-0) S 1049958 1049961 1047777 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197000668 19566772224 1108313 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1392.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4433252 KiB

[startup+1380.7 s]
/proc/loadavg: 4.15 4.17 4.18 5/332 1050990
/proc/meminfo: memFree=109572324/131524600 swapFree=131071996/131071996
[pid=1049961] ppid=1049958 vsize=19241304 memory=4433624 CPUtime=1392.44 cores=5,7
/proc/1049961/stat : 1049961 (java) S 1049958 1049961 1047777 0 -1 1077936128 172242 0 0 0 139066 178 0 0 20 0 20 0 197000643 19703095296 1108406 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
/proc/1049961/statm: 4810326 1108406 5915 1 0 1139779 0
[pid=1049961/tid=1049963] ppid=1049958 vsize=19241304 memory=4432528 CPUtime=1358.84 cores=5,7
/proc/1049961/task/1049963/stat : 1049963 (java) S 1049958 1049961 1047777 0 -1 1077936192 86697 0 0 0 135804 80 0 0 20 0 20 0 197000643 19703095296 1108406 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049972] ppid=1049958 vsize=19241304 memory=4432528 CPUtime=0 cores=5,7
/proc/1049961/task/1049972/stat : 1049972 (Finalizer) S 1049958 1049961 1047777 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197000646 19703095296 1108406 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
[pid=1049961/tid=1049979] ppid=1049958 vsize=19241304 memory=11400 CPUtime=0 cores=5,7
/proc/1049961/task/1049979/stat : 1049979 (Common-Cleaner) S 1049958 1049961 1047777 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 197000647 19703095296 1108406 134679101440 93908989796352 93908989800048 140721042679168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93908989807864 93908989808656 93908991664128 140721042682862 140721042682975 140721042682975 140721042689992 0
Current children cumulated CPU time: 1392.44 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 4433624 KiB

Child status: 20

Real time (s): 1380.78
CPU time (s): 1392.56
CPU user time (s): 1390.76
CPU system time (s): 1.80433
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 4433624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1390.76
system time used= 1.80433
maximum resident set size= 4434812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55962
involuntary context switches= 3913


# summary of solver processes directly reported to runsolver:
#   pid: 1049961
#   total CPU time (s): 1392.56
#   total CPU user time (s): 1390.76
#   total CPU system time (s): 1.80433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.95572 second user time and 7.24327 second system time

The end

Begin job on nodeC015 at 2024-07-20 06:06:56
IDJOB=4452715
IDBENCH=165296
IDSOLVER=3046
FILE ID=nodeC015/4452715-1721448404
RUNJOBID= nodeC015-1721444822-1047790
SLURM_JOB_ID= 7545658
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP045.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452715-1721448404/watcher-4452715-1721448404 -o /tmp/evaluation-result-4452715-1721448404/solver-4452715-1721448404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721444822-1047790 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4452715-1721448404.opb

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

MD5SUM BENCH= 9f172948e58fb5a8063ac37667d22320
RANDOM SEED=1801276278

nodeC015.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		: 3666.583
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.61
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		: 3682.928
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	: 7006.25
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		: 3599.969
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.61
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		: 3610.174
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	: 7006.25
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		: 3666.661
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.61
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		: 3652.190
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	: 7006.25
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		: 3599.878
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.61
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		: 3646.956
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116718308 kB
MemAvailable:   117990172 kB
Buffers:          546868 kB
Cached:          1558744 kB
SwapCached:            0 kB
Active:          1704672 kB
Inactive:       12440728 kB
Active(anon):       1548 kB
Inactive(anon): 12083820 kB
Active(file):    1703124 kB
Inactive(file):   356908 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               948 kB
Writeback:            24 kB
AnonPages:      12037484 kB
Mapped:           127924 kB
Shmem:             45912 kB
KReclaimable:     102956 kB
Slab:             216544 kB
SReclaimable:     102956 kB
SUnreclaim:       113588 kB
KernelStack:        4948 kB
PageTables:        33748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12909792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11671552 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC015 at 2024-07-20 06:29:57

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP045.opb
MD5SUM	9f172948e58fb5a8063ac37667d22320
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.073153
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	5405
Total number of constraints	1082
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	47
Number of constraints which are nor clauses,nor cardinality constraints	1035
Minimum length of a constraint	5
Maximum length of a constraint	15
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	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	20
Number of bits of the biggest sum of numbers	5
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 4452715

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data