0.00/0.06 c root propagations : 1844
0.00/0.06 c restarts enabled, print stats at every restarts
0.00/0.06 c
0.00/0.06 c
0.00/0.06 c
0.00/0.06 c This is cosoco 1.12 --
0.00/0.06 c
0.00/0.06 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4300587-1532886603.xml
0.00/0.06 c ========================================[ Problem Statistics ]===========================================
0.00/0.06 c |
0.00/0.06 c | Parse time : 0.06 s
0.00/0.06 c |
0.00/0.06 c | Variables: 161
0.00/0.06 c | Domain Sizes: 10..49
0.00/0.06 c |
0.00/0.06 c | Constraints: 78
0.00/0.06 c | Arity: 1..49 -- Unary: 28
0.00/0.06 c |
0.00/0.06 c | Types:
0.00/0.06 c | All Different: 1
0.00/0.06 c | Extension: 49 (nb tuples: 196..196) -- (shared: 0)
0.00/0.06 c | Unary: 28
0.00/0.06 c |
0.00/0.06 c =========================================================================================================
0.00/0.06 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c 101 411 6160 25615 161 0 60 101 90
0.00/0.10 c 211 812 13142 55725 161 0 18 32 25
0.10/0.12 c 332 1245 20111 85011 161 0 18 36 27
0.10/0.14 c 465 1622 26771 113967 161 0 19 33 27
0.10/0.17 c 611 2212 35491 149240 161 0 16 36 28
0.10/0.19 c 771 2704 43519 181774 161 0 13 31 23
0.21/0.22 c 947 3218 52330 218915 161 0 18 35 28
0.21/0.25 c 1140 3748 63128 267235 161 0 6 34 24
0.21/0.28 c 1352 4364 73676 312116 161 0 16 36 27
0.31/0.32 c 1585 5265 87367 366337 161 0 9 34 26
0.31/0.37 c 1841 6108 103221 438350 161 0 17 35 25
0.41/0.42 c 2122 7028 119429 505417 161 0 18 36 25
0.41/0.48 c 2431 8124 137131 582857 161 0 16 37 26
0.51/0.54 c 2770 9157 154756 659624 161 0 17 33 25
0.51/0.60 c 3142 10413 175374 743727 161 0 19 34 26
0.60/0.67 c 3551 11570 196810 839358 161 0 17 31 24
0.69/0.74 c 4000 13048 221270 945359 161 0 19 36 27
0.79/0.82 c 4493 14476 246927 1057281 161 0 17 31 25
0.89/0.91 c 5035 16219 274376 1168603 161 0 9 34 26
1.00/1.01 c 5631 18402 308425 1317315 161 0 15 36 27
1.10/1.11 c 6286 20328 340955 1457150 161 0 16 38 27
1.19/1.24 c 7006 22512 381247 1641220 161 0 17 34 26
1.29/1.38 c 7798 25304 425742 1831777 161 0 14 37 27
1.49/1.51 c 8669 27766 470786 2022396 161 0 15 35 24
1.59/1.67 c 9627 30967 521650 2239492 161 0 14 34 25
1.79/1.86 c 10680 34312 583332 2495289 161 0 15 38 24
2.00/2.04 c 11838 37894 642838 2746398 161 0 11 35 25
2.19/2.25 c 13111 41746 710897 3036503 161 0 16 34 25
2.39/2.48 c 14511 46662 787788 3347249 161 0 14 35 23
2.69/2.71 c 16051 51188 860390 3654609 161 0 17 37 28
2.89/3.00 c 17745 56822 950465 4045489 161 0 6 37 27
3.29/3.30 c 19608 62487 1048992 4458431 161 0 15 33 24
3.59/3.61 c 21657 68631 1149464 4877010 161 0 18 36 26
4.00/4.02 c 23910 76368 1283009 5420684 161 0 13 38 24
4.39/4.42 c 26388 83692 1410293 5965471 161 0 15 37 27
4.79/4.84 c 29113 91904 1546355 6546890 161 0 18 38 27
5.29/5.34 c 32110 102119 1706930 7213882 161 0 13 35 25
5.89/5.96 c 35406 114640 1901570 8085703 161 0 13 37 26
6.49/6.53 c 39031 125432 2089255 8912151 161 0 13 33 25
7.19/7.25 c 43018 139065 2307533 9864216 161 0 14 36 27
8.00/8.03 c 47403 154720 2557157 10885721 161 0 13 36 25
8.79/8.82 c 52226 170273 2815168 12002357 161 0 14 36 25
9.69/9.72 c 57531 187643 3098980 13205172 161 0 12 34 25
10.59/10.69 c 63366 206925 3423737 14550894 161 0 13 36 22
11.79/11.83 c 69784 229861 3783076 16112168 161 0 14 38 26
13.00/13.03 c solution 1
13.00/13.03
13.00/13.03 v <instantiation type='solution'>
13.00/13.03 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[0][6] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[1][6] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[2][6] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[3][6] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[4][6] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] id[5][6] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[6][5] id[6][6] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[0][6] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[1][6] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[2][6] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[3][6] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[4][6] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] top[5][6] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[6][5] top[6][6] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[0][6] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[1][6] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[2][6] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[3][6] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[4][6] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] left[5][6] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[6][5] left[6][6] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] bot[6] right[0] right[1] right[2] right[3] right[4] right[5] right[6] </list>
13.00/13.03 v <values>0 17 22 11 8 23 1 12 26 32 25 31 48 15 14 46 30 37 42 27 18 19 38 29 47 44 40 6 9 28 24 33 39 45 5 21 41 34 35 43 36 4 3 13 16 20 7 10 2 0 0 0 0 0 0 0 2 4 8 5 8 9 1 2 7 7 4 9 7 2 3 8 4 9 6 5 3 1 5 5 9 9 7 1 3 5 4 4 5 8 1 3 8 9 6 7 4 1 0 1 3 3 2 1 3 0 7 4 7 4 6 9 0 8 6 6 9 5 4 0 5 7 6 8 7 6 0 8 4 8 5 7 6 0 6 6 8 9 9 5 0 2 2 3 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
13.00/13.03 v </instantiation>
13.00/13.03
13.00/13.03 c restarts : 45
13.00/13.03 c conflicts : 76656 (5883 /sec)
13.00/13.03 c decisions : 253319 (19440 /sec)
13.00/13.03 c propagations : 17790811 (1365298 /sec)
13.00/13.03 c root propagations : 1844
13.00/13.03 c filter calls : 4171996 (320166 /sec)
13.00/13.03 c useless filter calls : 857071 (20 %)
13.00/13.03 c Memory used : 27.56 MB
13.00/13.03 c CPU time : 13.0307 s
13.00/13.03
13.00/13.03 s SATISFIABLE
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: 16374 MiB (12785 MiB free)
memory of node 1: 16384 MiB (14744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300587-1532886603/watcher-4300587-1532886603 -o /tmp/evaluation-result-4300587-1532886603/solver-4300587-1532886603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532879040-23009 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300587-1532886603.xml
running on 4 cores: 1,3,5,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
solver pid=23756, runsolver pid=23753
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 2.40 2.11 2.08 3/188 23757
/proc/meminfo: memFree=28190044/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4728 CPUtime=0.1 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1346 0 0 0 10 0 0 0 20 0 1 0 106223526 28893184 1182 33554432000 4194304 6142532 140726189769328 140726189765960 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1182 848 476 0 376 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB
[startup+0.209348 s]*
/proc/loadavg: 2.40 2.11 2.08 3/188 23757
/proc/meminfo: memFree=28190044/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4728 CPUtime=0.21 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1346 0 0 0 21 0 0 0 20 0 1 0 106223526 28893184 1182 33554432000 4194304 6142532 140726189769328 140726189765960 5017790 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1182 848 476 0 376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB
[startup+0.308756 s]*
/proc/loadavg: 2.40 2.11 2.08 4/188 23757
/proc/meminfo: memFree=28190044/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4728 CPUtime=0.31 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1346 0 0 0 31 0 0 0 20 0 1 0 106223526 28893184 1182 33554432000 4194304 6142532 140726189769328 140726189765960 5058259 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1182 848 476 0 376 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB
[startup+0.700268 s]
/proc/loadavg: 2.40 2.11 2.08 3/188 23757
/proc/meminfo: memFree=28189608/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4728 CPUtime=0.69 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1346 0 0 0 69 0 0 0 20 0 1 0 106223526 28893184 1182 33554432000 4194304 6142532 140726189769328 140726189766728 5058304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1182 848 476 0 376 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB
[startup+1.50027 s]
/proc/loadavg: 2.40 2.11 2.08 3/188 23757
/proc/meminfo: memFree=28189608/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4728 CPUtime=1.49 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1346 0 0 0 149 0 0 0 20 0 1 0 106223526 28893184 1182 33554432000 4194304 6142532 140726189769328 140726189766728 5058615 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1182 848 476 0 376 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB
[startup+3.10886 s]
/proc/loadavg: 2.36 2.11 2.07 3/188 23818
/proc/meminfo: memFree=28203940/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4760 CPUtime=3.1 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1626 0 0 0 310 0 0 0 20 0 1 0 106223526 28893184 1190 33554432000 4194304 6142532 140726189769328 140726189766728 5061866 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1190 848 476 0 376 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4760 KiB
[startup+6.30022 s]
/proc/loadavg: 2.36 2.11 2.07 3/188 23818
/proc/meminfo: memFree=28203248/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4760 CPUtime=6.29 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 1906 0 0 0 629 0 0 0 20 0 1 0 106223526 28893184 1190 33554432000 4194304 6142532 140726189769328 140726189766728 5058231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1190 848 476 0 376 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4760 KiB
[startup+12.7002 s]
/proc/loadavg: 2.33 2.10 2.07 3/188 23818
/proc/meminfo: memFree=28203576/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4760 CPUtime=12.69 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 2186 0 0 0 1269 0 0 0 20 0 1 0 106223526 28893184 1190 33554432000 4194304 6142532 140726189769328 140726189766728 5060745 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1190 848 476 0 376 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4760 KiB
[startup+13.0346 s]
# the end of solver process 23756 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.0307 s, system=0.001999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 2.33 2.10 2.07 3/188 23818
/proc/meminfo: memFree=28203576/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4760 CPUtime=12.79 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 2186 0 0 0 1279 0 0 0 20 0 1 0 106223526 28893184 1190 33554432000 4194304 6142532 140726189769328 140726189766728 5330587 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1190 848 476 0 376 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4760 KiB
[startup+13.0002 s]*
/proc/loadavg: 2.31 2.10 2.07 3/188 23818
/proc/meminfo: memFree=28203576/32770624 swapFree=67108792/67108860
[pid=23756] ppid=23753 vsize=28216 memory=4760 CPUtime=13 cores=1,3,5,7
/proc/23756/stat : 23756 (cosoco) R 23753 23756 22977 0 -1 4202496 2186 0 0 0 1300 0 0 0 20 0 1 0 106223526 28893184 1190 33554432000 4194304 6142532 140726189769328 140726189766728 5175070 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19697664 140726189778054 140726189778184 140726189778184 140726189780942 0
/proc/23756/statm: 7054 1190 848 476 0 376 0
Current children cumulated CPU time: 13 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4760 KiB
Child status: 0
Real time (s): 13.0346
CPU time (s): 13.0327
CPU user time (s): 13.0307
CPU system time (s): 0.001999
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 28216
Max. memory (cumulated for all children) (KiB): 4760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.0307
system time used= 0.001999
maximum resident set size= 4860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2234
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= 15
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 23756
# total CPU time (s): 13.0327
# total CPU user time (s): 13.0307
# total CPU system time (s): 0.001999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089657 second user time and 0.103451 second system time
The end
Begin job on node150 at 2018-07-29 19:50:03
IDJOB=4300587
IDBENCH=141663
IDSOLVER=2761
FILE ID=node150/4300587-1532886603
RUNJOBID= node150-1532879040-23009
PBS_JOBID= 21022512
Free space on /tmp= 55340 MiB
SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Eternity/Eternity-07-07_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300587-1532886603/watcher-4300587-1532886603 -o /tmp/evaluation-result-4300587-1532886603/solver-4300587-1532886603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532879040-23009 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300587-1532886603.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= d2370bf20b8fe6e2b2b2b678a676e404
RANDOM SEED=625326699
node150.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 : 2668.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.76
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 : 2668.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 : 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 : 2668.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.76
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 : 2668.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 : 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 : 2668.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.76
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 : 2668.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 : 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 : 2668.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.76
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 : 2668.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: 32770624 kB
MemFree: 28191256 kB
MemAvailable: 31928024 kB
Buffers: 221008 kB
Cached: 3758680 kB
SwapCached: 32 kB
Active: 1462256 kB
Inactive: 2583164 kB
Active(anon): 17280 kB
Inactive(anon): 76188 kB
Active(file): 1444976 kB
Inactive(file): 2506976 kB
Unevictable: 7752 kB
Mlocked: 7752 kB
SwapTotal: 67108860 kB
SwapFree: 67108792 kB
Dirty: 2800 kB
Writeback: 0 kB
AnonPages: 72904 kB
Mapped: 46532 kB
Shmem: 25156 kB
Slab: 229892 kB
SReclaimable: 201300 kB
SUnreclaim: 28592 kB
KernelStack: 3296 kB
PageTables: 5156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 365068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 55340 MiB
End job on node150 at 2018-07-29 19:50:16