0.10/0.15 c root propagations : 0
0.10/0.15 c restarts enabled, print stats at every restarts
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c This is cosoco 2.00 --
0.10/0.15 c
0.10/0.15 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389505-1568319364.xml
0.10/0.15 c ========================================[ Problem Statistics ]===========================================
0.10/0.15 c |
0.10/0.15 c | Parse time : 0.15 s
0.10/0.15 c |
0.10/0.15 c | Variables: 26
0.10/0.15 c | Domain Sizes: 26..26
0.10/0.15 c |
0.10/0.15 c | Constraints: 325
0.10/0.15 c | Arity: 2..2 -- Binary: 325
0.10/0.15 c |
0.10/0.15 c | Types:
0.10/0.15 c | Extension: 325 (nb tuples: 155..155) -- (shared: 0)
0.10/0.15 c |
0.10/0.15 c =========================================================================================================
0.10/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.16 c 101 188 58351 12527 0 0 6 10 7
0.10/0.17 c 211 400 121054 27923 0 0 5 8 6
0.10/0.18 c 332 659 199687 45111 0 0 5 9 6
0.10/0.19 c 465 916 276519 63375 0 0 5 9 6
0.10/0.20 c 611 1229 370256 81934 0 0 6 10 8
0.10/0.21 c 771 1557 469232 102816 0 0 6 9 7
0.21/0.22 c 947 1926 578436 127156 0 0 5 9 7
0.21/0.24 c 1140 2308 695470 153489 0 0 5 9 7
0.21/0.25 c 1352 2728 818287 180080 0 0 6 9 7
0.21/0.27 c 1585 3191 959030 210104 0 0 6 10 7
0.21/0.28 c 1841 3691 1106885 242256 0 0 5 9 7
0.21/0.30 c 2122 4269 1273381 276190 0 0 6 10 7
0.31/0.32 c 2431 4919 1463675 316360 0 0 5 11 7
0.31/0.35 c 2770 5627 1671004 361034 0 0 5 10 7
0.31/0.37 c 3142 6396 1894675 410280 0 0 5 10 7
0.31/0.40 c 3551 7227 2141055 464270 0 0 6 9 7
0.41/0.43 c 4000 8141 2405150 522026 0 0 5 9 7
0.41/0.47 c 4493 9173 2701145 582028 0 0 5 11 7
0.41/0.51 c 5035 10301 3040426 658180 0 0 5 10 7
0.51/0.55 c 5631 11538 3399503 736630 0 0 5 10 7
0.51/0.60 c 6286 12892 3798534 820463 0 0 5 12 7
0.60/0.65 c 7006 14427 4248413 922511 0 0 4 11 7
0.69/0.70 c 7798 16007 4713828 1026094 0 0 5 9 7
0.69/0.77 c 8669 17808 5255349 1145925 0 0 5 10 7
0.79/0.83 c 9627 19743 5821898 1265756 0 0 5 10 7
0.89/0.91 c 10680 21957 6488610 1410727 0 0 4 10 7
0.89/1.00 c 11838 24320 7199999 1569746 0 0 5 10 7
1.00/1.09 c 13111 26905 7965817 1737754 0 0 5 10 7
1.10/1.18 c 14511 29839 8820228 1921506 0 0 4 10 7
1.19/1.29 c 16051 33077 9756466 2117944 0 0 5 10 7
1.39/1.41 c 17745 36667 10802607 2337648 0 0 5 11 7
1.49/1.54 c 19608 40584 11962500 2592933 0 0 5 11 7
1.59/1.69 c 21657 44758 13196607 2861765 0 0 5 10 7
1.79/1.85 c 23910 49443 14566360 3159572 0 0 5 11 7
2.00/2.02 c 26388 54607 16063004 3472832 0 0 4 11 7
2.19/2.21 c 29113 60217 17703386 3833594 0 0 4 10 7
2.39/2.42 c 32110 66429 19527269 4230458 0 0 5 11 7
2.59/2.66 c 35406 73395 21551044 4670787 0 0 4 11 7
2.89/2.92 c 39031 80834 23775525 5171798 0 0 4 10 6
3.19/3.21 c 43018 89188 26278220 5718401 0 0 4 10 7
3.49/3.53 c 47403 98243 28950543 6301818 0 0 4 11 7
3.79/3.87 c 52226 108108 31874531 6935726 0 0 4 10 7
4.19/4.24 c 57531 119110 35112596 7627153 0 0 5 10 7
4.59/4.66 c 63366 131192 38725867 8422082 0 0 4 11 7
5.10/5.11 c 69784 144301 42565631 9250989 0 0 4 11 7
5.59/5.62 c 76843 159214 46948915 10202112 0 0 4 10 7
6.10/6.16 c 84607 175069 51628541 11224911 0 0 4 10 7
6.69/6.76 c 93147 192989 56855891 12331229 0 0 5 11 7
7.39/7.43 c 102541 212553 62609543 13574372 0 0 4 10 7
8.10/8.16 c 112874 233932 68881094 14951116 0 0 4 11 7
8.89/8.99 c 124240 257595 75865673 16518589 0 0 4 11 7
9.79/9.89 c 136742 283875 83568887 18187439 0 0 4 12 7
10.79/10.88 c 150494 312629 92078483 20049549 0 0 4 11 7
11.89/11.97 c 165621 344112 101373998 22071023 0 0 4 11 7
13.10/13.17 c 182260 378343 111556588 24333628 0 0 3 11 7
14.39/14.48 c 200562 416756 122875996 26784695 0 0 4 11 7
15.39/15.48 c First solution is found
15.39/15.48 s SATISFIABLE
15.39/15.48 c restarts : 56
15.39/15.48 c conflicts : 214315 (13848 /sec)
15.39/15.48 c decisions : 445899 (28812 /sec)
15.39/15.48 c propagations : 28630372 (1849981 /sec)
15.39/15.48 c root propagations : 0
15.39/15.48 c filter calls : 131406826 (8490990 /sec)
15.39/15.48 c useless filter calls : 112243016 (85 %)
15.39/15.48 c Memory used : 27.31 MB
15.39/15.48 c CPU time : 15.476 s
15.39/15.48 c real time : 15.4762 s
15.39/15.48
15.39/15.48 c solution 1
15.39/15.48
15.39/15.48 v <instantiation type='solution'>
15.39/15.48 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] </list>
15.39/15.48 v <values>22 21 16 10 23 18 23 12 6 24 19 17 22 18 3 12 3 3 19 2 3 3 8 9 24 0 </values>
15.39/15.48 v </instantiation>
15.39/15.48
runsolver version 3.4.0 (svn: 3012) 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: 16375 MiB (13190 MiB free)
memory of node 1: 16384 MiB (15726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389505-1568319364/watcher-4389505-1568319364 -o /tmp/evaluation-result-4389505-1568319364/solver-4389505-1568319364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389505-1568319364.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8100, runsolver pid=8097
[startup+0.100156 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29610328/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27716 memory=4012 CPUtime=0.1 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1175 0 0 0 10 0 0 0 20 0 1 0 407878113 28381184 1003 33554432000 4194304 6210612 140725797480896 140725797477432 139869642628069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6929 1003 807 493 0 234 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4012 KiB
[startup+0.210707 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609956/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4256 CPUtime=0.21 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1287 0 0 0 21 0 0 0 20 0 1 0 407878113 28635136 1064 33554432000 4194304 6210612 140725797480896 140725797477432 5017123 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1064 807 493 0 296 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4256 KiB
[startup+0.310253 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609684/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4256 CPUtime=0.31 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1287 0 0 0 31 0 0 0 20 0 1 0 407878113 28635136 1064 33554432000 4194304 6210612 140725797480896 140725797477432 5389824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1064 807 493 0 296 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4256 KiB
[startup+0.700289 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609684/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4256 CPUtime=0.69 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1287 0 0 0 69 0 0 0 20 0 1 0 407878113 28635136 1064 33554432000 4194304 6210612 140725797480896 140725797478856 5017196 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1064 807 493 0 296 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4256 KiB
[startup+1.50029 s]
/proc/loadavg: 1.92 2.00 2.04 4/199 8101
/proc/meminfo: memFree=29609740/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4256 CPUtime=1.49 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1287 0 0 0 149 0 0 0 20 0 1 0 407878113 28635136 1064 33554432000 4194304 6210612 140725797480896 140725797478856 5017127 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1064 807 493 0 296 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4256 KiB
[startup+3.11058 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609428/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=3.1 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1501 0 0 0 310 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5016997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609332/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=6.29 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1715 0 0 0 629 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5389928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609332/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=12.69 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1929 0 0 0 1269 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5017042 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
[startup+15.4813 s]
# the end of solver process 8100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.476 s, system=0.003999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609332/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=12.79 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 1929 0 0 0 1279 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5017127 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
[startup+14.4003 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609208/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=14.39 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 2130 0 0 0 1439 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5017005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
[startup+15.2003 s]
/proc/loadavg: 1.94 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609208/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=15.19 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 2143 0 0 0 1519 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5016804 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
[startup+15.4003 s]
/proc/loadavg: 1.94 2.00 2.04 3/199 8101
/proc/meminfo: memFree=29609208/32770688 swapFree=66960932/67108860
[pid=8100] ppid=8097 vsize=27964 memory=4504 CPUtime=15.39 cores=4-7
/proc/8100/stat : 8100 (cosoco) R 8097 8100 6407 0 -1 4202496 2143 0 0 0 1539 0 0 0 20 0 1 0 407878113 28635136 1126 33554432000 4194304 6210612 140725797480896 140725797478856 5008459 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21561344 140725797487627 140725797487729 140725797487729 140725797490638 0
/proc/8100/statm: 6991 1126 849 493 0 296 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 4504 KiB
Child status: 0
Real time (s): 15.4813
CPU time (s): 15.48
CPU user time (s): 15.476
CPU system time (s): 0.003999
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 27964
Max. memory (cumulated for all children) (KiB): 4504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.476
system time used= 0.003999
maximum resident set size= 4580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 8100
# total CPU time (s): 15.48
# total CPU user time (s): 15.476
# total CPU system time (s): 0.003999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.098893 second user time and 0.14838 second system time
The end
Begin job on node116 at 2019-09-12 22:15:23
IDJOB=4389505
IDBENCH=122068
IDSOLVER=2829
FILE ID=node116/4389505-1568319364
RUNJOBID= node116-1568311136-6439
PBS_JOBID= 21701125
Free space on /tmp= 56884 MiB
SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Random/Random-B-2-26-26/rand-2-26-26-325-155-9.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389505-1568319364/watcher-4389505-1568319364 -o /tmp/evaluation-result-4389505-1568319364/solver-4389505-1568319364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389505-1568319364.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 15e1cc79eec027fdb50c97913c9f3702
RANDOM SEED=1451034555
node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770688 kB
MemFree: 29610708 kB
MemAvailable: 31832904 kB
Buffers: 74776 kB
Cached: 2422332 kB
SwapCached: 46484 kB
Active: 824564 kB
Inactive: 1736924 kB
Active(anon): 16740 kB
Inactive(anon): 88236 kB
Active(file): 807824 kB
Inactive(file): 1648688 kB
Unevictable: 110244 kB
Mlocked: 110244 kB
SwapTotal: 67108860 kB
SwapFree: 66960932 kB
Dirty: 3120 kB
Writeback: 0 kB
AnonPages: 129300 kB
Mapped: 44144 kB
Shmem: 31848 kB
Slab: 191476 kB
SReclaimable: 163036 kB
SUnreclaim: 28440 kB
KernelStack: 3504 kB
PageTables: 5280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 541304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 81920 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116160 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 56880 MiB
End job on node116 at 2019-09-12 22:15:39