runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62782 MiB free)
memory of node 1: 64473 MiB (62130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424419-1720874153/watcher-4424419-1720874153 -o /tmp/evaluation-result-4424419-1720874153/solver-4424419-1720874153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720874164-708057 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424419-1720874153.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=708245, runsolver pid=708242
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 0.12 0.09 0.09 11/332 708263
/proc/meminfo: memFree=127535136/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=18975048 memory=60884 CPUtime=0.12 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 7145 0 0 0 11 1 0 0 20 0 18 0 139579192 19430449152 15221 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4743762 15221 5715 1 0 549293 0
[pid=708245/tid=708247] ppid=708242 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 5706 0 0 0 7 1 0 0 20 0 18 0 139579192 19430449152 15221 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139579196 19430449152 15221 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139579196 19430449152 15221 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60884 KiB
[startup+0.209846 s]*
/proc/loadavg: 0.12 0.09 0.09 9/332 708263
/proc/meminfo: memFree=127076312/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=18975048 memory=80200 CPUtime=0.33 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 7736 0 0 0 31 2 0 0 20 0 18 0 139579192 19430449152 20050 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4743762 20050 5831 1 0 549677 0
[pid=708245/tid=708247] ppid=708242 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 6049 0 0 0 17 1 0 0 20 0 18 0 139579192 19430449152 20050 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=18975048 memory=3640 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139579196 19430449152 20050 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139579196 19430449152 20050 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80200 KiB
[startup+0.307625 s]*
/proc/loadavg: 0.12 0.09 0.09 11/333 708264
/proc/meminfo: memFree=126701844/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19041612 memory=162856 CPUtime=0.52 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 8734 0 0 0 48 4 0 0 20 0 19 0 139579192 19498610688 40714 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4760403 40714 5846 1 0 550599 0
[pid=708245/tid=708247] ppid=708242 vsize=19041612 memory=-9032365308225430204 CPUtime=0.26 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 6092 0 0 0 23 3 0 0 20 0 19 0 139579192 19498610688 40714 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139579196 19498610688 40714 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139579196 19498610688 40714 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162856 KiB
[startup+0.705624 s]
/proc/loadavg: 0.12 0.09 0.09 9/333 708264
/proc/meminfo: memFree=126311440/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19041612 memory=894888 CPUtime=1.25 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 11791 0 0 0 106 19 0 0 20 0 19 0 139579192 19498610688 223722 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4760403 223722 5846 1 0 1038807 0
[pid=708245/tid=708247] ppid=708242 vsize=19041612 memory=5496 CPUtime=0.61 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 6438 0 0 0 43 18 0 0 20 0 19 0 139579192 19498610688 223722 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19041612 memory=12180 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139579196 19498610688 223722 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139579196 19498610688 223722 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 894888 KiB
[startup+1.50028 s]
/proc/loadavg: 0.12 0.09 0.09 9/333 708264
/proc/meminfo: memFree=124659348/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19041612 memory=2642236 CPUtime=2.67 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 22546 0 0 0 212 55 0 0 20 0 19 0 139579192 19498610688 660559 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4760403 660559 5846 1 0 1043494 0
[pid=708245/tid=708247] ppid=708242 vsize=19041612 memory=12180 CPUtime=1.39 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7276 0 0 0 87 52 0 0 20 0 19 0 139579192 19498610688 660559 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139579196 19498610688 660559 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139579196 19498610688 660559 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2642236 KiB
[startup+3.10662 s]
/proc/loadavg: 0.75 0.22 0.13 10/333 708397
/proc/meminfo: memFree=124527124/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644468 CPUtime=5.73 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23081 0 0 0 517 56 0 0 20 0 20 0 139579192 19566772224 661117 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661117 5884 1 0 1043938 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=198340509722 CPUtime=2.9 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7423 0 0 0 238 52 0 0 20 0 20 0 139579192 19566772224 661117 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661117 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=12180 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661117 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=2643008 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661117 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644468 KiB
[startup+6.30028 s]
/proc/loadavg: 0.75 0.22 0.13 9/333 708530
/proc/meminfo: memFree=124103932/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644704 CPUtime=9.28 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23239 0 0 0 872 56 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661176 5884 1 0 1043939 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=0 CPUtime=6.08 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7521 0 0 0 556 52 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=12180 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=2643964 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=2642236 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644704 KiB
[startup+7.98665 s]
# the end of solver process 708245 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=10.4993 s, system=0.577056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40033 s]
/proc/loadavg: 0.75 0.22 0.13 9/333 708530
/proc/meminfo: memFree=124103932/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644704 CPUtime=9.38 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23239 0 0 0 882 56 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661176 5884 1 0 1043939 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=11560 CPUtime=6.18 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7521 0 0 0 566 52 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=35340 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=2643008 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=-9032365308225430204 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 9.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644704 KiB
[startup+7.20025 s]
/proc/loadavg: 0.75 0.22 0.13 7/335 708532
/proc/meminfo: memFree=123765520/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644704 CPUtime=10.19 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23280 0 0 0 963 56 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661176 5884 1 0 1043939 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=11560 CPUtime=6.97 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7559 0 0 0 645 52 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=-9032365308225430204 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=4412239589609736249 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=1404238533841166198 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 10.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644704 KiB
[startup+7.60062 s]
/proc/loadavg: 0.75 0.22 0.13 7/335 708532
/proc/meminfo: memFree=123765520/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644704 CPUtime=10.61 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23377 0 0 0 1005 56 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661176 5884 1 0 1043939 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=35340 CPUtime=7.37 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7651 0 0 0 685 52 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=12180 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=5496 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=1828 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644704 KiB
[startup+7.80022 s]
/proc/loadavg: 0.75 0.22 0.13 7/335 708532
/proc/meminfo: memFree=123765520/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644704 CPUtime=10.81 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23388 0 0 0 1025 56 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661176 5884 1 0 1043939 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=26024 CPUtime=7.57 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7658 0 0 0 705 52 0 0 20 0 20 0 139579192 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=32136 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=39896 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661176 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 10.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644704 KiB
[startup+7.90027 s]
/proc/loadavg: 0.75 0.22 0.13 7/335 708532
/proc/meminfo: memFree=123765520/131524600 swapFree=131071996/131071996
[pid=708245] ppid=708242 vsize=19108176 memory=2644708 CPUtime=10.97 cores=1,3
/proc/708245/stat : 708245 (java) S 708242 708245 708045 0 -1 1077936128 23424 0 0 0 1041 56 0 0 20 0 20 0 139579192 19566772224 661177 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
/proc/708245/statm: 4777044 661177 5884 1 0 1043939 0
[pid=708245/tid=708247] ppid=708242 vsize=19108176 memory=0 CPUtime=7.67 cores=1,3
/proc/708245/task/708247/stat : 708247 (java) R 708242 708245 708045 0 -1 4194368 7687 0 0 0 715 52 0 0 20 0 20 0 139579192 19566772224 661177 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708256] ppid=708242 vsize=19108176 memory=12180 CPUtime=0 cores=1,3
/proc/708245/task/708256/stat : 708256 (Finalizer) S 708242 708245 708045 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661177 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708263] ppid=708242 vsize=19108176 memory=2643964 CPUtime=0 cores=1,3
/proc/708245/task/708263/stat : 708263 (Common-Cleaner) S 708242 708245 708045 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139579196 19566772224 661177 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
[pid=708245/tid=708268] ppid=708242 vsize=19108176 memory=2642236 CPUtime=0 cores=1,3
/proc/708245/task/708268/stat : 708268 (Timer-0) S 708242 708245 708045 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139579374 19566772224 661177 134679101440 94580343685120 94580343688816 140724120987856 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94580343696632 94580343697424 94580357472256 140724120994774 140724120994887 140724120994887 140724121001928 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644708 KiB
Child status: 30
Real time (s): 7.98669
CPU time (s): 11.0763
CPU user time (s): 10.4993
CPU system time (s): 0.577056
CPU usage (%): 138.685
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2648564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4992
system time used= 0.577056
maximum resident set size= 2648564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1217
involuntary context switches= 355
# summary of solver processes directly reported to runsolver:
# pid: 708245
# total CPU time (s): 11.0763
# total CPU user time (s): 10.4993
# total CPU system time (s): 0.577056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024551 second user time and 0.072768 second system time
The end
Begin job on nodeC021 at 2024-07-13 14:36:06
IDJOB=4424419
IDBENCH=143851
IDSOLVER=3035
FILE ID=nodeC021/4424419-1720874153
RUNJOBID= nodeC021-1720874164-708057
SLURM_JOB_ID= 7483762
Free space on /tmp= 890076 MiB
SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/mprime/normalized-mprime04cc_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424419-1720874153/watcher-4424419-1720874153 -o /tmp/evaluation-result-4424419-1720874153/solver-4424419-1720874153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720874164-708057 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424419-1720874153.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15692bf53df2b0e52c697f3bc8188ff9
RANDOM SEED=1528393746
nodeC021.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 : 3599.703
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.42
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 : 3599.782
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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.703
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.42
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 : 3599.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3599.703
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.42
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 : 3670.643
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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.703
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.42
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 : 3670.646
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128008120 kB
MemAvailable: 128180540 kB
Buffers: 320608 kB
Cached: 696296 kB
SwapCached: 0 kB
Active: 456640 kB
Inactive: 2493228 kB
Active(anon): 1544 kB
Inactive(anon): 1969136 kB
Active(file): 455096 kB
Inactive(file): 524092 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6736 kB
Writeback: 8 kB
AnonPages: 1932124 kB
Mapped: 121496 kB
Shmem: 37720 kB
KReclaimable: 66112 kB
Slab: 163912 kB
SReclaimable: 66112 kB
SUnreclaim: 97800 kB
KernelStack: 5040 kB
PageTables: 13772 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7247432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1630208 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: 205524 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC021 at 2024-07-13 14:36:14