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 (62854 MiB free)
memory of node 1: 64473 MiB (63558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424668-1720894408/watcher-4424668-1720894408 -o /tmp/evaluation-result-4424668-1720894408/solver-4424668-1720894408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720894421-724938 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424668-1720894408.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=724965, runsolver pid=724962
Current StackSize limit: 8192 KiB
[startup+0.102435 s]*
/proc/loadavg: 1.93 2.31 2.84 6/285 725010
/proc/meminfo: memFree=129306388/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=18975048 memory=65436 CPUtime=0.14 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 7265 0 0 0 13 1 0 0 20 0 18 0 141608895 19430449152 16359 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4743762 16359 5693 1 0 549380 0
[pid=724965/tid=724971] ppid=724962 vsize=18975048 memory=4026532157 CPUtime=0.09 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 5786 0 0 0 8 1 0 0 20 0 18 0 141608896 19430449152 16359 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=18975048 memory=219966341476 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141608898 19430449152 16359 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=18975048 memory=15825477839378716 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141608899 19430449152 16359 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65436 KiB
[startup+0.207406 s]*
/proc/loadavg: 1.93 2.31 2.84 9/283 725010
/proc/meminfo: memFree=129201140/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=18975048 memory=122680 CPUtime=0.34 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 7777 0 0 0 32 2 0 0 20 0 18 0 141608895 19430449152 30670 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4743762 30670 5712 1 0 549669 0
[pid=724965/tid=724971] ppid=724962 vsize=18975048 memory=4027842860 CPUtime=0.19 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 6076 0 0 0 18 1 0 0 20 0 18 0 141608896 19430449152 30670 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=18975048 memory=241424417075 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141608898 19430449152 30670 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=18975048 memory=32088 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141608899 19430449152 30670 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 122680 KiB
[startup+0.305966 s]*
/proc/loadavg: 1.93 2.31 2.84 9/295 725029
/proc/meminfo: memFree=129041152/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=164948 CPUtime=0.51 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 9090 0 0 0 48 3 0 0 20 0 19 0 141608895 19498610688 41237 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 41237 5828 1 0 550662 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=-8528808786764669628 CPUtime=0.26 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 6096 0 0 0 24 2 0 0 20 0 19 0 141608896 19498610688 41237 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 41237 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 41237 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164948 KiB
[startup+0.700965 s]
/proc/loadavg: 1.93 2.31 2.84 11/329 725068
/proc/meminfo: memFree=128312368/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19042504 memory=1213028 CPUtime=1.25 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 13533 0 0 0 101 24 0 0 20 0 19 0 141608895 19499524096 303257 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760626 303257 5844 1 0 1079164 0
[pid=724965/tid=724971] ppid=724962 vsize=19042504 memory=5464 CPUtime=0.63 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 6594 0 0 0 41 22 0 0 20 0 19 0 141608896 19499524096 303257 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19042504 memory=13116 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19499524096 303257 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19042504 memory=32136 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19499524096 303257 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19042504 KiB
Current children cumulated memory: 1213028 KiB
[startup+1.50097 s]
/proc/loadavg: 1.93 2.31 2.84 13/331 725070
/proc/meminfo: memFree=123536020/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=2147948 CPUtime=2.59 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 22561 0 0 0 215 44 0 0 20 0 19 0 141608895 19498610688 536987 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 536987 5844 1 0 1083003 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=32136 CPUtime=1.39 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 7037 0 0 0 100 39 0 0 20 0 19 0 141608896 19498610688 536987 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 536987 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 536987 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2147948 KiB
[startup+3.10599 s]
/proc/loadavg: 1.93 2.31 2.84 5/331 725072
/proc/meminfo: memFree=117045604/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=2836076 CPUtime=4.21 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 23018 0 0 0 364 57 0 0 20 0 19 0 141608895 19498610688 709019 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 709019 5844 1 0 1083009 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=0 CPUtime=2.92 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 7459 0 0 0 240 52 0 0 20 0 19 0 141608896 19498610688 709019 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=26092 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 709019 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=1848 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 709019 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2836076 KiB
[startup+6.30097 s]
/proc/loadavg: 2.10 2.34 2.84 5/331 725072
/proc/meminfo: memFree=115580060/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=3301956 CPUtime=7.48 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 23962 0 0 0 681 67 0 0 20 0 19 0 141608895 19498610688 825489 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 825489 5844 1 0 1204173 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=0 CPUtime=5.93 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 8070 0 0 0 531 62 0 0 20 0 19 0 141608896 19498610688 825489 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=2836076 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 825489 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=-9031794678836929212 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 825489 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3301956 KiB
[startup+12.7003 s]
/proc/loadavg: 2.33 2.38 2.85 5/331 725072
/proc/meminfo: memFree=113507208/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=3786728 CPUtime=14.04 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 25328 0 0 0 1326 78 0 0 20 0 19 0 141608895 19498610688 946682 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 946682 5844 1 0 1321152 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=3782632 CPUtime=11.92 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 9060 0 0 0 1121 71 0 0 20 0 19 0 141608896 19498610688 946682 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=3776488 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 946682 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 946682 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3786728 KiB
[startup+25.5003 s]
/proc/loadavg: 2.77 2.48 2.88 5/331 725076
/proc/meminfo: memFree=112195732/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4259276 CPUtime=27.05 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 29052 0 0 0 2616 89 0 0 20 0 19 0 141608895 19498610688 1064819 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1064819 5844 1 0 1431865 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=4257228 CPUtime=24.24 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 11245 0 0 0 2344 80 0 0 20 0 19 0 141608896 19498610688 1064819 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=4250836 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1064819 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1064819 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4259276 KiB
[startup+51.106 s]
/proc/loadavg: 3.19 2.60 2.91 5/331 725079
/proc/meminfo: memFree=111995736/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4310972 CPUtime=52.92 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 33540 0 0 0 5199 93 0 0 20 0 19 0 141608895 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1077743 5844 1 0 1431865 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=4304828 CPUtime=49.1 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 14338 0 0 0 4829 81 0 0 20 0 19 0 141608896 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=11376 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=3784680 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 52.92 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4310972 KiB
[startup+67.6947 s]
# the end of solver process 724965 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=69.558 s, system=0.967627 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.201 s]
/proc/loadavg: 3.19 2.60 2.91 5/331 725079
/proc/meminfo: memFree=111995736/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4310972 CPUtime=53.02 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 33540 0 0 0 5209 93 0 0 20 0 19 0 141608895 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1077743 5844 1 0 1431865 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=3254382620975084 CPUtime=49.2 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 14338 0 0 0 4839 81 0 0 20 0 19 0 141608896 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=4304764 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=35472 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1077743 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 53.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4310972 KiB
[startup+57.6003 s]
/proc/loadavg: 3.25 2.62 2.92 5/331 725080
/proc/meminfo: memFree=111954188/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4319516 CPUtime=59.45 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 34111 0 0 0 5852 93 0 0 20 0 19 0 141608895 19498610688 1079879 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1079879 5844 1 0 1431865 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=4313020 CPUtime=55.43 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 14774 0 0 0 5462 81 0 0 20 0 19 0 141608896 19498610688 1079879 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=-8672079549910393532 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1079879 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=4313020 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1079879 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 59.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4319516 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.31 2.65 2.92 5/331 725083
/proc/meminfo: memFree=111916656/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4328000 CPUtime=65.9 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 34793 0 0 0 6496 94 0 0 20 0 19 0 141608895 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1082000 5844 1 0 1431865 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=-8672079549910393532 CPUtime=61.67 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 15196 0 0 0 6086 81 0 0 20 0 19 0 141608896 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=28180 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=33600 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 115 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 65.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4328000 KiB
[startup+65.6003 s]
/proc/loadavg: 3.37 2.67 2.93 5/331 725083
/proc/meminfo: memFree=111908444/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4328000 CPUtime=67.51 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 34921 0 0 0 6657 94 0 0 20 0 19 0 141608895 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1082000 5844 1 0 1431865 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=35472 CPUtime=63.24 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 15324 0 0 0 6243 81 0 0 20 0 19 0 141608896 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=-9031794678836929212 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=4328000 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 115 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1082000 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 67.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4328000 KiB
[startup+66.4003 s]
/proc/loadavg: 3.37 2.67 2.93 6/331 725083
/proc/meminfo: memFree=111906396/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4335416 CPUtime=68.66 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 40076 0 0 0 6772 94 0 0 20 0 19 0 141608895 19498610688 1083854 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1083854 5844 1 0 1431885 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=4330048 CPUtime=64.02 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 15790 0 0 0 6321 81 0 0 20 0 19 0 141608896 19498610688 1083854 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=3752 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1083854 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=26908 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 115 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1083854 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 68.66 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4335416 KiB
[startup+67.2002 s]
/proc/loadavg: 3.37 2.67 2.93 5/331 725083
/proc/meminfo: memFree=111894904/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19041612 memory=4335560 CPUtime=69.58 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 40948 0 0 0 6864 94 0 0 20 0 19 0 141608895 19498610688 1083890 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4760403 1083890 5844 1 0 1431904 0
[pid=724965/tid=724971] ppid=724962 vsize=19041612 memory=4325952 CPUtime=64.8 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 16520 0 0 0 6399 81 0 0 20 0 19 0 141608896 19498610688 1083890 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19041612 memory=-9031794678836929212 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608898 19498610688 1083890 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19041612 memory=5464 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 115 0 0 0 0 0 0 0 20 0 19 0 141608899 19498610688 1083890 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 69.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4335560 KiB
[startup+67.6002 s]
/proc/loadavg: 3.37 2.67 2.93 5/331 725083
/proc/meminfo: memFree=111894904/131524600 swapFree=131071996/131071996
[pid=724965] ppid=724962 vsize=19108176 memory=4337040 CPUtime=70.37 cores=5,7
/proc/724965/stat : 724965 (java) S 724962 724965 722508 0 -1 1077936128 42848 0 0 0 6942 95 0 0 20 0 20 0 141608895 19566772224 1084260 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
/proc/724965/statm: 4777044 1084260 5882 1 0 1432445 0
[pid=724965/tid=724971] ppid=724962 vsize=19108176 memory=0 CPUtime=65.2 cores=5,7
/proc/724965/task/724971/stat : 724971 (java) R 724962 724965 722508 0 -1 4194368 18186 0 0 0 6439 81 0 0 20 0 20 0 141608896 19566772224 1084260 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724987] ppid=724962 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724987/stat : 724987 (Finalizer) S 724962 724965 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608898 19566772224 1084260 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
[pid=724965/tid=724999] ppid=724962 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/724965/task/724999/stat : 724999 (Common-Cleaner) S 724962 724965 722508 0 -1 1077936192 115 0 0 0 0 0 0 0 20 0 20 0 141608899 19566772224 1084260 134679101440 94246372085760 94246372089456 140735418881136 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94246372097272 94246372098064 94246400782336 140735418889235 140735418889343 140735418889343 140735418896328 0
Current children cumulated CPU time: 70.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4337040 KiB
Child status: 1
Real time (s): 67.6947
CPU time (s): 70.5256
CPU user time (s): 69.558
CPU system time (s): 0.967627
CPU usage (%): 104.182
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4337040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.558
system time used= 0.967627
maximum resident set size= 4338720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43220
page faults= 0
swaps= 0
block input operations= 8
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6940
involuntary context switches= 528
# summary of solver processes directly reported to runsolver:
# pid: 724965
# total CPU time (s): 70.5256
# total CPU user time (s): 69.558
# total CPU system time (s): 0.967627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124712 second user time and 0.425685 second system time
The end
Begin job on nodeC030 at 2024-07-13 20:13:41
IDJOB=4424668
IDBENCH=144141
IDSOLVER=3036
FILE ID=nodeC030/4424668-1720894408
RUNJOBID= nodeC030-1720894421-724938
SLURM_JOB_ID= 7485819
Free space on /tmp= 890036 MiB
SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reduc_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424668-1720894408/watcher-4424668-1720894408 -o /tmp/evaluation-result-4424668-1720894408/solver-4424668-1720894408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720894421-724938 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424668-1720894408.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
RANDOM SEED=1177297713
nodeC030.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 : 3635.991
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.28
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 : 3657.303
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.11
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 : 3565.232
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.28
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 : 3562.536
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.11
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 : 3631.447
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.28
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 : 3605.636
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.252
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.28
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 : 3650.762
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129458508 kB
MemAvailable: 129737748 kB
Buffers: 326808 kB
Cached: 795680 kB
SwapCached: 0 kB
Active: 487952 kB
Inactive: 1010736 kB
Active(anon): 1452 kB
Inactive(anon): 412844 kB
Active(file): 486500 kB
Inactive(file): 597892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53880 kB
Writeback: 20 kB
AnonPages: 376312 kB
Mapped: 101288 kB
Shmem: 37720 kB
KReclaimable: 69340 kB
Slab: 168448 kB
SReclaimable: 69340 kB
SUnreclaim: 99108 kB
KernelStack: 3856 kB
PageTables: 9208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 844676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56384 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 201428 kB
DirectMap2M: 7960576 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC030 at 2024-07-13 20:14:49